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