搜索结果: 1-5 共查到“计算机软件 状态图”相关记录5条 . 查询时间(0.296 秒)
基于UML状态图的类测试技术
UML状态图 测试序列 变异测试
2010/1/20
针对基于状态的类测试技术缺陷检测率较低的问题，提出一种使用等价类划分和边界值分析等功能性测试方法构建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实现此方...
一种层次状态图的自动生成方法
逆向工程 状态图 语法分析
2009/6/4
提出了一种基于状态图语法分析的方法自动生成层次状态图．该方法搜索简单状态图上具有异或关系的状态，将这些状态聚类得到层次状态图，达到减少状态转移数量和高层状态数目，提高抽象层次的目的．通过系统的实验研究，验证了该方法的有效性．