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

State Test Sequence Generation Based on Chinese Postman Algorithm and UIO Sequences

作　　者：赵明[1] 张毅坤[1] 张保卫[1] 

机构地区：[1]西安理工大学计算机科学与工程学院,西安710048

出　　处：《计算机工程与应用》2004年第17期58-60,共3页Computer Engineering and Applications

基　　金：陕西省教育厅科研基金项目(编号:00JK265)

摘　　要：状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化。该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题。The cardinal important thing of state test is to select the most efficient and optimize test sequence against typical error.A.V.Aho proposed a method of using Rural Chinese Postman algorithm and UIO sequences to generate test sequence,but he did not consider the effect of state transition when adding UIO sequences,so the method can not gain a global optimized test sequence.In This paper,we have improved the above algorithm and solves the NP-Complete problem of Rural Chinese Postman through GA.

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

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]