基于规则的用例规约验证方法

用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响。提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定的用例规约描述方法上设计了帮助发现规约中不完整性、不一致性错误的验证规则,并通过规则的形式化来支持需求的自动化验证。     

基于用例的软件需求建模研究

需求建模和用例技术是软件需求工程研究的热点,文中旨在通过讨论二者的作用及相互关系,得到如何使用用例分析技术为捕获的软件需求建立简洁明了的逻辑模型的一般方法。文章首先介绍了用例、软件需求、需求建模等基本概念,然后探讨了软件需求建模的一般过程,最后结合实际案例给出了使用用例进行需求建模的实现方法。整个过程侧重于需求的获取、用例分析和建模的实现,并提供了一个简单的用于描述软件需求的用例规约。     

UML在电信客户资料维护中的应用

根据UML的建模原理,采用面向对象需求分析方法,针对蜂窝式电信经营分析系统中客户资料维护方面的业务需求,抽象出数据对象模型．采用用例图和时序图描述业务功能需求和业务流程。     

基于设计演算的形式化用例分析建模框架

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和功能规约合成描述方法全部行为的全规约;也可以定义用例模型的性质,并通过设计演算中的证明来分析验证这些性质.作为应用,研究了检查用例模型一致性的规则.给出一个实例说明建模框架的可行性.     

用例分析技术在需求建模中的应用

用例分析技术通过用例、执行者以及用例之间的关系来描绘系统外在可见的需求情况。文中介绍了用例分析技术易于软件开发人员与用户之间开展沟通与交流的特点,阐明了用例分析技术有助于提高需求分析的效率和质量。通过高炉开炉装料系统的开发实践,从执行者、用例和用例规约三方面,探讨了用例分析技术的建模步骤,从而描述了一种使用用例分析技术开展需求建模的有效的实现方法。     

用例分析技术在需求建模中的应用

用例分析技术通过用例、执行者以及用例之间的关系来描绘系统外在可见的需求情况。文中介绍了用例分析技术易于软件开发人员与用户之间开展沟通与交流的特点，阐明了用例分析技术有助于提高需求分析的效率和质量。通过高炉开炉装料系统的开发实践，从执行者、用例和用例规约三方面，探讨了用例分析技术的建模步骤，从而描述了一种使用用例分析技术开展需求建模的有效的实现方法。     

导弹平台测试系统设计方法研究

运用建模的技术对导弹平台测试系统进行模型设计过程中,关键是实现测试系统需求描述模型、结构模型和行为模型等的设计;首先对导弹平台测试系统的工作流程进行了分析,然后在此基础上利用UML建模方法进行测试系统的各项模型设计,通过分解用例图说明测试系统的需求描述模型,分析系统的结构体系及关联关系建立了测试系统的结构模型,运用序列图建立了测试系统的行为描述模型;最后,根据上述模型设计提出了系统的结构及布置关系的设计方案,并且在实际导弹平台测试系统开发中得到了应用,实现了测试系统的各项测试功能;结果表明,采用该建模方法不但能够有效提高系统设计的效率,而且系统在实用性的基础上,还具有复用性及拓展性。     

基于UML的药库管理系统开发

阐述一个医院药库信息系统的建立过程。用面向对象编程(OOP)PowerBuilder为实现手段,采用OOAD方法,使用ROSE作为CASE工具,用UML中的相应的可视化方法建立起医院的业务工作流视图、功能视图、信息视图、组织视图和资源视图等。即,在工作流建模方面采用活动图(ACTIVEDIAGRAM)描述业务流程;在功能建模方面采用用例图(UseCasediagram)表达功能需求;在信息建模方面采用交互图(INTERACTIVEDIAGRAM)及类图(classdiagram)建立逻辑模型。此系统已在实际使用。     

基于RUCM的软件安全性需求描述方法

随着软件在安全关键系统中的应用越来越广泛、承担的安全关键功能越来越多,软件的安全性需求变得越来越重要,成为系统安全性的一个重要的决定性因素。软件安全性需求的正确描述是整个软件安全性工作的关键,它是开展后续软件安全性设计、实现与测试工作的依据。然而现有的安全性需求通常被混同于一般功能性描述中,缺乏独立、规范和明确的描述,缺乏对于故障、失效与安全性需求之间相互关系的描述机制,导致在实际应用中缺乏对安全性需求进行准确描述的方法。设计了一种基于结构化模版和约束规则的安全性需求规约,即基于RUCM的安全性需求描述方法Safety RUCM,该方法以RUCM建模方法为基础,通过扩展用例规约模板和限制规则,添加故障描述模版以及数据描述模版,使其能够支持故障相关描述以及相应的安全性需求描述并形成安全性需求规约,最后通过某机载操作系统的案例研究验证了Safety RUCM建模方法的可行性。     

基于XML的软件非功能需求建模研究

本文针对当前软件设计中非功能需求描述不清楚、难以实现等问题,对软件非功能需求建模方法进行了研究,提出了一个基于XML的软件非功能需求建模方法,构建了一个软件非功能需求元模型,该模型主要包括属性、约束和实现方法三个数据单元.在此基础上,利用XML Schema定义了软件非功能需求的数据模型结构,以一个通信系统的非功能需求建模为例说明了本模型的建模过程和方法,结果表明,该建模方法有助于设计人员对软件非功能需求进行清楚的定义.     

一种改进的用例建模方法及其在电子政务中的应用

用例建模作为一种需求建模方法受到广泛的关注和应用。文章总结了用例建模方法的优点和不足,针对其局限性给出了相应的解决方案,提出了用例建模的改进方法。该方法将传统需求分析思路与用例建模方法有效融合,将分解模式转移至角色模型避免了功能分解,并解决了前置条件降低有效性验证的问题,同时利用可视化建模提高系统模型的易理解性。文章采用改进的用例建模方法对电子文件审批系统进行了需求分析和模型设计,该改进后的用例建模方法可以同时满足用户获取系统价值和引导开发人员系统开发的两方面需求。     

一种获得形式化功能需求的方法

用例图在面向对象的软件开发过程中起着重要的作用。它用于描述系统的功能需求 ,但是它缺乏如Object -Z形式规格说明语言的精确性。本文结合一个实例给出了一种如何使用UML捕获系统的功能需求 ,并将该功能需求形式化的方法。本文定义了从UML用例图到Object -Z的转换规则 ,实现了用例图的形式化、获得了形式化的功能需求。     

基于UML的系统需求分析

UML(Unified Modelling Language)是面向对象方法建模的语言标准工具,在系统建模过程中应用很广泛,在UML技术指导下,针对软件开发过程中的需求分析阶段,提出了一种结构清晰的功能需求分析模型,在系统用例图的基础上,建立类图和时序图,从静态和动态不同侧面表达系统模型,迭代的建模过程保证了模型的一致性,一个实例详细描述了系统功能需求分析建模的过程.     

UML用例图在软件工程中的步骤设计研究

用例图作为uml的一种建模图形广泛应用在面向对象软件系统开发过程中,首先,界定了用例图在软件开发周期模型中的应用,接着,以“中国证券交易系统”中“上市公司股票发行”子用例图设计为例,详细描述了功能用例子图的绘制过程,然后,对整个软件系统的用例图的绘制过程进行了描述,给出了待开发系统的整体用例图.     

Use Case 可视化自动建模工具的设计与实现

围绕UML中Use case的可视化自动建模进行了研究,设计与实现了一个Use case可视化自动建模工具,并通过在金融贸易系统需求建模中的应用,说明了这一方法对于提高需求建模的速度、确保文档的规范化和模型语法的正确性等具有明显的效果。     

一种基于MBSE的飞行传感器系统需求建模方法

针对传统的基于文档式的需求工程方法无法满足当前复杂系统的需求分析,论文提出一种基于模型系统工程(Model-Based Systems Engineering,MBSE)思想的传感器系统需求建模分析的方法,辅以DOORS工具对需求进行管理。首先,基于DOORS对飞行传感器系统的需求管理进行研究,以支持系统的需求演进,方便后续的需求建模分析;其次,在Rhap?sody环境下采用SysML用例图对飞行传感器系统需求进行静态建模分析,从参与者的角度分析系统需求用例;最后,通过对某型号无人机传感器系统应用实例的分析来验证该方法的有效性和可行性。     

UML用例图的Z形式规范

统一建模语言UML已经成为面向对象建模语言的标准，用例图在面向对象的软件开发过程中起着重要的作用，但是它缺乏Z形式语言的精确性。为了对它的描述更加精确，本文使用Z语言给出UML中用例图的形式化描述，并将其应用在一个简单的图书馆管理系统中。     

基于UML的Web应用建模与测试方法

针对Web应用的功能测试问题,提出一种基于用例和顺序图的Web应用建模与测试方法。使用统一建模语言(UML)将用例图分层地扩展为用例迁移模型(UCTM),利用顺序图自上而下描述UCTM中的每个用例,将顺序图自动转换为受限有向图(RDG)。为控制状态空间爆炸,提出约束消息覆盖准则(CMC)。结果表明,由RDG生成的测试用例能满足CMC,CMC可控制测试用例的数量。     

基于UML的Web应用建模与测试方法

针对Web应用的功能测试问题,提出一种基于用例和顺序图的Web应用建模与测试方法。使用统一建模语言（UML）将用例图分层地扩展为用例迁移模型（UCTM）,利用顺序图自上而下描述UCTM中的每个用例,将顺序图自动转换为受限有向图（RDG）。为控制状态空间爆炸,提出约束消息覆盖准则（CMC）。结果表明,由RDG生成的测试用例能满足CMC,CMC可控制测试用例的数量。