Towards Automatic Generation of Test Data using Branch Coverage
By analyzing various methods of automatic generation of test data using branch coverage, their characteristics and disadvantages are discussed, a new algorithm for automatic generation of test data is proposed. Through constructing the new procedure flow chart, the algorithm optimizes the selection paths using Fibonacci law, and generates test data for assigned branch. When the branch predicates of the chosen path are linear representation, solve the linear restraint set directly to generate test data ,otherwise determine that the path is inaccessible; When the branch predicate composing of nonlinear expression, linearize nonlinear function by using the divided difference approximate derivative to ensure the test data can easily generated through simple iteration, or conclude that path is inaccessible to a large extent. If the chosen path is to a large extent inaccessible or inaccessible, then a new path is selected, repeat the above process until the desired data obtained, if no new path was chosen, then the specified branch was inaccessible. Experiments show that the algorithm is feasible and valid.
Branch coverage Predicate function Linear arithmetic representation
Jifeng CHEN Luming YANG
School of Information Science and Engineering Central South University Changsha 410083, China
国际会议
第四届国际计算机新科技与教育学术会议(2009 4th International Conference on Computer Science & Education)
南京
英文
921-925
2009-07-25（万方平台首次上网日期，不代表论文的发表时间）