Skip to main content
SpringerLink
Log in

MCCFG: an MOF-based multiple condition control flow graph for automatic test case generation

  • Published:
Cluster Computing Aims and scope Submit manuscript

Abstract

Requirement-based testing (RBT) is widely known for the efficient testing in the limited resources. However RBT is difficult to generate automatic test cases; thus it needs complex methods. This paper suggests our automatic test case generation for all coverage (statement, condition, decision, condition/decision, modified condition/decision, and multiple condition coverage) based on the model-based testing. To do this, we extend the original control flow graph with multiple conditions for all condition related coverage, which is called multiple conditions control flow graph, and adapt a model transformation using metamodel mechanism for test case generation. As a result, our proposed method successfully applies to the prior test requirement.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12

Similar content being viewed by others

References

  1. Kim, H.N., Park, S.M., Kim, D.H.: Current technology trends in embedded software. Commun. Korean Inst. Inform. Sci. Eng. 24(8), 5–11 (2006)

    Google Scholar 

  2. Jung, H.J.: The analysis of data on the basis of software test data. J. Digit. Converg. 13(10), 1–7 (2015)

    Article  Google Scholar 

  3. Kwon, W.I.: The necessity of testing software for software quality improvement. FKII Digit. 365, 66–69 (2008)

  4. Burnstein, I.: Parctical Software Testing. Springer, New York (2003)

    MATH  Google Scholar 

  5. Beizer, B.I.: Software Testing Techniques. Dreamtech Press, New Delhi (2002)

    MATH  Google Scholar 

  6. Kwon, W.I., Park, C.E.Y., Lee, H.J., Cho, H.I.: Practical Software Testing Foundation. Software Testing Alliances (2008)

  7. Amland, S.: Risk-based testing: risk analysis fundamentals and metrics for software testing including a financial application case study. J. Syst. Softw. 53, 287–295 (2000)

    Article  Google Scholar 

  8. Pezze, M., Young, M.: Software Testing and Analysis: Process, Principles, and Techniques. Wiley, New York (2008)

    MATH  Google Scholar 

  9. OMG, MOF 2.0/XMI Mapping, v2.1.1, OMG Available Specification (2007)

  10. Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: eclipse modeling framework. Addison-Wesley, Reading (2008)

    Google Scholar 

  11. Muchnick, S.: Advanced Compiler Design and Implementation, 1st edn. Morgan Kaufmann, San Francisco (1997)

    Google Scholar 

  12. Chilenski, J.J., Miller, S.P.: Applicability of modified condition/decision coverage to software testing. Softw. Eng. J. 9, 193–200 (1994)

    Article  Google Scholar 

  13. Yang, Q., Li, J.J., Weiss, D.M.: A survey of coverage-based testing tools. Comput. J. 52(5), 589–597 (2009)

    Article  Google Scholar 

  14. Rountev, A., Kagan, S., Sawin, J.: Coverage criteria for testing of object interactions in sequence diagrams. In: Proceedings of Conference on Fundamental Approaches to Software Engineering, pp. 289–304 (2005)

  15. Cardoso, J., Sibertin-Blanc, C.: Ordering actions in sequence diagrams of UML. In: Proceedings of International Conference on Information Technology Interfaces, pp. 3–14 (2001)

  16. Garousi, V., Briand, L.C., Labiche, Y.: Control flow analysis of UML 2.0 sequence diagrams. ECMDA-FA 2005. LNCS, vol. 3748, pp. 160–174 (2005)

  17. OMG, Unified Modeling Language Superstructure Version 2.4, ptc/2010-11-14

Download references

Acknowledgements

This research was supported by the Human Resource Training Program for Regional Innovation and Creativity through the Ministry of Education and National Research Foundation of Korea (NRF-2015H1C1A1035548).

Author information

Authors and Affiliations

  1. Department of Computer and Information Communication, Hongik University, Sejong, 30016, Korea

    Hyun Seung Son & R. Young Chul Kim

  2. Department of Computer Science and Engineering, Dankook University, Yongin, 16890, Korea

    Young B. Park

Authors
  1. Hyun Seung Son
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Young B. Park
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. R. Young Chul Kim
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to R. Young Chul Kim.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Son, H.S., Park, Y.B. & Kim, R.Y.C. MCCFG: an MOF-based multiple condition control flow graph for automatic test case generation. Cluster Comput 22 (Suppl 1), 2461–2470 (2019). https://doi.org/10.1007/s10586-016-0687-1

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10586-016-0687-1

Keywords

Search

Navigation