Improving State Invariant Test Oracle Strategy using Mutation Analysis

  IJCTT-book-cover
 
International Journal of Computer Trends and Technology (IJCTT)          
 
© 2018 by IJCTT Journal
Volume-61 Number-2
Year of Publication : 2018
Authors : M. Venkata Hari Prakash, Dr.A.Ananda Rao , Dr. P. Radhika Raju
DOI :  10.14445/22312803/IJCTT-V61P119

MLA

MLA Style: M. Venkata Hari Prakash, Dr.A.Ananda Rao , Dr. P. Radhika Raju "Improving State Invariant Test Oracle Strategy using Mutation Analysis" International Journal of Computer Trends and Technology 61.2 (2018):111-116.

APA Style:M. Venkata Hari Prakash, Dr.A.Ananda Rao , Dr. P. Radhika Raju (2018). Improving State Invariant Test Oracle Strategy using Mutation Analysis International Journal of Computer Trends and Technology, 61(2),111-116

Abstract
A model should be designed with some specification languages. Such specification languages are transformed from the customer requirements to testable requirements. In model-based testing, abstract tests are generated from the UML model. These abstracts tests are transformed into the concrete tests with test inputs and to check the outputs with test oracles. This research mainly focused on possibility of the failures and exhibits the failures. In this research, the state invariants of the model are identified. State invariants are detected from the state machine diagram. The test oracles are measured in two parameters: precision and frequency. The mutants are generated from the test data. The mutant’s reports are generated from the test case. In agile process, the test oracles are always not available because requirements are frequently changed. This research specifies generation of few adequate mappings, because instead of generating more inadequate mappings.The test cases are utilized to kill the generated mutants whenever the behaviour of the system changes.

Reference
[1] Aditya P. Mathur, Foundations of Software Testing, India, 2013.
[2] JUnit, https://junit.org/junit5/
[3] Selenium, https://www.seleniumhq.org/
[4] Object Constraint Language (OCL), https://www.omg.org/spec/OCL/About-OCL/
[5] Z Notation, https://cse.buffalo.edu/LRG/CSE705 /Papers/Z-Ref-Manual.pdf
[6] Maria Grammer, A study in Formal Specifications, Spring 2015.
[7] http://www.greggay.com/courses/spring16csce747/Lectures/Spring16-Lecture11TestOracles.pdf
[8] KamarajKanagaraj and ArvindChakrapani ,Strategies of Automated Test Oracle – A Survey, AENSI publication, 2017.
[9] ShadiG.Alawneh and Dennis K. Peters, specification-based test oracles with junit, 2010.
[10] http://www.greggay.com/courses/spring16csce747/Lectures/Spring16-Lecture11TestOracles.pdf
[11] Nan Li and Jeff Offutt, Test Oracle Strategies for Model-based Testing, IEEE transaction of software engineering, 2016.
[12] Christian Burghard, Model-based Testing of Measurement Devices Using a Domain-specific Modelling Language, thesis report, Graz University of Technology, 2018.
[13] Thierry TitcheuChekam, Selecting Fault Revealing Mutants, University of Luxembourg, 2018.
[14] P.Radhika Raju, Dr. A.Ananda Rao, Optimization of program invariants, ACM SIGSOFT Software Engineering Notess, Vol.39, Issue 1, January 2014.

Keywords
Coverage Criterion, Model-based Testing, State Invariants, Test Oracles, Test Oracle Strategy