自动测试中的状态生成算法

摘要：

针对数据结构的性质,特别是链式数据结构,提出一种自动测试中的状态生成算法.结合传统的模型检测思想从自动测试生成的角度对程序的状态空间进行搜索,在有效地生成测试程序状态的同时保证了程序状态的完全覆盖.该方法采用程序员熟悉的程序逻辑的描述方法,更易于使用.

关键词：自动测试、性质验证、程序逻辑

所属期刊栏目：36

分类号：TP301.6(计算技术、计算机技术)

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

页数：共3页

页码：65-66,69