Specification-based testing for real-time reactive systems

"Technology of Object-Oriented Languages and Systems

Volumn , Issue TOOL 34, 2000, Pages 25-36

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

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONSTRAINT THEORY; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING;

REAL-TIME REACTIVE SYSTEMS;

REAL TIME SYSTEMS;

EID: 0034586681     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TOOLS.2000.868956     Document Type: Conference Paper

References (11)

1. V.S. Alagar, R. Achuthan, D. Muthiayen. TROMLAB: A Software Development Environment for Real-Time Reactive Systems. Technical Report, (first version 1996, revised 1998), Concordia University, Montreal, Canada.
2. R. Achuthan. A Formal Model for Object-Oriented Development of Real-Time Reactive Systems. Ph.D. thesis, Concordia University, Montreal, Canada, October 1996.
3. J. Allilovic-Curgus. Metric-Based Theory of Test Selection and Coverage for Communication Protocols. Canadian Thesis ISBN 0-315-85472-3, 1993.
4. C. Bennett, P. Gacs, M. Li, P. Vitanyi, W. Zurek. Information Distance. IEEE Transactions on Information Theory (44), 4, pp.1407-1423, 1998.
5. A. En-Nouaary, R. Dssouli, F. Khendek, A.Elqortobi. Timed Test Case Generation Based on State Characterization Technique. IEEE Real-Time System Symposium, New York, N.Y. 1998.
6. Guttag, J. Homing, S. Garland, J. Jones, A. Modet, J. Wing. Larch: Languages and Tools for Formal Specifications. Springer Verlag, New Work, NY, 1993.
7. D. Harel, A. Pnueli. On the development of reactive systems. In Logic and Models of Concurrent Systems, NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems. Springer Verlag, 1985.
8. D. Muthiayen, V.S. Alagar. Mechanized Verification of Real-time Reactive Systems in an Object-Oriented Framework. IEEE Transactions on Software Engineering, submitted for publication, 1998, 1999(revised).
9. P. Raymond, X. Nicollin, N. Halbwachs, D. Weber. Automatic Testing of Reactive Systems. IEEE Real-Time System Symposium, New York, NY, 1998.
10. S. Whitemire. Object Oriented Design Measurement. 1997.
11. H. Zhu, P. Hall, J. May. Software Unit Test Coverage and Adequacy. ACM Computing Surveys (29), 4, pp.366-427, 1997.