||A Tool Supported Testing Approach to Automatic Checking of the Completeness of Formal Specifications
102015-03-24 , 法政大学大学院情報科学研究科
Writing formal specifications is perceived as a way to help developers understand users’ requirements and build a solid foundation for implementation. In order to ensure that a specification covers all the user’s requirements, its completeness as an important property of the specification needs to be assured. However, in practice, checking completeness still remains an open problem. In this paper, we first introduce the concept of specification completeness in SOFL and then explain how its automatic checking is done. Our method utilizes automatic testing techniques to automatically check the completeness. The method focuses on checking the completeness of processes by using sufficient test cases generated from appropriate predicate expressions to check the completeness condition. Finally, a case study is presented in this paper to show how our method works in practice.