Automated black-box testing of functional correctness using function approximation

ISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis

Volumn , Issue , 2004, Pages 143-153

  Meinke, Karl ^a  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

Approximation; Black box test; Constraint solving; Formal specification; Functional test; Satisfiability problem; Test coverage

Indexed keywords

APPROXIMATION THEORY; ARTIFICIAL INTELLIGENCE; AUTOMATION; COMPUTER SOFTWARE; ERROR DETECTION; GENETIC ALGORITHMS; LARGE SCALE SYSTEMS; POLYNOMIAL APPROXIMATION; PROGRAM DEBUGGING;

APPROXIMATION; BLACK-BOX TESTING; CONSTRAINT SOLVING; FORMAL SPECIFICATIONS; FUNCTIONAL TESTS; SATISFIABILITY PROBLEM; TEST COVERAGE;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 23744513315     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1013886.1007532     Document Type: Conference Paper

References (13)

1. J.W. de Bakker, Mathematical Theory of Program Correctness, Prentice-Hall, 1980.
2. F. Bergadano, D. Gunetti, Testing by means of inductive program learning, A CM Trans. Software Engineering and Methodology 5 (2) 119-145, 1996.
3. T.A. Budd, D. Angluin, Two notions of correctness and their relation to testing, Acta Informatica 18, 31-45, 1982.
4. E.W. Cheney, Approximation Theory, American mathematical Society Chelsea Publishing, Providence, Rhode Island, 1966.
5. R.A. DeMillo, R.J. Lipton, F.G. Sayward, Hints on test data selection: help for the practicing programmer, IEEE Computer 11(4), 34-41, 1978.
6. H.B. Enderton, A Mathematical Introduction to Logic, Academic Press, 1972.
7. R.G. Hamlet, Testing programs with the aid of a compiler, IEEE Transactions on Software Engineering, 3(4), 279-290, 1977.
8. J. Loeckx and K. Sieber, The Foundations of Program Verification, John Wiley, Chichester, 1987.
9. A.J. Offut, J. Pan, Automatically detecting equivalent mutants and infeasible paths, The Journal of Software Testing, Verification and Reliability 7 (3), 165-192, 1997.
10. M.S. Phadke, Planning efficient software tests, Crosstalk 10 (10), 11-15, 1997.
11. K. Romanik, Approximate testing and its relationship to learning, Theoret. Comput. Sci. 188, 79-99, 1997.
12. K. Romanik and J.S. Vitter, Using Vapnik-Chervonenkis dimension to analyze the testing complexity of program segments, Information and Computation 128 (2), 87-108, 1996.
13. E.J. Weyuker, Assessing test data adequacy through program inference, ACM Trans. Program. Lang., Syst., 5 (4), 641-655, 1983.