节点文献
基于中国邮路算法及UIO序列的状态机测试序列生成
State Test Sequence Generation Based on Chinese Postman Algorithm and UIO Sequences
【摘要】 状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化。该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题。
【Abstract】 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.
【关键词】 状态测试;
中国邮路算法;
唯一输入输出序列;
扩展有限状态自动机;
遗传算法;
【Key words】 state test; Chinese Postman algorithm; UIO sequence; EFSM; GA;
【Key words】 state test; Chinese Postman algorithm; UIO sequence; EFSM; GA;
【基金】 陕西省教育厅科研基金项目(编号:00JK265)
- 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2004年17期
- 【分类号】TP301.6
- 【被引频次】26
- 【下载频次】258