基于UML用例图与顺序图模型的操作剖面构造

探讨了由面向对象用例模型构造操作剖面的可行性 ,结合一个实例 ,详细介绍基于统一建模语言UML(UnifiedModelingLanguage)的用例图和顺序图构造操作剖面的具体方法 ,并对基于UML用例图和顺序图构造操作剖面方法的有效性进行了分析 .结果表明 ,将操作剖面构造与软件系统建模相结合 ,可大大简化构造过程 。

UML用例图的形式化及其推理

UML不是一种完全形式化的面向对象建模语言,不便于进行形式化分析和验证。文章首先提出了基于描述逻辑的UML用例图形式化方法,介绍了描述逻辑SHOIN(D)扩展部分的语法和语义,以及UML用例图各模型元素的SHOIN(D)描述形式。然后把UML用例图定义为一个二元组,SHOIN(D)知识库定义为一个三元组,并通过转化函数把UML用例图转化为SHOIN(D)知识库,给出了SHOIN(D)知识库的可满足性定理及其正确性证明。最后以图书借还子系统用例图为例,利用Pellet本体推理机实现了可满足性、一致性、分类、信息提取和实现性等推理服务。

基于UML的移动终端软件自动化测试用例建模

以移动终端软件测试为例,依据统一建模语言(Unified Modeling Language,UML),利用建模工具和UML模型图,给出了一种生成测试用例的方法。该方法能直观地创建自动化测试用例方案模型,尽可能多地生成测试用例场景,从而加大了测试用例的隐含故障覆盖率,并能为移动终端的自动化测试工具提供有效的配置参数。

一种基于UML模型的系统测试方法

针对基于用UML开发的软件系统的用例之间的复杂联系, 设计了一种通过UML活动图表示UML用例图来对UML用例图中各个用例之间的联系进行描述, 并对其中的用例进行扩展; 在此基础上通过对UML活动图中用例遍历的系统测试方法.

大型软件回归测试用例选择优化策略

在软件回归测试时需要制定测试策略,选择有效测试用例进行测试以避免测试的盲目性.针对大型软件回归测试用例的选择问题本文提出一种新的选择方法并对其进行算法设计和实现.本文运用Uml用例图来描述系统功能模块间的关系,将UML图转换为有向图并通过有向图的遍历算法输出回归测试时需要测试的模块.通过实例研究表明,运用此方法能够显著提高回归测试中测试的效率和准确性,在保证了回归测试覆盖度的同时减少了测试的冗余度.

网络印刷服务平台功能模型的分析及建立

对网络印刷服务平台的功能需求进行了分析,并利用UML建模法为其建立了功能模型。分别选取UML用例图描述了网络印刷服务平台的静态功能,以UML时序图描述了网络印刷服务平台的动态业务流程,二者共同构成网络印刷服务平台的功能模型,为今后网络印刷服务平台的开发提供了依据。

UML测试用例自动生成方法研究

测试用例由于关系到测试执行的效率,是自动化测试技术中的关键环节,根据测试需求设计高效的测试用例对提高自动化测试效率起着至关重要的作用。目前大多数的研究多集中在使用UML的一种模型生成测试用例,这种方法可能造成不准确的需求分析。将统一建模语言UML与自动化测试相结合,提出了基于UML用例图和状态图自动生成测试用例的方法,并结合作业提交系统对此方法进行了验证,该方法可以使测试和开发同时进行,尽早发现错误,提高测试效率。

“互联网+”时代医技预约平台研究与设计

医技预约平台可以利用云计算、大数据、5G通信网络等先进技术,为患者和医师提供一个自动化的医技检查预约功能,基于医院的医技科室资源,建模系统的业务流程,实现多用户、并发性的操作,不仅可以避免患者长时间的排队等待,提高患者的医技检查服务的满意度,还可以有效地安排医技设备的使用时间,提高医技科室资源的利用率。使用UML用例图和业务流程图,针对医技预约平台进行分析与设计,为“互联网+”时代医技预约提供有效的支撑。

信息技术的需求方法研究

现在处于一个信息技术高速发展时期,这些年来单位信息系统逐步建立、升级,给各个生产业务部门带来了助力。随着世界范围内信息技术的广泛应用,生产业务部门人员的IT技能越来越高,对软件系统的使用要求也越来越多。这是一件可喜的事情,说明"信息技术创新,助力业务创新",已经有了良好的群众基础。在IT业界,众多的成功或不成功案例都实践证明,一个应用系统最后是否建设成功,80%的因素在于"需求分析"是否做得好。浅显发地说,也就是:业务部门人员是否把需要实现的软件系统功能都说明白了,没有较大的遗漏;开发人员都理解清楚了,没有较大的偏差。该文就如何做好需求分析工作,进行简要论述。