测试数据自动生成技术研究
Research on Automation Test Data Generation作者机构:哈尔滨师范大学计算机科学系哈尔滨150080
出 版 物:《计算机工程与应用》 (Computer Engineering and Applications)
年 卷 期:2006年第42卷第16期
页 面:118-120页
核心收录:
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而测试数据的自动生成是软件测试的关键技术之一。文章通过对被测试程序的分析,提出了生成测试数据的平衡力法,对任意的输入变量,判断变量移动范围及进行谓词中变量的函数极小化,得到测试数据,并给出了具体实现方法。