Abstract
Integration testing of programs based on formal specifications can benefit considerably from the comprehensibility of specifications. In this paper, we describe an approach to testing programs based on data-flow-oriented specifications by analyzing data flow paths and discussing criteria for test case generation. This approach suggests a specific way to generate test cases directly from formalized data flow diagrams and the associated textual specifications. We apply the approach in a case study of testing part of an ATM system to evaluate its effectiveness in fault detection and to uncover its weakness for further improvement.
This work is supported by the Ministry of Education, Culture, Sports, Science and Technology of Japan under Grant-in-Aid for Scientific Research on Priority Areas (No.16016279).
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
McDermid, J. (ed.): Software Engineering’s Reference Book. Butterworth-Heinemann Ltd., Linacre House, Jordan Hill, Oxford OX2 8DP (1991)
Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering, 2nd edn. Prentice Hall, Englewood Cliffs (2002)
Hoffman, D.M., Strooper, P.: Automated module testing in prolog. IEEE Transactions on Software Engineering 17, 934–943 (1991)
Chang, J., Richardson, D.J., Sankar, S.: Structural speicifcation-based testing with ADL. In: Proceedings of the 1996 International Symposium on Software Testing and Analysis (1996)
Stocks, P., Carrington, D.: A framework for specification-based testing. IEEE Transactions on Software Engineering 22, 777–793 (1996)
Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Computing Surveys (CSUR ) 29, 366–427 (1997)
Stocks, P.: Applying Formal Methods to Software Testing. PhD thesis, the Department of Computer Science, the University of Queensland (1993)
Offutt, J., Liu, S.: Generating Test Data from SOFL Specifications. Journal of Systems and Software 49, 49–62 (1999)
Chow, T.: Testing software designs modeled by finite-state machines. IEEE Transactions on Software Engineering 4, 178–187 (1978)
Fujiwara, S., Bochman, G., Khendek, F., Amalou, M., Ghedasmi, A.: Test selection based on finite state models. IEEE Transactions on Softare Engineering 17, 591–603 (1991)
Turner, C.D., Robson, D.J.: The state-based testing of object-oriented programs. In: Proceedings of the 1993 IEEE Conference on Software Maintenance (CSM 1993), Montreal, Quebec, Canada (1993)
Gargantini, A., Riccobene, E.: ASM-based testing: Coverage criteria and automatic test sequence generation. Journal of Universal Computer Science (2001)
Offutt, J., Liu, S., Abdurazik, A., Ammann, P.: Generating test data from state-based specifications. Software Testing, Verification and Reliability 13, 25–53 (2003)
Liu, S., Offutt, A.J., Ho-Stuart, C., Sun, Y., Ohba, M.: a formal engineering methodology for industrial applications. IEEE Transactions on Software Engineering 24, 337–344 (1998); Special Issue on Formal Methods
Liu, S.: Formal Engineering for Industrial Software Development using the SOFL Method. Springer, Heidelberg (2004)
Liu, S.: A case study of modeling an ATM using SOFL. Technical report HCIS-2003-01 Faculty of Computer and Information Sciences, Hosei University, Tokyo, Japan (2003), http://cis.k.hosei.ac.jp/tr/
Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)
Jorgensen, C.P.: Software Testing: A Craftsman’s Approach. second edn. CRC Press LLC, 2000 NW Corporate Boulevard, Boca Raton, Florida 33431, USA (2002)
Beizer, B.: Black-Box Testing. Wiley, Chichester (1995)
Broy, M., Stolen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)
Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 416–429. Springer, Heidelberg (1999)
Basanieri, F., et al.: An automated test strategy based on UML diagrams. In: Ericsson Rational User Conference, Upplands Vasby Sweden (2001)
Basanieri, F., Bertolino, A., Marchetti, E.: The cow_Suite approach to planning and deriving test suites in UML projects. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 383–397. Springer, Heidelberg (2002)
Rudram, C.: O poGenerating test cases from UML (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, Y., Liu, S., Nagoya, F. (2005). An Approach to Integration Testing Based on Data Flow Specifications. In: Liu, Z., Araki, K. (eds) Theoretical Aspects of Computing - ICTAC 2004. ICTAC 2004. Lecture Notes in Computer Science, vol 3407. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31862-0_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-31862-0_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25304-4
Online ISBN: 978-3-540-31862-0
eBook Packages: Computer ScienceComputer Science (R0)