UML顺序图相关论文
基于通信的列车控制CBTC(Communication Based Train Control)系统是一种主流列车控制系统,它通过列车和地面间周期性的通信,获取列......
软件测试是软件开发过程中极其重要的一环,是保证软件质量、提高软件可靠性的关键。面向对象技术所独有的抽象、继承、封装、多态等......
软件测试是保障软件质量的重要手段。随着基于UML软件测试的普及,基于UML顺序图生成测试数据,可以在系统开发早期就设计集成测试阶......
随着软件系统的日益庞大,对软件的质量要求也越来越高,性能测试作为保证软件质量的重要手段,受到人们前所未有的关注,同时,基于UML......
统一建模语言(UML)是在多种面向对象建模方法联合的基础上形成的建模语言。它以支持面向对象、可视化建模和强大的表达能力等优点......
随着5G通信、物联网技术的发展,越来越多软件、硬件被部署在开放的物理环境中。然而,系统在该环境中运行存在多种不确定性因素(例......
静态模型和动态模型从不同角度反映了系统的结构与行为.横切关注点的静态模型反映了系统的静态结构,为进一步开发提供了静态视图;......
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试.面向安全需求,通过定义安全因子,建......
提出了一个模型驱动的测试方法,基于UML顺序图模型生成测试用例,并利用模型指导对程序的插装以收集运行时行为信息,执行测试后可以......
在统一建模语言(UML)规范中顺序图的语义是以自然语言的形式描述的,是一种半形式化的语言,不能对系统的交互行为进行形式化分析及......
计算机联锁软件是安全完善度等级最高的软件,因此,在投入使用前对联锁软件的测试是必不可少的。为生成联锁软件测试用例,结合包含......
UML顺序图是基于UML开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件集成测试过程中的一个重要的信息来源.......
本文提出了一个基于UML顺序图产生测试序列的方法。根据UML顺序图中消息控制条件,使用函数间约束的控制流图(IRCFG)描述出UML顺序......
利用设计模型信息,提高测试自动化程度是测试领域的重要课题。UML 顺序图是广泛使用的场景规约语言。本文研究了面向场景规约的运......
面向对象的软件测试是在面向对象软件开发过程中不可缺少的一个环节,对于保证软件质量、提高软件可靠性至关重要。UML(Unified Mode......
现有基于软件体系结构的可靠性模型只适用于符合马尔可夫过程的软件构件转移关系,而当构件间存在由确定性和随机性转移关系组成的......
统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语......
提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;其次利用程序插桩技术从......
多态性是面向对象软件的一个重要特征.它在增强程序开发的灵活性和代码的复用性的同时,也对软件测试提出了新的挑战.首先提出了基......
UML顺序图直观地展现了对象之间的消息动态交互过程,适合于作为面向对象软件交互测试用例生成的依据。本文针对测试用例中的测试场......
使用UML生成场景测试用例,有利于测试者设计测试用例。使用UML的类图、状态图和顺序图来说明DHCP实例的场景测试用例的生成方法,讨论......
在分析UML模型可测试性的基础上,提出一种基于UML顺序图模型生成分布式系统测试用例方法,以系统软件配置项为对象对分布式应用典型场......
针对基于UML设计的面向对象软件在修改后进行回归测试的情况,提出一种回归测试用例生成的新方法。获取软件修改后进行回归测试时必......
为生成覆盖测试需求的测试用例集,提出一种基于UML顺序图自动生成测试用例的方法。通过分析待测系统的功能用例,对其进行顺序图建模......
安全性作为软件系统的重要属性,越来越受到人们的重视.在软件开发的早期对安全性进行评估,对软件的质量控制和成本控制有着重要意义.当......
本文提出了一种新的面向对象软件簇级测试用例生成方法。在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;然后,依据从UML......
为验证并发系统需求设计的正确性,提出一种基于场景的并发系统需求验证方法.首先,用UML顺序图建模并发系统需求场景,通过定义顺序图的......
随着面向对象软件开发方法的广泛应用,针对于此的测试方法也得到了越来越多的重视。面向对象软件的特征,如封装性、继承性、多态和......
随着信息技术的发展,软件规模不断扩大,如何保证和提高软件质量成为软件工程最为关心的问题之一。软件测试能够有效地发现软件中的......
随着海上地震勘探向高密度采集方向发展,地震资料处理的数据量日益增大,高效的地震数据处理逐渐成为地震资料处理的核心问题,而分......
地铁计算机联锁作为保证安全的重要设备,定期对其测试至关重要.为了设计具有高效率的联锁功能测试用例,提出一种基于顺序图形式化......
本文描述一个在UML顺序图上生成测试用例的方法.我们使用带OCL约束的顺序图,即从类图和状态图中提取信息以OCL形式附加在顺序图的......
以人事管理系统的设计为例,以UML顺序图为导向,引中出其他的UML图,从而为各种UML图在整个软件设计开发中的作用进行了完整的描述.......