紀要論文 A Tool Supported Testing Approach to Automatic Checking of the Completeness of Formal Specifications

Fu, Sushan

(10) 2015-03-24 , 法政大学大学院情報科学研究科
ISSN:1881-0667
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

このアイテムのアクセス数:  回

その他の情報