Breadcrumb

 
 

Building a tool for testing real time systems

Title:

Building a tool for testing real time systems

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

[img]
Preview
PDF - Accepted Version
7Mb

Abstract

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 > Faculty 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
Date:2004
Thesis Supervisor(s):Dssouli, Rachida and En-Nouaary, Abdelslam
ID Code:7939
Deposited By:Concordia University Libraries
Deposited On:18 Aug 2011 14:11
Last Modified:19 Aug 2011 04: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

Document Downloads

More statistics for this item...

Concordia University - Footer