Abstract
It is well recognized that formal specification-based testing is a promising technique for software quality assurance. However, the application of this basic principle in integration testing is still facing the major challenge that most formal specification can precisely define the expected functions on system operations but fall short of offering a rigorous and intuitive representation of the system architecture that specifies the relations between the system operations, which leads to the difficulty in effective test data generation and test result analysis. In this paper we propose an integration testing approach based on the CDFDs (Condition Data Flow Diagram) of the SOFL (Structured Object-Oriented Formal Language) formal specification as a solution. Data flow paths are derived from the CDFDs. Test cases are then generated from the textual formal functional scenarios that precisely specify the expected functions on the system operations associated to the paths. The approach is described in detail by a running example. A case study is presented to demonstrate the feasibility and effectiveness of this approach.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bernot, G., Gaudel, M., Marre, B.: Software Testing based on Formal Specifications: A Theory and a Tool. Software Engineering Journal 6(6), 387–405 (1991)
El-Far, I.K., Whittaker, J.A.: Model-based Software Testing. Wiley (2001)
Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International (UK) Ltd. (1998)
Abrial, J.-R.: The B-Book. Cambridge University Press (1996)
Jones, C.: Systematic Software Development Using VDM, 2nd edn. Prentice Hall (1990)
Li, Z., Maibaum, T.: An Approach to Integration Testing of Object-Oriented Programs. In: Seventh Int’l Conf. on Quality Software, pp. 268–273 (October 2007)
Kansomkeat, S., Offutt, J., Abdurazik, A., Baldini, A.: A Comparative Evaluation of Tests Generated from Different UML Diagrams. In: Ninth ACIS Int’l Conf. on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, pp. 867–872 (August 2008)
Liu, S., Offutt, A.J., Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: A Formal Engineering Methodology for Industrial Applications. IEEE Transactions on Software Engineering (1), 24–45 (1998)
Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer (2004)
Liu, S., Tamai, T., Nakajima, S.: A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. International Journal of Software Engineering and Knowledge Engineering 21(2), 259–288 (2011)
Samuel, P., Joseph, A.: Test Sequence Generation from UML Sequence Diagrams. In: Ninth ACIS Int’l Conf. on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, SNPD 2008, pp. 879–887 (August 2008)
Bandyopadhyay, A., Ghosh, S.: Test Input Generation Using UML Sequence and State Machines Models. In: Int’l Conf. on Software Testing Verification and Validation, ICST 2009, pp. 121–130 (April 2009)
Kansomkeat, S., Rivepiboon, W.: Automated-Generating Test Case using UML Statechart Diagrams. In: 2003 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology, SAICSIT 2003, pp. 296–300. South African Institute for Computer Scientists and Information Technologists (2003)
Castro, L.M., Francisco, M.A., Gulías, V.M.: A Practical Methodology for Integration Testing. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds.) EUROCAST 2009. LNCS, vol. 5717, pp. 881–888. Springer, Heidelberg (2009)
Liu, S.: Utilizing Formalization to Test Programs without Available Source Code. In: The Eighth Int’l Conf. on Quality Software, QSIC 2008, pp. 216–221 (August 2008)
Chen, Y., Liu, S., Nagoya, F.: An Approach to Integration Testing Based on Data Flow Specifications. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 235–249. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miao, W., Liu, S. (2013). A Formal Specification-Based Integration Testing Approach. In: Liu, S. (eds) Structured Object-Oriented Formal Language and Method. SOFL 2012. Lecture Notes in Computer Science, vol 7787. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39277-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-39277-1_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39276-4
Online ISBN: 978-3-642-39277-1
eBook Packages: Computer ScienceComputer Science (R0)