测试数据自动生成技术研究  

Research on Automation Test Data Generation

作　　者：伦立军[1] 丁雪梅[1] 李英梅[1] 

机构地区：[1]哈尔滨师范大学计算机科学系,哈尔滨150080

出　　处：《计算机工程与应用》2006年第16期118-120,共3页Computer Engineering and Applications

基　　金：黑龙江省教育厅科技项目(编号:10541098)

摘　　要：软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而测试数据的自动生成是软件测试的关键技术之一。文章通过对被测试程序的分析,提出了生成测试数据的平衡力法,对任意的输入变量,判断变量移动范围及进行谓词中变量的函数极小化,得到测试数据,并给出了具体实现方法。There are four phases in software testing：static analysis,path selection,test data generation and dynamic analysis,automation generation of test data is one of the key techniques in software testing.By analyzing the tested program,this paper presents the balance force method of test data generation,according to an input of the program, decide to remove variable scope and variable in the predicate processed with function minimum,an example is given in this paper.

关 键 词：软件测试 测试数据 平衡力法 函数极小化 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]