基于分支函数线性逼近的测试数据自动生成算法

软件测试是保证软件可靠性的一个重要手段.面向路径测试是软件测试中一种重要方法.提出了一种分支函数线性逼近的测试数据自动生成算法.结合赵瑞莲给出的谓词切片算法和程序DUC表达方式以及本文提出的算法,给出了一个基于程序执行的路径测试及测试数据自动生成新算法.由于算法采用DUC表达式,不仅可以从源端判断子路径是否可行,而且有效地降低了不可行路径对算法性能的影响.另外,与现有文献中单纯利用分支函数极小化方法的算法相比,新算法由于有机结合了分支函数线性逼近和极小化方法的长处,因此减少了测试用例的数量,提高了测试效率.

Algorithm for automated test data generation based on branch function linear approximation

Since DNA computation based on the theory of biochemical reactions has better performance than traditional computing methods based on the current silicon computers in solving a class of intractable computational problems,especially the NP-complete problems,it is of great importance to study the DNA computation.On the basis of the fluorescence labeling scheme,this paper proposeed the concept of variable decomposition of restricted equations and solves the integer planning problem with limited range through t...