Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Completeness and consistency analysis of state-based requirements
Proceedings of the 17th international conference on Software engineering
A specification-based adaptive test case generation strategy for open operating system standards
Proceedings of the 18th international conference on Software engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
The role of testing methodologies in open systems standards: a POSIX experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
Itron 3.0 Real-Time Operating Systems for Embedded Systems
Itron 3.0 Real-Time Operating Systems for Embedded Systems
The Gmicro/300 32-Bit Microprocessor
IEEE Micro
IEEE Software
EDCC-1 Proceedings of the First European Dependable Computing Conference on Dependable Computing
Design Fault Tolerance in Operating Systems Based on a Standardization Project
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
Theoretical Computer Science
| Hi-index | 14.98 |
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