Improving design dependability by exploiting an open model-based specification

In an open system standards environment, a formal specification can be shared by all of its implementations, which results in the sharing of development cost. This paper presents a specification-based adaptive test case generation (SBATCG) method for generating validation test cases and a specificat...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on computers Vol. 48; no. 1; pp. 24 - 37
Main Authors Tomita, A.W., Sakamura, K.
Format Journal Article
LanguageEnglish
Published New York, NY IEEE 01.01.1999
Institute of Electrical and Electronics Engineers
Subjects
Applied sciences
Automata. Abstract machines. Turing machines
Complement
Computer networks
Computer science; control theory; systems
Computer systems performance. Reliability
Consistency
Costs
Exact sciences and technology
Exploration
Fault tolerance
Formal specifications
Mathematical models
On-line systems
Open systems
Operating systems
Software
Software engineering
Software testing
Specifications
Standardization
Standards development
System testing
Theoretical computing
Software development
Test
Formal specification
Deterministic automaton
Error detection
Finite automaton
Program analysis
Implementation
Fault tolerant system
Software engineering
Online AccessGet full text

Cover

More Information
Summary:In an open system standards environment, a formal specification can be shared by all of its implementations, which results in the sharing of development cost. This paper presents a specification-based adaptive test case generation (SBATCG) method for generating validation test cases and a specification-based adaptive consistency check generation (SBACCG) method for generating on-line consistency checks for implementations developed from a model-based specification. The SBATCG (SBACCG) method first derives test cases (consistency checks) through rigorous exploration of a model-based specification, adapts the test cases (consistency checks) to the program structure of a particular implementation, and then produces test cases (consistency checks) that are particularly suitable for the implementation. Testing does not guarantee a program's freedom from faults. The results of the fault-injection experiment show that the SBACCG method can complement the SBATCG method.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ObjectType-Article-2
ObjectType-Feature-1
ISSN:0018-9340
1557-9956
DOI:10.1109/12.743409