Login | Register

A novel approach for generating test suites for component-based safety critical systems

Title:

A novel approach for generating test suites for component-based safety critical systems

Kanade, Sudhan (2004) A novel approach for generating test suites for component-based safety critical systems. Masters thesis, Concordia University.

[thumbnail of MQ94702.pdf]
Preview
Text (application/pdf)
MQ94702.pdf - Accepted Version
4MB

Abstract

Safety-critical system is a class of systems whose failure may cause severe consequences as such systems have absolute demands regarding correctness of functional as well as timing behavior of the system. Our proposed CAGILY framework introduces a formal framework for identifying a set of test cases from a well-specified system to validate critical functionalities of the system. This framework incorporates the concept of component identification and specification, and defines contracts/morphisms by adapting the theories of constraint cross-product in category theory to generate sets of comprehensive test suites. The formalization of the system is provided by specifying the system composition using the specification and verification tool called Specware. Further, we have developed and implemented Sampuma tool, which generates a set of test cases depending on the constraints imposed on the system. We illustrate the effectiveness of our proposed approach by applying it to a case study of mine pump problem. The important feature of our approach is that, we have been able to decompose the system depending upon their functional requirements and then testing the system for its critical functionality. (Abstract shortened by UMI.)

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Kanade, Sudhan
Pagination:x, 102 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Date:2004
Thesis Supervisor(s):Sinha, Purnendu
Identification Number:QA 76.76 C66K36 2004
ID Code:8076
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:14
Last Modified:13 Jul 2020 20:03
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