Automated test generation from object-oriented specifications of real-time reactive systems

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2003-January, Issue , 2003, Pages 406-414

  Alagar, V S ^a   Chen, M ^a   Ormandjieva, O ^a   Zheng, M ^b  

^a Dept of Electrical and Computer Engineering   (Canada)

^b UNIVERSITY OF WISCONSIN LA CROSSE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS;

AUTOMATED TEST GENERATIONS; CASE-STUDIES; DOMAIN MODEL; FORMAL DESCRIPTION; OBJECT-ORIENTED SPECIFICATIONS; REAL-TIME REACTIVE SYSTEMS;

REAL TIME SYSTEMS;

EID: 33646828426     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2003.01254396     Document Type: Conference Paper

References (15)

1. V. S. Alagar, R. Achuthan, and D. Muthiayen, "TROMLAB: A Software Development Environment for Real-Time Reactive Systems", Technical Report, Concordia University, Montreal, Canada, first version 1996, revised 1998.
2. V. S. Alagar and M. Zheng, "A Rigorous Method for Testing Real-Time Reactive Systems", In Proceedings of Asia Pacific Software Engineering Conference, Macau, December 2001; pp: 213-220.
3. V. S. Alagar, O. Ormandjieva, M. Zheng, "Incremental Testing for Self-Evolving Timed Systems", In Proceedings of Third International Conference on Quality Software QSIC 2003, Dallas, Texas, USA, November 6-7, 2003.
4. NY Chen, TH Tse, FT Chan, TY Chen, "In black and white: an integrated approach to class-level testing of object-oriented programs", ACM Transactions on Software Engineering and Methodology, 1998, 7(3):250-295.
5. A. En-Noussary, R. Dssouli and F. Khendek, "Timed Wp-Method: Testing Real-Time Systems", IEEE Transactions on Software Engineering, vol. 28, No. 11, November 2002, pp. 1023-1038.
6. J. Guttag, J. Horning, S. Garland, J. Jones, A. Modet, J. Wing. Larch: Languages and Tools for Formal Specification. Spring-Verilag, New Work, NY, 1993.
7. C. Heitmeyer, D. Mandrioli Formal Methods for Real-Time Computing. John Wiley & Sons, 1996.
8. S. Kirani, "Specification and verification of object-oriented programs" Ph. D thesis, Department of Computer Science, University of Minnesota, Minneapolis, MN, November 1994.
9. D. Muthiayen, Real-time Reactive System Development - A Formal Approach based on UML and PVS, Ph. D Thesis, Concordia University, January 2000.
10. O. Ormandjieva, Deriving New Measurements for Real-Time Reactive Systems, Ph. D. Thesis, Department of Computer Science, Concor-dia University, Montreal, Canada, 2002.
11. K. Periyasamy, V. S. Alagar, "A rigorous method for test templates generation from object-oriented specifications", Software Testing, Verification and Reliability, 2001, 11:3-37.
12. J. Springintveld, F. Vaadranger, and P. Darge-nio, "Testing Timed Automata", Theoretical Computer Science, 2001, vol. 254, pp. 225-257.
13. P. Stocks, D. Carrington, "A Framework for Specification-Based Testing", IEEE Transactions on Software Engineering, November 1996, No. 11, vol. 22. pp:777-793.
14. J. Springintveld, F. Vaandrager, P. Dargenio. Testing Timed Automata Technical Report CTIT97-17, University of Twente, Amsterdam, The Netherlands, 1997.
15. M. Zheng, Automated Test Generation from Formal Specifications of Real-Time Reactive Systems, Ph. D. Thesis, Department of Computer Science, Concordia University, Montreal, Canada, 2002.