Automating test generation for discrete event oriented real-time embedded systems

Persistent Link:
http://hdl.handle.net/10150/284308
Title:
Automating test generation for discrete event oriented real-time embedded systems
Author:
Cunning, Steven J., 1963-
Issue Date:
2000
Publisher:
The University of Arizona.
Rights:
Copyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.
Abstract:
The purpose of this work is to provide a method for the automatic generation of test scenarios from the behavioral requirements of a system. The goal of the generated suite of test scenarios is to allow the system design to be validated against the requirements. The benefits of automatic test generation include improved efficiency, completeness (coverage), and objectivity (removal of human bias). The Model-based Codesign method is refined by defining a design process flow. This process flow includes the generation of test suites from requirements and the application of these tests across multiple levels of the design path. An approach is proposed that utilizes what is called a requirements model and a set of four algorithms. The requirements model is an executable model of the proposed system defined in a deterministic state-based modeling formalism. Each action in the requirements model that changes the state of the model is identified with a unique requirement identifier. The scenario generation algorithms perform controlled simulations of the requirements model in order to generate a suite of test scenarios applicable for black box testing. A process defining the generation and use of the test scenarios is developed. This process also includes the treatment of temporal requirements which are considered separately from the generation of the test scenarios. An algorithm is defined to combine the test scenarios with the environmental temporal requirements to produce timed test scenarios in the IEEE standard C/ATLAS test language. An algorithm is also defined to describe the behavior of the test environment as it interprets and applies the C/ATLAS test programs. Finally, an algorithm to analyze the test results logged while applying the test scenario is defined. Measurements of several metrics on the scenario generation algorithms have been collected using prototype tools. The results support the position that the algorithms are performing reasonably well, that the generated test scenarios are adequately efficient, and that the processing time needed for test generation grows slowly enough to support much larger systems.
Type:
text; Dissertation-Reproduction (electronic)
Keywords:
Engineering, Electronics and Electrical.; Engineering, System Science.; Computer Science.
Degree Name:
Ph.D.
Degree Level:
doctoral
Degree Program:
Graduate College; Electrical and Computer Engineering
Degree Grantor:
University of Arizona
Advisor:
Rozenblit, Jerzy W.

Full metadata record

DC FieldValue Language
dc.language.isoen_USen_US
dc.titleAutomating test generation for discrete event oriented real-time embedded systemsen_US
dc.creatorCunning, Steven J., 1963-en_US
dc.contributor.authorCunning, Steven J., 1963-en_US
dc.date.issued2000en_US
dc.publisherThe University of Arizona.en_US
dc.rightsCopyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.en_US
dc.description.abstractThe purpose of this work is to provide a method for the automatic generation of test scenarios from the behavioral requirements of a system. The goal of the generated suite of test scenarios is to allow the system design to be validated against the requirements. The benefits of automatic test generation include improved efficiency, completeness (coverage), and objectivity (removal of human bias). The Model-based Codesign method is refined by defining a design process flow. This process flow includes the generation of test suites from requirements and the application of these tests across multiple levels of the design path. An approach is proposed that utilizes what is called a requirements model and a set of four algorithms. The requirements model is an executable model of the proposed system defined in a deterministic state-based modeling formalism. Each action in the requirements model that changes the state of the model is identified with a unique requirement identifier. The scenario generation algorithms perform controlled simulations of the requirements model in order to generate a suite of test scenarios applicable for black box testing. A process defining the generation and use of the test scenarios is developed. This process also includes the treatment of temporal requirements which are considered separately from the generation of the test scenarios. An algorithm is defined to combine the test scenarios with the environmental temporal requirements to produce timed test scenarios in the IEEE standard C/ATLAS test language. An algorithm is also defined to describe the behavior of the test environment as it interprets and applies the C/ATLAS test programs. Finally, an algorithm to analyze the test results logged while applying the test scenario is defined. Measurements of several metrics on the scenario generation algorithms have been collected using prototype tools. The results support the position that the algorithms are performing reasonably well, that the generated test scenarios are adequately efficient, and that the processing time needed for test generation grows slowly enough to support much larger systems.en_US
dc.typetexten_US
dc.typeDissertation-Reproduction (electronic)en_US
dc.subjectEngineering, Electronics and Electrical.en_US
dc.subjectEngineering, System Science.en_US
dc.subjectComputer Science.en_US
thesis.degree.namePh.D.en_US
thesis.degree.leveldoctoralen_US
thesis.degree.disciplineGraduate Collegeen_US
thesis.degree.disciplineElectrical and Computer Engineeringen_US
thesis.degree.grantorUniversity of Arizonaen_US
dc.contributor.advisorRozenblit, Jerzy W.en_US
dc.identifier.proquest9992141en_US
dc.identifier.bibrecord.b41175311en_US
All Items in UA Campus Repository are protected by copyright, with all rights reserved, unless otherwise indicated.