Incremental testing for self-evolving timed systems

Proceedings - International Conference on Quality Software

Volumn 2003-January, Issue , 2003, Pages 12-19

  Alagar, V S ^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

COMPUTER SOFTWARE SELECTION AND EVALUATION;

BLACK BOX METHOD; EVOLVING SYSTEMS; INCREMENTAL TESTING; SOFTWARE SYSTEMS; TEST CASE; TIME-CRITICAL DOMAINS; TIMED SYSTEMS;

TIME SHARING SYSTEMS;

EID: 33646842616     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2003.1319080     Document Type: Conference Paper

References (7)

1. V.S. Alagar, R. Achuthan, May Haydar, D. Muthiayen, O. Ormandjieva, M. Zheng. A Rigorous Approach for Constructing Self-Evolving Real-Time Reactive Systems. Journal of Information and Software Technology, Elsevier Science, 2003.
2. V.S. Alagar, R. Achuthan, D. Muthiayen. TROMLAB: A Software Development Environment for Real-Time Reactive Systems. Technical Report, Concordia University, Montreal, Canada, April 2001.
3. A. Celer. Role of Larch/C++ Specifications in Black-Box Testing of Object-Oriented Software. Master's thesis, Department of Computer Science, Concordia University, Montreal,March 1995.
4. M. Haydar. Parameterized Events for Designing Real-Time Reactive Systems. Master's thesis, Department of Computer Science, Concordia University, Montreal, Canada, February 2001.
5. J. Guttag, J. Horning, S. Garland, J. Jones, A. Modet, J. Wing. Larch: Languages and Tools for Formal Specification. Spring-Verilag, NewWork, NY, 1993.
6. O. Ormandjieva. Deriving New Measurement for Real-Time Reactive Systems. Ph.D. Thesis, Department of Computer Science, Concordia University, Montreal, Canada, 2002.
7. M. Zheng. Automated Generation of Test Suits from Formal Specifications of Real-Time Reactive Systems. Ph.D. Thesis, Department of Computer Science, Concordia University, Montreal, Canada, 2002.