A framework for formal specification considering review and specification-based testing

A specification described by a formal specification language is required readability and executability depending on its use cases. As use cases, a specification is used for a validation by reviewing, for test case design to verify a product and for test script verification. This paper introduces and examines a description framework for an interface specification. It discusses the implementation of the framework and the effectiveness of applying a labeling feature to our description framework.