Login | Register

Testing embedded real-time systems based on test purposes


Testing embedded real-time systems based on test purposes

Xiang, Zhang (2004) Testing embedded real-time systems based on test purposes. Masters thesis, Concordia University.

Text (application/pdf)
MR04407.pdf - Accepted Version


Embedded real-time systems are those systems which have many components interacting with each other and with the environment. In this thesis, we introduce a methodology to generate test cases for embedded real-time systems based on test purposes expressed as Message Sequence Charts (MSCs), and timed input output automata as specification model. The approach consists of six main operations: (1) the parsing of the specification and test purposes; (2) the selection of the transition paths to be considered for test cases generation; (3) the construction of the synchronous product of the test purposes and the TIOA specifications; (4) the construction of a partial product for the system under test; (5) the sampling of TIOAs; and (6) the generation of test cases. Within these six operations, the sampling operation can be executed in different levels. Each level gives rise to a new method for test cases generation for embedded real-time systems. We implemented and studied three of these methods by comparing them in terms of the number of states generated and the number of test cases devised.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Xiang, Zhang
Pagination:xii, 117 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Thesis Supervisor(s):En-Nouaary, Abdeslam
ID Code:8372
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:23
Last Modified:18 Jan 2018 17:33
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

Back to top Back to top