搜索结果: 1-4 共查到“计算机软件 UML状态图”相关记录4条 . 查询时间(0.14 秒)
基于UML状态图的类测试技术
UML状态图 测试序列 变异测试
2010/1/28
针对基于状态的类测试技术缺陷检测率较低的问题，提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图的方法，描述基于W方法的测试序列生成策略，使用Mujava变异工具对方法的有效性进行检测。实验结果表明，该测试策略具有较高的缺陷检测率。
基于rCOS的UML状态图语义研究
统一建模语言 对象精化演算系统 状态图
2009/8/10
统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件，从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足，该文提出基于统一程序设计理论的对象精化演算系统，用于描述UML状态图的形式化语义，给出与类图、序列图的一致性检验，为模型驱动开发提供了可行性。
基于Spin的UML状态图模型检查的设计与实现
Statechart山脉算法 迁移提取 Spin
2009/7/21
UML已经是软件建模方面的标准语言，UML Statechart描述了系统在其生命周期中的动态行为。随着系统规模的扩大和复杂度的提高，Statechart往往包含设计者所未预料到的隐患，通过模型检查来对Statechart进行穷举检验就成为一个重要课题，首先给出了含层次、并发Statechart的语义；随后提出了对Statechart进行模型检查的一种新方法，并且已经编写软件SC2Spin实现此方...