摘要： 目前,基于状态机的测试多集中在测试序列的生成方法学上,然而状态机的特点决定了测试序列对测试数据具有相当的依赖性,即一个测试序列的执行受到其上测试数据的约束。该文提出了状态机代码合成的方法模拟状态机行为,将其转换为可执行规约并在此基础上使用遗传算法来生成状态机的测试数据,为解决状态机测试数据的生成提供了一种可行的方法。

关键词: 状态机, 代码合成, 测试数据生成, 遗传算法

Abstract: At present, the research of software test based on state machine mainly rocuses on tne generation of fest sequence, nowever, me characterization of state machine determines that test sequence is not independent on test data that is to say the execution of a test sequence is restraint by the test data belong to the sequence. This paper proposes a method of code synthesis to simulate the action of state machine so it transforms state machine into an executable specification based on which the paper adopts GA to generate test data. It provides a feasible way for generating test data of state machine.

中图分类号: 

• TP311.52