Login | Register

Building a tool for testing real time systems


Building a tool for testing real time systems

Abu Talib, Manar (2004) Building a tool for testing real time systems. Masters thesis, Concordia University.

[thumbnail of MQ90985.pdf]
Text (application/pdf)
MQ90985.pdf - Accepted Version


Ensuring the correctness of real time systems before the development and ensuring that it functions correctly within the specified time constraints become a very important task to avoid catastrophic consequences. A number of design issues affect the testing strategies and the testability of the system. In this thesis, we have designed and built a tool that generates the timed test cases by implementing the state characterization technique. The tool consists of the following steps: First, the real-time system is modeled as a Timed Input Output Automaton (TIOA). Its description is written in a file to be parsed by the tool using JAVACC. TIOA has locations, clocks and transitions with time constraints. Second, the tool samples the stored TIOA into sub automaton easily testable, called Grid Automaton. Third, the tool is then responsible for transforming this Grid Automaton into a Non-deterministic Timed Finite State Machine (NFSM). Finally, test cases are generated from NFSM, using the Generalized Wp-method. We have applied many examples to the tool and it demonstrates its ability to detect many possible faults. (Abstract shortened by UMI.)

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Abu Talib, Manar
Pagination:xi, 119 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Thesis Supervisor(s):Dssouli, Rachida and En-Nouaary, Abdelslam
Identification Number:QA 76.54 A38 2004
ID Code:7939
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:11
Last Modified:13 Jul 2020 20:02
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