基于中国邮路算法及UIO序列的状态机测试序列生成

摘要：

状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列.A.VAho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化.该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题.

关键词：状态测试、中国邮路算法、唯一输入输出序列、扩展有限状态自动机、遗传算法

所属期刊栏目：40

分类号：TP31(计算技术、计算机技术)

资助基金：陕西省教育厅资助项目00JK265

在线出版日期：2004-07-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：58-60