Testing object-oriented programs: From formal specification to test scenario generation

Journal of Systems and Software

Volumn 42, Issue 2, 1998, Pages 141-151

  Chang, Kai H ^a   Liao, Shih Sung ^a   Seidman, Stephen B ^b   Chapman, Richard ^b  

^a AUBURN UNIVERSITY   (United States)

^b Colorado State University   (United States)

Author keywords

Formal methods; Object oriented programs; Software process models; Software testing; Software validation and verification

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LOGIC; PROBABILITY DISTRIBUTIONS;

ENHANCED STATE TRANSITION DIAGRAMS (ESTD); OBJECT ORIENTED FORMAL SPECIFICATIONS; SOFTWARE PROCESS MODELS;

OBJECT ORIENTED PROGRAMMING;

EID: 0032138549     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0164-1212(98)10005-5     Document Type: Article

References (24)

1. D. Carrington, P. Stocks, A tale of two paradigms: Formal methods and software testing, in: Workshops in Computing Series: Z User Workshop, Springer, Berlin, 1994, pp. 51-68.
2. K.H. Chang, J.H. Cross, W.H. Carlisle, S. Liao, An empirical study of intelligent test case generation methods for software branch coverage, in: Proceedings of the Fifth International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, 1993, pp. 437-444.
3. K.H. Chang, J.H. Cross, W.H. Carlisle, S. Liao, A performance evaluation of heuristics-based test case generation methods for software branch coverage, J. Software Eng. and Knowledge Eng. 6 (3) (1996).
4. C. Chen, Derivation of State Transition Diagrams from Object-Z Specifications, Master's thesis, Department of Computer SCience and Engineering, Auburn University, 1996.
5. R.H. Cobb, H.D. Mills, Engineering software under statistical quality control, IEEE Software (1990) 44-54.
6. R. Doong, P.G. Frankl, The Astoot Approach to Testing Object-Oriented Programs, Technical Report pucs-104-93, Department of Computer Science, Polytechnic University, 1993.
7. R. Duke, P. King, G. Rose, G. Smith, The Object-Z Specification Language, Version 1 Technical Report 91-1, Software Verification Research Centre, Department of Computer Science, University of Queensland, 1991.
8. M. Dyer, The Cleanroom Approach to Quality Software Development, Wiley, New York, 1992.
9. M.J. Harrold, J.D. McGregor, K.J. Fitzpatrick, Incremental testing of object-oriented class structures, in: Proceedings of the 14th International Conference on Software Engineering, 1992, pp. 68-80.
10. D. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima, C. Chen, On object state testing, in: Proceedings of the 18th Annual International Computer Software and Application Conference, Taipei, Taiwan, 1994, pp. 222-227.
11. S. Liao, An Integrated Testing Approach for Object-Oriented Programs, Ph.D. Dissertation, Department of Computer Science and Engineering, Auburn University, 1997.
12. S. Liao, K.H. Chang, C. Chen, Testing object-oriented programs using state based usage models, in: Proceedings of the 34th ACM Southeast Conference, Tuskegee, Alabama, 1996.
13. S. Liao, K.H. Chang, S. Seidman, An integrated testing framework for object-oriented programs work in progress, in: Proceedings of the Seventh International Conference on Software Engineering and Knowledge Engineering, Rockville, Maryland, 1995, pp. 123-125.
14. S. Liao, K.H. Chang, S. Seidman, C. Chen, Testing object-oriented programs based on usage profiles and formal specifications, in: Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering, Lake Tahoe, Nevada, 1996, pp. 9-16.
15. R.C. Linger, H.D. Mills, A case study in Cleanroom software engineering: The IBM Cobol restructuring facility, in: Proceedings of COMPSAC'88, 1988.
16. T.J. McCabe, A software complexity measure, IEEE Transactions on Software Engineering 2 (6) (1976) 308-320.
17. J.D. Musa, Operational profiles in software reliability engineering, IEEE Software (1994) 14-32 .
18. D.J. Richardson, S.L. Aha, T.O. O'Malley, Specification-based test oracles for reactive systems, in: Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, 1992, pp. 105-118.
19. M.D. Smith, D.J. Robson, A framework for testing object-oriented programs, J. Object-Oriented Prog. 5 (3) (1992) 45-53.
20. J.M. Spivey, The Z Notation: A Reference Manual, 2nd ed., Prentice-Hall, Englewood Cliffs, NJ, 1992.
21. P.A. Stocks, D.A. Carrington, Test templates: A specification-based testing framework, in: Proceedings of the 15th International Conference on Software Engineering, Los Alamitos, CA, 1993, pp. 405-414.
22. C.D. Turner, D.J. Robson, The state-based testing of object-oriented programs, in: Proceedings of the Conference on Software Maintenance, Montreal, Canada, 1993, pp. 302-310.
23. J.A. Whittaker, Markov analysis of software specification, ACM Trans. Soft. Eng. Methodology 2 (1) (1993) 93-106.
24. C. Wohlin, P. Runeson, Certification of software components, IEEE Trans. Software. Eng. 20 (6) (1994) 494-499.