The foundations of program verification (2nd ed.)
The foundations of program verification (2nd ed.)
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Static slicing in the presence of goto statements
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computation of Dynamic Program Slices for Unstructured Programs
IEEE Transactions on Software Engineering
ADIC: an extensible automatic differentiation tool for ANSI-C
Software—Practice & Experience
Computation of interprocedural control dependence
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Automated test data generation using an iterative relaxation method
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
A new Algorithm for slicing unstructured programs
Journal of Software Maintenance: Research and Practice
UNA Based Iterative Test Data Generation and its Evaluation
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
Verification of C Programs using Slicing Execution
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Automated WCET analysis based on program modes
Proceedings of the 2006 international workshop on Automation of software test
Hi-index | 0.00 |
Gupta et al., proposed a method, which is referred to as the Iterative Relaxation Method, to generate test data for a given path in a program by linearizing the predicate functions. In this paper, a model language is presented and the properties of static and dynamic data dependencies are investigated. The notions in the Iterative Relaxation Method are defined formally. The predicate slice proposed by Gupta et al. is extended to path-wise static slice. The correctness of the constructional algorithm is proved afterward. The improvement shows that the constructions of predicate slice and input dependency set can be omitted. The equivalence of systems of constraints generated by both methods is proved. The prototype of path-wise test data generator is presented in this paper. The experiments show that our method is practical, and fits the pathwise automatic generation of test data for both white-box testing and black-box testing.