|
A Tool Supported Testing Approach to Automatic Checking of the Completeness of Formal SpecificationsA Tool Supported Testing Approach to Automatic Checking of the Completeness of Formal SpecificationsAA12222297 |
"/Fu, Sushan/"Fu, Sushan
102015-03-24 , 法政大学大学院情報科学研究科
ISSN:18810667
NII書誌ID(NCID):AA12222297
内容記述
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.
本文を読む
http://repo.lib.hosei.ac.jp/bitstream/10114/10981/1/12t2009.pdf