Login | Register

Automated test generation from formal specifications of real-time reactive systems

Title:

Automated test generation from formal specifications of real-time reactive systems

Zheng, Mao (2002) Automated test generation from formal specifications of real-time reactive systems. PhD thesis, Concordia University.

[thumbnail of NQ68212.pdf]
Preview
Text (application/pdf)
NQ68212.pdf
5MB

Abstract

Real-time reactive systems are among the most difficult systems to design and implement because of their size and complex functional and timing requirements. They are often used in safety-critical contexts. Consequently, the correction of such systems must be assured before they are deployed. This thesis addresses the quality assurance of real-time reactive systems through rigorous testing methods. The thesis gives methods to generate test cases from the formal specifications of real-time reactive systems developed in TROMLAB framework. The scope of this thesis encompasses two major components. A Homomorphism Theorem is given that serves as a basis for automated test case generation from the grid automaton associated with the extended state machine formalism. A number of algorithms are also given for generating test cases for black-box testing of reactive class implementations, implementations of class refinements and system configurations. The testing methodologies are theoretically sound, yet being practical for automated test case generation.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (PhD)
Authors:Zheng, Mao
Pagination:xi, 129 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Ph. D.
Program:Computer Science and Software Engineering
Date:2002
Thesis Supervisor(s):Alagar, V. S.
Identification Number:QA 76.54 Z44 2002
ID Code:1575
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:20
Last Modified:13 Jul 2020 19:49
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top