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

摘要：

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

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

所属期刊栏目：30

分类号：TP391.4(计算技术、计算机技术)

资助基金：陕西省教育厅资助项目00JK265

在线出版日期：2004-09-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：136-138