Development and application of a white box approach to integration testing
Journal of Systems and Software - Special issue on the fifth Minnowbrook workshop on software performance evaluation
Symbolic evaluation -- an aid to testing and verification
Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
On the Use of Transcendentals for Program Testing
Journal of the ACM (JACM)
Perturbation testing for computation errors
ICSE '84 Proceedings of the 7th international conference on Software engineering
A theory of error-based testing
A theory of error-based testing
ACM SIGSOFT Software Engineering Notes
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
Detection of linear errors via domain testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing for linear errors in nonlinear computer programs
ICSE '92 Proceedings of the 14th international conference on Software engineering
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
A simplified domain-testing strategy
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
A reliability model combining representative and directed testing
Proceedings of the 18th international conference on Software engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Modeling reliability growth during non-representative
Annals of Software Engineering
Software requirements validation via task analysis
Journal of Systems and Software
Algebraic Software Testing in Vector Spaces of Functions
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
On-line anomaly detection of deployed software: a statistical machine learning approach
Proceedings of the 3rd international workshop on Software quality assurance
Component testing is not enough: a study of software faults in telecom middleware
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
| Hi-index | 0.00 |
Perturbation testing is an approach to software testing which focuses on faults withinarithmetic expressions appearing throughout a program. This approach is expanded to permit analysis of individual test points rather than entire paths, and to concentrate on domain errors. Faults are modeled as perturbing functions drawn from a vector space of potential faults and added to the correct form of an arithmetic expression. Sensitivity measures are derived which limit the possible size of those faults that would go undetected after the execution of a given test set. These measures open up an interesting view of testing, in which attempts are made to reduce the volume of possible faults which, were they present in the program being tested, would have escaped detection on all tests performed so far. The combination of these measures with standard optimization techniques yields a novel test-data-generation method called arithmetic fault detection.