基于状态机代码合成技术的状态测试数据生成  

State Test Data Generation Based on State Machine Code Synthesis

作　　者：张毅坤[1] 赵明[1] 崔杜武[1] 

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

出　　处：《计算机工程》2004年第15期136-138,共3页Computer Engineering

基　　金：陕西省教育厅科研基金资助项目(00JK265)

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

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

分 类 号：TP391.4[自动化与计算机技术—计算机应用技术]