Skip to main content
SpringerLink
Log in

Automated Method for Software Integration Testing Based on UML Behavioral Models

  • Conference paper
Information and Software Technologies (ICIST 2013)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 403))

Included in the following conference series:

Abstract

Nowadays, testing is often considered more important than the code itself. Therefore, in order to test large and complex systems test automation methods are needed, which help evaluating whether the software is working properly. The main goal of the research is to improve effectiveness of integration testing by creating an automated method based on UML behavioral models. Test input data generation using symbolic execution was applied and it gave full structural coverage, which increased the quality of integration testing. Testing method allowed automating the testing process and increased the effectiveness of tests in comparison with other methods. Experiments showed that 96% of all mutations were successfully detected, and automated test data generation based on symbolic execution increased the detection of mutants by 6-19% in comparison to other model-based testing methods.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abdurazik, A., Offutt, J.: Using UML collaboration diagrams for static checking and test generation. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 383–395. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  2. Ali, S., Briand, L.C., Rehman, M.J.-U., Asghar, H., Iqbal, M.Z.Z., Nadeem, A.: A state-based approach to integration testing based on UML models. Inf. Softw. Technol. 49(11-12), 1087–1106 (2007)

    Article  Google Scholar 

  3. Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press (2008)

    Google Scholar 

  4. Barisas, D.: Automated method for software integration testing based on UML behavioral models. Dissertation, Kaunas University of Technology, p. 110 (2012)

    Google Scholar 

  5. Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: A subset of precise UML for model-based testing. In: Proceedings of the 3rd International Workshop on Advances in Model-Based Testing, pp. 95–104. ACM, London (2007)

    Chapter  Google Scholar 

  6. Briand, L.C., Labiche, Y.: A UML-Based Approach to System Testing. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 194–208. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  7. Briand, L.C., Penta, M.D., Labiche, Y.: Assessing and Improving State-Based Class Testing: A Series of Experiments. IEEE Trans. Softw. Eng. 30(11), 770–793 (2004)

    Article  Google Scholar 

  8. Chevalley, P., Th, P.: \#233, and venod-Fosse, Automated Generation of Statistical Test Cases from UML State Diagrams. In: Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development, pp. 205–214. IEEE Computer Society (2001)

    Google Scholar 

  9. Craig, R.D., Jaskiel, S.P.: Systematic software testing. Artech House (2002)

    Google Scholar 

  10. Fraikin, F., Leonhardt, T.: SeDiTeC-testing based on sequence diagrams. In: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, ASE 2002, pp. 261–266 (2002)

    Google Scholar 

  11. Gallagher, L., Offutt, J.: Automatically testing interacting software components. In: Proceedings of the 2006 International Workshop on Automation of Software Test, pp. 57–63. ACM, Shanghai (2006)

    Chapter  Google Scholar 

  12. Garousi, V., Briand, L.C., Labiche, Y.: Control Flow Analysis of UML 2.0 Sequence Diagrams. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 160–174. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  13. Hartmann, J., Imoberdorf, C., Meisinger, M.: UML-Based integration testing. In: Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 60–70. ACM, Portland (2000)

    Google Scholar 

  14. Kansomkeat, S., Rivepiboon, W.: Automated-generating test case using UML statechart diagrams. In: Proceedings of the 2003 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement Through Technology, pp. 296–300. South African Institute for Computer Scientists and Information Technologists (2003)

    Google Scholar 

  15. Kim, S.-K., Wildman, L., Duke, R.: A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems. In: Proceedings of the 2005 Australian Conference on Software Engineering, pp. 100–109. IEEE Computer Society (2005)

    Google Scholar 

  16. Kim, Y.G., Hong, H.S., Bae, D.H., Cha, S.D.: Test cases generation from UML state diagrams. IEE Proceedings - Software 146(4), 187–192 (1999)

    Article  Google Scholar 

  17. Li, B.-L., Li, Z.-S., Qing, L., Chen, Y.-H.: Test Case Automate Generation from UML Sequence Diagram and OCL Expression. In: Proceedings of the 2007 International Conference on Computational Intelligence and Security, pp. 1048–1052. IEEE Computer Society (2007)

    Google Scholar 

  18. Ma, Y.-S., Kwon, Y.-R., Offutt, J.: Inter-Class Mutation Operators for Java. In: Proceedings of the 13th International Symposium on Software Reliability Engineering, p. 352. IEEE Computer Society (2002)

    Google Scholar 

  19. McConnell, S.: Code complete, pp. 463–477. Microsoft Press (2004)

    Google Scholar 

  20. McMinn, P.: Search-based software test data generation: a survey: Research Articles. Softw. Test. Verif. Reliab. 14(2), 105–156 (2004)

    Article  Google Scholar 

  21. Offutt, J., Ma, Y.-S., Kwon, Y.-R.: The class-level mutants of MuJava. In: Proceedings of the 2006 International Workshop on Automation of Software Test, pp. 78–84. ACM, Shanghai (2006)

    Chapter  Google Scholar 

  22. Patton, R.: Software Testing. Sams (2000)

    Google Scholar 

  23. Samuel, P., Joseph, A.T.: Test Sequence Generation from UML Sequence Diagrams. In: Proceedings of the 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, pp. 879–887. IEEE Computer Society (2008)

    Google Scholar 

  24. Sokenou, D.: Generating Test Sequences from UML Sequence Diagrams and State Diagrams. GI Jahrestagung, 236–240 (2006)

    Google Scholar 

  25. Weiqun, Z.: Model-Based Software Component Testing: A UML-Based Approach, 891–899 (2007)

    Google Scholar 

  26. Wu, Y., Chen, M.-H., Offutt, J.: UML-Based Integration Testing for Component-Based Software. In: Erdogmus, H., Weng, T. (eds.) ICCBSS 2003. LNCS, vol. 2580, pp. 251–260. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering Department, Kaunas University of Technology, Studentų st. 50, LT−51368, Kaunas, Lithuania

    Dominykas Barisas, Eduardas Bareiša & Šarūnas Packevičius

Authors
  1. Dominykas Barisas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eduardas Bareiša
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Šarūnas Packevičius
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Kaunas University of Technology, Studentu g. 50-313a, 51368, Kaunas, Lithuania

    Tomas Skersys

  2. Centre of Information Systems Design Technologies, Kaunas University of Technology, Studentu st. 50-313a, 51368, Kaunas, Lithuania

    Rimantas Butleris

  3. Kaunas University of Technology, Studentu g. 50-309a, 51368, Kaunas, Lithuania

    Rita Butkiene

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barisas, D., Bareiša, E., Packevičius, Š. (2013). Automated Method for Software Integration Testing Based on UML Behavioral Models. In: Skersys, T., Butleris, R., Butkiene, R. (eds) Information and Software Technologies. ICIST 2013. Communications in Computer and Information Science, vol 403. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41947-8_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-41947-8_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-41946-1

  • Online ISBN: 978-3-642-41947-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation