Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
A structural test selection criterion
Information Processing Letters
An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
The Cost of Data Flow Testing: An Empirical Study
IEEE Transactions on Software Engineering
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Predicate-based test generation for computer programs
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing
Journal of Electronic Testing: Theory and Applications
Predicting Where Faults Can Hide from Testing
IEEE Software
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
Constraint based selection of test sets to satisfy structural software testing criteria
SCCC '97 Proceedings of the 17th International Conference of the Chilean Computer Science Society
A Perturbation-based Testing Strategy
ICECCS '02 Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems
Journal of Electronic Testing: Theory and Applications
Reliability of the Path Analysis Testing Strategy
IEEE Transactions on Software Engineering
A System to Generate Test Data and Symbolically Execute Programs
IEEE Transactions on Software Engineering
On the Automated Generation of Program Test Data
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A Data Flow Oriented Program Testing Strategy
IEEE Transactions on Software Engineering
A Domain Strategy for Computer Program Testing
IEEE Transactions on Software Engineering
Symbolic Testing and the DISSECT Symbolic Evaluation System
IEEE Transactions on Software Engineering
An Evaluation of Random Testing
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A rigorous approach towards test case generation
Information Sciences: an International Journal
Linking software testing results with a machine learning approach
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
Structural criteria generally divide the input domain of the program under test and require the execution of at least one point from each derived sub-domain without addressing the most relevant question: ''Which points from each sub-domain should be selected?''. This question is related to data-sensitive faults which lead to one of the drawbacks of the testing activity. The constraints and conditions used by fault-based data generation techniques describe faults related to the boundaries of these sub-domains. Our conjecture is that we would improve the efficacy of the adequate test case sets by associating those constraints and conditions to the elements required by a criterion. With this goal, this work presents Constraint Based Criteria (CBC) that associate a constraint C to an element E, required by a structural criterion. CBC allow to combine the fundamentals of different testing generation techniques with structural testing, increasing the probability of revealing faults described by C. We also discuss complexity, inclusion relation and automation aspects of CBC. Results from three experiments of CBC evaluation using the factors cost, efficacy and strength provide evidence that our objectives have been achieved. We also present some results from the evaluation of random test sets.