Departmental Bulletin Paper Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications

Zhang, Jinghua

(10) 2015-03-24 , 法政大学大学院情報科学研究科
ISSN:1881-0667
NCID:AA12222297
Description
When developing a formal specification for a software project using the SOFL three-step modeling approach, it is essential to ensure the conformance relation between every two level specifications. Inspection is an important technique to verify the specifications. In this paper, we describe an inspection method through building traceability for rigorously verifying the conformance relation. The method consists of two steps: (1) traceability establishment and (2) inspection of the target specifications based on the built traceability. We also provide some inspection strategies such as checklists based on SOFL features to help the inspector find errors and keep the consistency. Our tool provides a convenient interface to separate components in different specifications and save their relationships to keep the consistency. We describe the design and implementation of our supporting tool in this thesis. A case study to inspect the specifications of a travel plan booking system is given to show how the proposed method can be applied in practice.
Full-Text

http://repo.lib.hosei.ac.jp/bitstream/10114/10864/1/12t0017.pdf

Number of accesses :  

Other information