Skip to main content
SpringerLink
Log in

Generating and evaluating effectiveness of test sequences using state machine

  • Original Article
  • Published:
International Journal of System Assurance Engineering and Management Aims and scope Submit manuscript

Abstract

The aim of this paper is to generate test sequences for object-oriented software with composite states using state machines. This experimental work in software testing focuses on generating test sequences using the proposed algorithm called SMTSG (State Machine to Test Sequence Generation). This work also describes the effectiveness of test sequences by using mutation analysis. Our approach considers nine types of state faults for checking the efficiency of the generated test sequences. The effectiveness of the prioritized test sequences is shown using Average Percentage Fault Detection (APFD) metric. The experimental results show that the test sequences generated using our proposed approach are more efficient than the existing approaches.

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

Similar content being viewed by others

Notes

  1. http://whatis.techtarget.com/.

  2. http://www.w3.org/XML/.

  3. http://www.uml-diagrams.org/bank-atm-UML-state-machine-diagram-example.html.

References

  • Abdurazik A, Offutt J (2000) Using UML collaboration diagrams for static checking and test generation. In: 3rd International conference on the unified modeling language: advancing the standard. Springer-Verlag, Berlin, pp 383–395

    Google Scholar 

  • Ammar HH, Yacoub SM, Ibrahim A (2001) A fault model for fault injection analysis of dynamic UML specifications. In: 12th IEEE international symposium on software reliability engineering, pp 383–395

  • Bernhard AK, Brandl H, Elisabeth J, Willibald K, Rupert S, Stefan T (2014) Killing strategies for model-based mutation testing. Softw Test Verif Reliab 24(4):1–32

    Google Scholar 

  • Chen M, Mishra P, Kalita D (2008) Coverage-driven automatic test generation for UML activity diagrams. In: 18th ACM great lakes symposium on VLSI, ACM, pp 139–142

  • Elbaum S, Malishevsky AG, Rothermel G (2002) Test case prioritization: a family of empirical studies. IEEE Trans Softw Eng 28(2):159–182

    Article  Google Scholar 

  • Flake S, Muller W (2003) Formal semantics of static and temporal state-oriented OCL constraints. Softw Syst Model 2(3):164–186

    Article  Google Scholar 

  • Gerhard GH (2005) Component-based software testing with UML. Springer, Berlin

    MATH  Google Scholar 

  • Gnesi S, Latella D, Massink M (2004) Formal test-case generation for UML statecharts. In: 9th IEEE international conference on engineering complex computer systems, pp 75–84

  • Gupta A, Jalote P (2008) An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing. Int J Softw Tools Technol Transfer 10(2):145–160

    Article  Google Scholar 

  • Jorgensen PC (2008) Software testing: a Craftsman’s approach. Auerbach Publication, Boca Raton

    MATH  Google Scholar 

  • Kalaji A, Hierons RM, Swift S (2009) A search-based approach for automatic test generation from extended finite state machine (EFSM). In: IEEE testing: academic and industrial conference-practice and research techniques, pp 131–132

  • Kim SW, Clark J, McDermid JA (2001) Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw Test Verifi Reliab 11(4):207–225

    Article  Google Scholar 

  • Kim H, Kang S, Baik J, Ko I (2007) Test cases generation from UML activity diagrams. In: 8th IEEE ACIS international conference on software engineering, artificial intelligence, networking, and parallel/distributed computing, pp 556–561

  • Latella D, Massink M (2001) A formal testing framework for UML statechart diagrams behaviours from theory to automatic verification. In: 6th IEEE international symposium on high assurance systems engineering, pp 11–22

  • Pandey AK, Shrivastava V (2011) Early fault detection model using integrated and cost-effective test case prioritization. Int J Syst Assur Eng Manag 2(1):41–47

    Article  Google Scholar 

  • Punuganti SBA, Pattanaik PK, Prasad S, Mall R (2007) Model-based mutation testing of object-oriented programs. IT Bus Intell 49(2):1–9

    Google Scholar 

  • Rothermel G, Untch RH, Chu C, Harrold MJ (2001) Prioritizing test cases for regression testing. IEEE Trans Softw Eng 27(10):929–948

    Article  Google Scholar 

  • Shirole M, Kumar R (2013) UML behavioral model based test case generation: a survey. ACM SIGSOFT Softw Eng Notes 38(4):1–13

    Article  Google Scholar 

  • Srivastava PR (2003) Putting your best tests forward. Softw Eng Best Practi IEEE 20(5):74–77

    Google Scholar 

  • Srivastava PR (2008) Test case prioritization. J Theor Appl Inf Technol 4(3):178–181

    Google Scholar 

  • Swain SK, Mohapatra DP, Mall R (2010) Test case generation based on state and activity models. J Object Technol 9(5):1–27

    Article  Google Scholar 

  • Usman F Peng LC (2008) Mutation analysis for the evaluation of AD models. In: international conference on computational intelligence for modelling control & automation, IEEE computer society, pp 296–301

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, National Institute of Technology, Rourkela, India

    Vikas Panthi & Durga Prasad Mohapatra

Authors
  1. Vikas Panthi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Durga Prasad Mohapatra
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vikas Panthi.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Panthi, V., Mohapatra, D.P. Generating and evaluating effectiveness of test sequences using state machine. Int J Syst Assur Eng Manag 8, 242–252 (2017). https://doi.org/10.1007/s13198-016-0419-1

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13198-016-0419-1

Keywords

Search

Navigation