搜索结果: 1-6 共查到“工学 UML状态图”相关记录6条 . 查询时间(0.656 秒)
规约变异测试从软件功能的角度，对规约进行分析，从而揭示规约中存在的问题。本文提出一种基于UML状态图的变异测试方法，针对每种变异算子，分析其是否会引入冲突，进而有效避免不合理的变异操作；分析了每种变异算子产生等价变异体的条件，能够在生成变异体的同时检测并移除等价变异体，进而减少其对测试过程的影响；给出了杀掉每种变异体所需满足的条件，可在此基础上产生杀掉特定变异体所需的测试用例，从而提高测试用例集的...
基于UML状态图的类测试技术
UML状态图 测试序列 变异测试
2010/1/28
针对基于状态的类测试技术缺陷检测率较低的问题，提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图的方法，描述基于W方法的测试序列生成策略，使用Mujava变异工具对方法的有效性进行检测。实验结果表明，该测试策略具有较高的缺陷检测率。
UML状态图在回归测试中的应用
统一建模语言 UML状态图 依赖性分析
2009/8/13
基于UML状态图的测试是一种系统测试技术，也是基于需求的回归测试方法的扩展。该文通过依赖性分析，生成基于依赖性分析的UML状态图和依赖图，将修改前和修改后的UML状态图进行比较，为回归测试中待测试的程序的理解、发现和修改错误提供一种方法，并运用SATM实例讨论该技术在回归测试中的应用。
基于rCOS的UML状态图语义研究
统一建模语言 对象精化演算系统 状态图
2009/8/10
统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件，从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足，该文提出基于统一程序设计理论的对象精化演算系统，用于描述UML状态图的形式化语义，给出与类图、序列图的一致性检验，为模型驱动开发提供了可行性。
基于Spin的UML状态图模型检查的设计与实现
Statechart山脉算法 迁移提取 Spin
2009/7/21
UML已经是软件建模方面的标准语言，UML Statechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高，Statechart往往包含设计者所未预料到的隐患，通过模型检查来对Statechart进行穷举检验就成为一个重要课题，首先给出了含层次、并发Statechart的语义；随后提出了对Statechart进行模型检查的一种新方法，并且已经编写软件SC2Spin实现此方...