On the development of a standard for conformance testing based on formal specifications
Abstract
Index Terms
- On the development of a standard for conformance testing based on formal specifications
Recommendations
Formal test specifications in open systems
ISESS '95: Proceedings of the 2nd IEEE Software Engineering Standards SymposiumThe development of formal test specifications for an open system standard is described. The effort is being conducted within the environment provided by the Clemson Automated Testing System (CATS). CATS features the ability to automatically translate ...
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 ...
Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing
Tests and ProofsAbstractA common problem in verification is to ensure that the formal specification models the real-world system, i.e., the implementation, faithfully. Testing is a technique that can help to bridge the gap between a formal specification and its ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Elsevier Science Publishers B. V.
Netherlands
Publication History
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in