Formal test specifications in open systems
Abstract
Recommendations
A formal approach to requirements based testing in open systems standards
ICRE '96: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)Experience with an innovative approach to requirements based testing in the IEEE POSIX arena is presented. The work described in this paper is based on a full scale conformance test suite development for the standard IEEE Std 10035-The Ada Language ...
A specification-based adaptive test case generation strategy for open operating system standards
ICSE '96: Proceedings of the 18th international conference on Software engineeringThe 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 ...
Update The Derivation of Conformance Tests From LOTOS Specifications
The derivation of conformance tests for communication protocols is discussed. Protocol specifications are considered in the formal description technique LOTOS, which has been developed by the International Standards Organization. Test processes which ...
Comments
Information & Contributors
Information
Published In
Publisher
IEEE Computer Society
United States
Publication History
Author Tags
- CATS architecture
- Clemson Automated Testing System
- IEEE Std 1003.5 POSIX Ada Language Interfaces
- IEEE standards
- automatic test software
- conformance testing
- executable tests
- formal specification
- formal test specification language
- formal test specifications
- open system standard
- open systems
- program testing
- software standards
- specification languages
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0