![基于UML模型和OCL约束的类间交互测试用例生成方法研究]()
论文摘要基于模型的软件测试一般需做如下工作：首先,对待测软件系统(SystemUnderTest,简称SUT)进行形式化的建模即设计出机器可识别可读的模型；其次,与其他形式化方...
![基于Petri网的UML形式化研究]()
论文摘要面向对象技术的发展,出现了众多的面向对象的建模语言,其中统一建模语言UML作为一种定义良好、功能强大的图形化建模语言得到广泛的运用。UML溶入了软件工程领域的新思想和新...
![UML顺序图和状态图的形式化方法研究]()
论文摘要统一建模语言(UnifiedModelingLanguage,UML)是一种描述能力强大且含义直观的可视化建模语言,它提供多种视图从不同角度和应用层次刻画系统特性以及复...
![一种基于UML顺序图生成测试数据的方法]()
论文摘要软件测试是保障软件质量的重要手段。随着基于UML软件测试的普及,基于UML顺序图生成测试数据,可以在系统开发早期就设计集成测试阶段的测试用例,提高测试效率;并且是基于U...
![基于统一过程的UML-B系统转换技术的研究]()
论文摘要目前软件工业界面临着产品功能越来越复杂和推出产品周期越来越短的双重压力。软件工程的一个主要目标就是在软件复杂性增加的情况下仍能构造正确可靠的系统,达到这一目标的途径之一...
![基于改进Petri网的业务流程建模研究]()
论文摘要业务流程建模技术是20世纪90年代兴起的软件技术。近几年更被广泛地应用于办公自动化及其他需要规划和企业管理等领域,因此它越来越被人们重视。目前业务流程建模的主要建模工具...
![基于UML顺序图及类图的功能点度量的研究与实现]()
论文摘要软件度量和估算能够有效的监控软件进度。在常用软件度量方法中，对规模的度量和估算是所有度量活动的基础，其结果可作为其它度量的一个主要输入，因此在软件度量活动中具有重要地位...
