Avoiding coincidental correctness in boundary value analysis

ACM Transactions on Software Engineering and Methodology

Volumn 15, Issue 3, 2006, Pages 227-241

  Hierons, R M ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

Boundary value analysis; Coincidental correctness; Domain faults; Test case generation

Indexed keywords

DATA PROCESSING; FAILURE ANALYSIS; SYSTEMS ANALYSIS;

BOUNDARY VALUE ANALYSIS; COINCIDENTAL CORRECTNESS; DOMAIN FAULTS; TEST CASE GENERATION;

BOUNDARY VALUE PROBLEMS;

EID: 33748523455     PISSN: 1049331X     EISSN: 1049331X     Source Type: Journal    
DOI: 10.1145/1151695.1151696     Document Type: Article

References (22)

1. AMLA, N. AND AMMANN, P. 1992. Using Z specifications in category partition testing. In Proceedings of the COMPASS 7th Annual Conference on Computer Assurance (Gaithersburg, MD). 15-18.
2. CLARKE, L. A., HASSELL, J., AND RICHARDSON, D. J. 1982. A close look at domain testing. IEEE Trans. Softw. Eng. 8, 4, 380-390.
3. DEMILLO, R. AND OFFUTT, A. J. 1991. Constraint-Based automatic test data generation. IEEE Trans. Softw. Eng. 17, 9, 900-910.
4. DICK, J. AND FAIVRE, A. 1993. Automating the generation and sequencing of test cases from model-based specifications. In Proceedings of the FME 1st International Symposium on Formal Methods in Europe. (Odense, Denmark) 670, LNCS Springer Verlag, New York 268-284.
5. FERNANDEZ, J.-C., JARD, C., JÉRON, T., AND VIHO, C. 1996. An experiment in automatic generation of test suites for protocols with verification technology. Sci. Comput. Program. 29, 123-146.
6. GOODENOUGH, J. B. AND GERHART, S. L. 1975. Towards a theory of test data selection. IEEE Trans. Softw. Eng. 1, 2, 156-173.
7. GROCHTMANN, M. AND GRIMM, K. 1993. Classification trees for partition testing. J. Softw. Testing, Verification and Reliability 3, 2, 63-82.
8. HIERONS, R. M. 1997. Testing from a Z specification. J. Softw. Testing, Verification and Reliability 7, 1, 19-33.
9. HORCHER, H.-M. AND PELESKA, J. 1995. Using formal specifications to support software testing. Softw. Quality J. 4, 4, 309-327.
10. JENG, B. AND FORGACS, I. 1999. An automatic approach of domain test data generation. J. Syst. Softw. 49, 97-112.
11. JENG, B. AND WEYUKER, E. J. 1994. A simplified domain-testing strategy. ACM Trans. Softw. Eng. Methodol. 3, 3, 254-270.
12. JONES, B. F., EYRES, D. E., AND STHAMER, H.-H. 1998. A strategy for using genetic algorithms to automate branch and fault-based testing. Comput. J. 41, 2, 98-107.
13. KUHN, D. R. 1999. Fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Eng. Methodol. 8, 4, 411-424.
14. MCMINN, P. 2004. Search-Based software test data generation: A survey. J. Softw. Testing, Verification and Reliability 14, 2, 105-156.
15. MICHAEL, C. C., MCGRAW, G., AND SCHATZ, M. A. 2001. Generating software test data by evolution. IEEE Trans. Softw. Eng. 27, 12, 1085-1110.
16. OFFUTT, J. AND LIU, S. 1999. Generating test data from SOFL specifications. J. Syst. Softw. 49, 1, 49-62.
17. OSTRAND, T. J. AND BALCER, M. J. 1988. The category-partition method for specifying and generating tests. Commun. ACM 31, 6, 676-686.
18. PARGAS, R. P., HARROLD, M. J., AND PECK, R. R. 1999. Test - Data generation using genetic algorithms. J. Softw. Testing, Verification and Reliability 9, 4, 263-282.
19. RICHARDSON, D. J. AND CLARKE, L. A. 1985. Partition analysis: A method combining testing and verification. IEEE Trans. Softw. Eng. 14, 12, 1477-1490.
20. STOCKS, P. AND CARRINGTON, D. 1996. A framework for specification-based testing. IEEE Trans. Softw. Eng. 2, 11, 777-793.
21. TSUCHIYA, T. AND KIKUNO, T. 2002. On fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Eng. Methodol. 11, 1, 58-62.
22. WHITE, L. J. AND COHEN, E. I. 1980. A domain strategy for computer program testing. IEEE Trans. Softw. Eng. 6, 3, 247-257.