摘要
目前,基于状态机的测试多集中在测试序列的生成方法学上,然而状态机的特点决定了测试序列对测试数据具有相当的依赖性,即一个测试序列的执行受到其上测试数据的约束。该文提出了状态机代码合成的方法模拟状态机行为,将其转换为可执行规约并在此基础上使用遗传算法来生成状态机的测试数据,为解决状态机测试数据的生成提供了一种可行的方法。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第15期136-138,共3页
Computer Engineering
基金
陕西省教育厅科研基金资助项目(00JK265)
