Integration of formal specification, review, and testing for software component quality assurance

ABSTRACT

The reliability of software components is the most important quality required for software systems constructed using component-based development paradigm. This paper describes an approach to integrating formal specification, review, and testing for software component quality assurance. In this approach, requirements errors can be removed and missing requirements can be identified by formalizing requirements into a formal specification, and the resulting specification can then be used as a firm foundation for a rigorous review and testing of the program that is intended to provide a correct implementation. We discuss how formalization, review, and testing work together at different levels of software development for improving software quality through detecting and removing errors in documentation.

REFERENCES

• 1: Paul Allen , Stuart Frost, Component-based development for enterprise systems: applying the SELECT perspective, Cambridge University Press, New York, NY, 1998
• 2: Hans-Gerhard Gross, Component-based Software Testing With Uml, SpringerVerlag, 2004
• 3: Cliff B. Jones, Systematic software development using VDM (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
• 4: Jim Woodcock , Jim Davies, Using Z: specification, refinement, and proof, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
• 5: J.-R. Abrial, The B-book: assigning programs to meanings, Cambridge University Press, New York, NY, 1996
• 6: S. Sahara. An Experience of Applying Formal Method on a Large Business Application (in Japanese). In Proceedings of 2004 Symposium of Science and Technology on System Verification, pages 93--100, Osaka, Japan, Feb. 4--6 2004. National Institute of Advanced Industrial Science and Technology (AIST).
• 7: A. Hall. Realizing the Benefits of Formal Methods. In Proceedings of 7th International Conference on Formal Engineering Methods, pages 1--4. LNCS 3785, Springer-Verlag, November 1--4, 2005.
• 8: IEEE. 1028--1997 IEEE Standard for Software Reviews. IEEE Computer Society, 1997.
• 9: David A. Wheeler , Bill Brykczynski , Reginald N. Meeson, Jr., Software Inspection: An Industry Best Practice for Defect Detection and Removal, IEEE Computer Society Press, Los Alamitos, CA, 1996
• 10: M. B. Menachem and G. S. Marliss. Software Quality: Producing Practical, Consistent Software. International Thomson Computer Press, 1997.
• 11: K.-K. Lau , S. Liu , M. Ornaghi , A. Wills, Interacting Frameworks in Catalysis, Proceedings of the Second IEEE International Conference on Formal Engineering Methods, p.110, December 09-11, 1998
• 12: The VDM-SL Tool Group. Users Manual for the IFAD VDM-SL tools. The Institute of Applied Computer Science, February 1994.
• 13: Alan W. Brown, Large-Scale, Component Based Development, Prentice Hall PTR, Upper Saddle River, NJ, 2000
• 14: S. Liu, F. Nagoya, Y. Chen, M. Goya, and J. A. McDermid. An Automated Approach to Specification-Based Program Inspection. In K. K. Lau and R. Banach, editors, Proceedings of 7th International Conference on Formal Engineering Methods (ICFEM2005), pages 421--434, Manchester, UK, 1--4 Nov. 2005. LNCS 3785, Springer-Verlag.
• 15: Gilles Bernot , Marie Claude Gaudel , Bruno Marre, Software testing based on formal specifications: a theory and a tool, Software Engineering Journal, v.6 n.6, p.387-405, Nov. 1991
• 16: Phil Stocks , David Carrington, A Framework for Specification-Based Testing, IEEE Transactions on Software Engineering, v.22 n.11, p.777-793, November 1996 [doi>10.1109/32.553698]
• 17: A. Jefferson Offut , Shaoying Liu, Generating test data from SOFL specifications, Journal of Systems and Software, v.49 n.1, p.49-62, Dec. 15, 1999 [doi>10.1016/S0164-1212(99)00066-7]
• 18: David Lorge Parnas , Jan Madey , Michal Iglewski, Precise Documentation of Well-Structured Programs, IEEE Transactions on Software Engineering, v.20 n.12, p.948-976, December 1994 [doi>10.1109/32.368133]