Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Software error analysis: a real case study involving real faults and mutations
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Toward an integration of data flow and domain testing
Journal of Systems and Software
Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating test data from SOFL specifications
Journal of Systems and Software
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
A new solution to test generation for Boolean expressions
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Automatic test generation for predicates
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Sensitive test data for logic expressions
ACM SIGSOFT Software Engineering Notes
Information and Software Technology
A revisit of fault class hierarchies in general boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
Fault-based predicate testing is a promising strategy for generating effective software test data. The test target is faults that may appear in predicates found in the specification or implementation of a computer program. A hierarchy of fault classes has been recently established, identifying associative shift faults (ASFs) as one of the strongest fault classes in predicate testing. The upto date proposed approaches resolve adequately the issue of test generation for weaker fault classes but do not guarantee the detection of all ASFs. In this paper we define a suitable fault model to represent this type of faults and propose a heuristic test strategy, while trying to keep low the number of required tests by fault simulation. Empirical results of the algorithm application on the TCAS-II expression suite are encouraging and suggest that it is easy to detect a significant subset of ASFs by considering only few additional tests.