Boundary values and automated component testing

Software Testing Verification and Reliability

Volumn 9, Issue 1, 1999, Pages 3-26

  Hoffman, Daniel ^a,d   Strooper, Paul ^b   White, Lee ^c  

^a UNIVERSITY OF VICTORIA   (Canada)

^b UNIVERSITY OF QUEENSLAND   (Australia)

^c Case Western Reserve University   (United States)

^d LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; BOUNDARY VALUE PROBLEMS; C (PROGRAMMING LANGUAGE); HEURISTIC METHODS; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS;

STANDARD TEMPLATE LIBRARY;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0032644254     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1099-1689(199903)9:1<3::AID-STVR169>3.0.CO;2-Z     Document Type: Article

References (28)

1. Arnold, T. and Fuson, W. (1994) Testing "in a perfect world"', Communications of the ACM, 37 (9), 78-86.
2. Beizer, B. (1990) Software Testing Techniques, 2nd edn, Van Nostrand Reinhold, New York, U.S.A.
3. Binder, R. (1994) 'Design for testability in object-oriented systems', Communications of the ACM, 37(9), 87-101.
4. Fiedler, S. (1989) 'Object-oriented unit testing', Hewlett-Packard Journal, 40(2), 69-74.
5. Foster, K. A. (1980) 'Error sensitive test cases analysis', IEEE Transactions on Software Engineering, 6(3), 258-264.
6. Foster, K. A. (1984) 'Sensitive test data for logic expressions', ACM Software Engineering Notes, 9(2), 120-125.
7. Frankl, P. and Doong, R. (1994) 'The ASTOOT approach to testing object-oriented programs', ACM Transactions on Software Engineering Methodology, 3(2), 101-130.
8. Frankl, P. G. and Weiss, S. N. (1993) 'An experimental comparison of the effectiveness of branch testing and data flow testing', IEEE Transactions Software Engineering, 19(8), 774-787.
9. Cannon, J., McMullin, P. and Hamlet, R. (1981) 'Data-abstraction implementation, specification and testing', ACM Transactions on Programming Languages and Systems, 3(3), 211-223.
10. Hoffman, D. (1989) 'A CASE study in module testing', Proceedings of the Conference on Software Maintenance, October 1989, IEEE Computer Society Press, Los Alamitos, California, U.S.A. pp. 100-105.
11. Hoffman, D. and Strooper, P. (1991) 'Automated module testing in Prolog', IEEE Transactions on Software Engineering, 17(9), 933-942.
12. Hoffman, D. and Strooper, P. (1995) Software Design, Automated Testing, and Maintenance: A Practical Approach, International Thomson Computer Press, Boston, Massachusetts, U.S.A.
13. Huffman, D. M. and Strooper, P. A. (1997) 'Classbench: A framework for automated class testing', Software - Practice and Experience, 27(5), 573-597.
14. Holt, P. and Stewart, R. (1997) 'Unit test coverage as leading indicator of rework', Proceedings of EuroSTAR97: The Fifth European Conference on Software Testing, November 1997.
15. Howden, W. E. (1980) 'Functional program testing', IEEE Transactions on Software Engineering, 6(3), 162-169.
16. Howden, W. E. (1982) 'Weak mutation testing and completeness of program test sets', IEEE Transactions on Software Engineering, 8(4), 371-379.
17. Knuth, D. (1969) The Art of Computer Programming, Vol. II, Addison-Wesley, Reading, Massachu-setts, U.S.A.
18. Murphy, G., Townsend, P. and Wong, P. (1994) 'Experiences with cluster and class testing', Communications of the ACM, 37(9), 39-47.
19. Musser, D. and Saini, A. (1996) STL Tutorial and Reference Guide, Addison-Wesley, Reading, Massachusetts, U.S.A.
20. Myers, G. J. (1979) The Art of Software Testing, Wiley, New York, U.S.A.
21. Ostrand, T. and Balcer, M. (1988) 'The category-partition method for specifying and generating functional tests', Communications of the ACM, 31(6), 676-686.
22. Panzl, D. (1978) 'A language for specifying software tests', Proceedings of the AFIPS National Computer Conference, AFIPS, pp. 609-619.
23. Piwowarski, P., Ohba, M. and Caruso, J. (1993) 'Coverage measurement experience during functional testing', Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, U.S.A., May 1993, IEEE Computer Society Press, Los Alamitos, California, U.S.A.
24. Rapps, S. and Weyuker, E. J. (1985) 'Selecting software test data using data flow information', IEEE Transactions on Software Engineering, 11(4), 367-375.
25. Reid, S. C. (1997) 'Module testing techniques-which are the most effective?', Proceedings of EuroSTAR97: The Fifth European Conference on Software Testing, November 1997.
26. Richardson, D. J. and Clarke, L. A. (1985) 'Partition analysis: a method combining testing and verification', IEEE Transactions on Software Engineering, 11(12), 1477-1490.
27. Weyuker, E. J. and Ostrand, T. J. (1980) 'Theories of program testing and the application of revealing subdomains', IEEE Transactions on Software Engineering, 6(3), 236-246.
28. White, L. J. and Cohen, E. I. (1980) 'A domain strategy for computer program testing', IEEE Transactions on Software Engineering, 6(3), 247-257.