关于有限状态机的UIO测试用例生成器

测试的研究热点.该文把基于扩展的有限状态机EFSM的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合,提出了一种基于UML状态图的类的测试用例自动生成...

本文要实现类状态测试用例自动生成测试工具的原型,对...1.3类状态序列生成方法 在基于有限状态机的测试中,...本 文对较常用的UIO算法进行简单的介绍。 唯一输入...

文件格式:LRC/Lyric-HTML版

UIO序列的产生是一个NP问题。对这类问题,遗传算法可以有效地解决。 本文分析研究目前国内外已有的测试用例生成技术,对基于有限状态机的测试方法进行对比分析,比较各种...

模型的类测试 入输出 UIO 测试用例的生成方法,并...5.基于组合匹配的测试数据自动生成研究:在已有成对...一的就是以扩展的有限状态机 EFSM 为 基础的面向...

类测试有限状态机测试序列唯一输入/输出序列遗传算法随着...测试序列和测试数据的方法,选取UIO序列作为状态验证...最后,为了提高测试用例的生成效率,选取遗传算法来构造...

(UIO)测试用例的生成方法,并设计了基于深度优先搜索...系统测试,其中应用最为广泛的是以扩展的有限状态机(...CAJViewer阅读器支持CAJ、PDF文件格式,AdobeReader仅支持...

EFSM模型的实时测试序列生成方法 扩展有限状态机唯一输入输出序列实时软件测试...最短时间的UIO序列结合构成测试序列,得到最短时间测试用例序列,达到对测试序列...

本文要实现类状态测试用例自动生成测试工具的原型,对...1.3类状态序列生成方法在基于有限状态机的测试中,...其中,标注有$的为本例中为该状态点实际选定的uIO ...

将其转化为EFSM后,用基于扩展有限状态机的测试用例生成方法来生成系统的测试用例...TVG and UIO Test Algorithms[M]. Springer-verlag Berlin Heidelberg. 2001. ...