Research on Path-based Automatic Test Data Generation with Arrays and Loops
带数组和循环的路径测试数据自动生成技术研究

A new approach is proposed for path-based automatic test data generation with arrays and loops.The approach,in which only the array elements related to the branch predicates on the path is selected and all branch predicates on the path are simutaneously considered,is adopted to construct the linear constrain system.The loop is outspreaded on the given path.The same variable is replaced by different variables in each execution of the loop.If the predicate function is linear,it is not needed to compute the li...