Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
A functional approach to program testing and analysis
IEEE Transactions on Software Engineering
Functional program testing and analysis
Functional program testing and analysis
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Perturbation Techniques for Detecting Domain Errors
IEEE Transactions on Software Engineering
On the adequacy of program dependence graphs for representing programs
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
An investigation of fault-based testing using the relay model
An investigation of fault-based testing using the relay model
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
A comparison of data flow path selection criteria
ICSE '85 Proceedings of the 8th international conference on Software engineering
Certification of programs for secure information flow
Communications of the ACM
Art of Software Testing
Perturbation testing for computation errors
ICSE '84 Proceedings of the 7th international conference on Software engineering
An Analysis of Text Data Selection Criteria Using the RELAY Model of
An Analysis of Text Data Selection Criteria Using the RELAY Model of
A New Model for Error Detection
A New Model for Error Detection
A theory of error-based testing
A theory of error-based testing
The significance of program dependences for software testing, debugging, and maintenance
The significance of program dependences for software testing, debugging, and maintenance
Comment on "The application of error-sensitive testing strategies to debugging"
ACM SIGSOFT Software Engineering Notes
Sensitive test data for logic expressions
ACM SIGSOFT Software Engineering Notes
Revision of an error sensitive test rule
ACM SIGSOFT Software Engineering Notes
An information flow model of fault detection
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
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
Software testing at the architectural level
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testability, fault size and the domain-to-range ratio: An eternal triangle
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Software requirements validation via task analysis
Journal of Systems and Software
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
Applicability of Non-Specification-Based Approaches to Logic Testing for Software
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Towards automation of checklist-based code-reviews
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Consistency techniques for interprocedural test data generation
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Empirical Software Engineering
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Test conditions for fault classes in Boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A detectability analysis of fault classes for Boolean specifications
Proceedings of the 2008 ACM symposium on Applied computing
Journal of Systems and Software
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A revisit of fault class hierarchies in general boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mitigating the confounding effects of program dependences for effective fault localization
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Ordering mutants to minimise test effort in mutation testing
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Accounting for defect characteristics in evaluations of testing techniques
ACM Transactions on Software Engineering and Methodology (TOSEM)
Prevalence of coincidental correctness and mitigation of its impact on fault localization
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
RELAY is a model of faults and failures that defines failure conditions, which describe test data for which execution will guarantee that a fault originates erroneous behavior that also transfers through computations and information flow until a failure is revealed. This model of fault detection provides a framework within which other testing criteria's capabilities can be evaluated. Three test data selection criteria that detect faults in six fault classes are analyzed. This analysis shows that none of these criteria is capable of guaranteeing detection for these fault classes and points out two major weaknesses of these criteria. The first weakness is that the criteria do not consider the potential unsatisfiability of their rules. Each criterion includes rules that are sufficient to cause potential failures for some fault classes, yet when such rules are unsatisfiable, many faults may remain undetected. Their second weakness is failure to integrate their proposed rules.