Test scenario and regression test suite generation from object-Z formal specification for object-oriented program testing

Proceedings of the 37th Annual Southeast Regional Conference, ACM-SE 1999

Volumn , Issue , 1999, Pages

  Chen, Chun Yu ^a   Chapman, Richard ^a   Chang, Kai H ^a  

^a AUBURN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; INTEGRATION TESTING; REGRESSION ANALYSIS; SOFTWARE TESTING; SPECIFICATIONS;

FUNCTIONAL TESTING; OBJECT Z; OBJECT-ORIENTED PROGRAM; REGRESSION TESTING; REGRESSION TESTS; TEST SCENARIO;

OBJECT ORIENTED PROGRAMMING;

EID: 84957400152     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/306363.306408     Document Type: Conference Paper

References (9)

1. D. Carrington, R. Duke, P. King, G. Rose, and G. Smith. \Object-Z: an object-oriented extension to Z". In Proc. IFIP TC/WG 6.1 Second International Conference on Formal Description Techniques for Dis-tributed Systems and Communications Protocols, pages 281{296, Vancouver, Canada, December 1990.
2. C. Chen, R. Chapman, and K.H. Chang. \Usage based test scenario generation from Object-Z formal specification". In Proc. 1998 International Computer Sympo-sium, Workshop on software engineering and database systems, pages 244{251, N.C.K.U. Tainan, Taiwan, Dec. 1998.
3. R.T. Crocker and A. von Mayrhauser. \Maintenance support needs for object-oriented software". In Proc. 17th Annual International Computer Software and Ap-plications Conference, pages 63{69, 1993.
4. D. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima, and C. Chen. \On object state testing". In Proc. 18th An-nual International Computer Software and Application Conference, pages 222{227, Taipei, Taiwan, November 1994.
5. M. Lejter, S. Meyers, and S.P. Reiss. \Support for maintaining object-oriented programs". IEEE Trans. on Soft. Eng. , 18(12):1045{1052, December 1992.
6. A. K. Onoma, W. Tsai, M. Poonawala, and H. Sug-anuma. \Regression Testing in an Industrial Environ-ment". Communications of the ACM, 41(5):81{86, May 1998.
7. G. Rothermel and M.J. Harrold. \A safe, efficient al-gorithm for regression test selection". In Proc. 1994 IEEE Conference on Software Maintenance, pages 348{ 357, 1994.
8. G. Rothermel and M.J. Harrold. \A safe, efficient re-gression test Selection technique". ACM Transaction on Software Engineering and Methodology, 6(2):173{210, April 1997.
9. L. J. White and H. K.N. Leung. \A firewall concept for both control-ow and data-ow in regression integration testing". In Proc. 1992 IEEE Conference on Software Maintenance, pages 262{271, 1992.