Abstract
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 through 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 paper. 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 .
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer, Heidelberg (2004)
Boehm, B.W.: Software Engineering Economics. Prentice Hall, Englewood Cliffs (1981)
Liu, S., McDermid, J., Chen, Y.: A rigorous method for inspection of model-based formal specifications. IEEE Trans. Reliab. 59(4), 667–684 (2010)
IEEE: 1028-2008 IEEE Standard for Software Reviews and Audits. IEEE Computer Society (2008)
Laitenberger, O., DeBaud, J.-M.: An encompassing life cycle centric survey of software inspection. J. Syst. Soft. 50(1), 5–31 (2000)
Chernak, Y.: A statistical approach to the inspection checklist formal synthesis and improvement. IEEE Trans. Softw. Eng. 22(12), 866–874 (1996)
Francisco, P.A.C., Goguen, J.A.: An object-oriented tool for tracing requirements. IEEE Softw. 13(2), 52–64 (1996)
Elizabeth, H., Jackson, K., Dick, J.: Requirements Engineering. Springer, New York (2005)
Li, M., Liu, S.: Automated functional scenario-based formal specification animation. In: 19th Asia-Pacific Software Engineering Conference, pp. 107–115. IEEE CS Press (2012)
Gotel, O.C.Z., Finkelstein, A.C.W.: An analysis of the requirements traceability problem. In: Proceedings of the IEEE First International Conference on Requirements Engineering, pp. 94–101 (1994)
Letelier, P.: A framework for requirements traceability in uml-based projects. In: 1st International Workshop on Traceability in Emerging Forms of Software Engineering (2002)
Balasubramaniam, R.: Factors influencing requirements traceability practice. Commun. ACM 41(12), 37–44 (1998)
Corriveau, J.-P.: Traceability process for large OO projects. Computer 29 63–68 (1996)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Zhang, J., Liu, S. (2015). Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications. In: Liu, S., Duan, Z. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2014. Lecture Notes in Computer Science(), vol 8979. Springer, Cham. https://doi.org/10.1007/978-3-319-17404-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-17404-4_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-17403-7
Online ISBN: 978-3-319-17404-4
eBook Packages: Computer ScienceComputer Science (R0)