Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
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
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
The Gmicro/300 32-Bit Microprocessor
IEEE Micro
IEEE Software
IEEE Transactions on Software Engineering
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 Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Improving Design Dependability by Exploiting an Open Model-Based Specification
IEEE Transactions on Computers
Minimizing the number of inputs while applying adaptive test cases
Information Processing Letters
Random testing of interrupt-driven software
Proceedings of the 5th ACM international conference on Embedded software
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Minimizing the number of inputs while applying adaptive test cases
Information Processing Letters
| Hi-index | 0.00 |
The paper presents a specification based adaptive test case generation (SBATCG) method for integration testing in an open operating system standards environment. In the SBATCG method, templates describing abstract state transitions are derived from a model based specification, and the templates are refined to the internal structure of each implementation. We adopt the Z notation, one of the most widely used formal specification languages. We conducted mutation analysis to study the fault exposure abilities of the SBATCG method and that of a strategy based only on a specification. In our experiment, we used a Z version of the ITRON2 real time multi task operating system specification and two commercially available ITRON2 implementations. The results of this equipment show that the SBATCG method can achieve a higher fault detecting ability than can the strategy using only a specification.