Elimination of Equivalent Mutant Problem Using MUJAVA

M.Naveen Kumar Reddy*, S.Munwar**, Srinivasulu Asadi***
* M.Tech Scholar, Department of Software Engineering, Sree Vidyanikethan Engineering College (Autonomous), Tirupati, India.
** Assistant Professor, Department of Information Technology, Sree Vidyanikethan Engineering College, (Autonomous), Tirupati, India
*** Associate Professor, Department of Information Technology, Sree Vidyanikethan Engineering College, (Autonomous), Tirupati, India
Periodicity:October - December'2014
DOI : https://doi.org/10.26634/jse.9.2.3326

Abstract

Mutation testing is a fault-based technique. Mutation testing is performed at the final stage of the software, that is, before the delivery of the software to the customer. Mutation testing is a technique which measures the adequacy of a test case by seeding artificial defects(mutants) into a program. If a test case fails to detect a mutant, it may also fail to detect real faults or defects. A mutation over the original program may not change the semantics of the program; hence it is hard to detect the changes by a test case. This problem should be got rid of. There also exists another type of mutants which keep the program semantics unchanged and thus cannot be detected by any test case, this issue must be considered by generating more number of mutants. To deal with this problem, the authors introduce MUJAVA, by applying various mutations. MUJAVA supports two level mutant operators (Traditional mutation operators and class level mutation operators). For evaluating the effectiveness of the proposed methodology open source system will be considered and experiments will be implemented using MUJAVA testing tool.

Keywords

Mutation Testing, Traditional Mutation Operators, Equivalent Mutant.

How to Cite this Article?

Reddy,N,K.M., Munwar.S., and Srinivasulu.A. (2014). Elimination of Equivalent Mutant Problem Using MUJAVA. i-manager’s Journal on Software Engineering,9(2),36-42. https://doi.org/10.26634/jse.9.2.3326

References

[1]. Lech Madeyski, Wojciech Orzeszyna, Member, Richard Torkar, and MariuszJozaia, (2014). "Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation," in IEEE Transaction.
[2]. Shikha Singh, Swati Jain, (2013). "A study on equivalent mutants detecting techniques", VSRD International Journal of Computer Science & Information Technology, Vol, 3(5).
[3]. AL. Madeoyski ond N. Radyk, (2010). "Judy-A Mutation Testing Tool for Java," IET Software, Vol 4(I), pp,32-42.
[4]. AL. M. Polo, M. Piottini, and I. Garcia-Rodriguez, (2009). "Decreasing the Cost of Mutation Testing with Second-Order Mutants," Software Testing, Verification and Reliability Vol. 19, pp. 111-131.
[5]. M. Babar and H. Zhang, (2009). "Systematic Literature Reviews in Software Engineering: Preliminary Results from Interviews with Researchers," Proc. Third Int'l Symp. Empirical Software Eng. and Measurement (ESEM), pp.346-355.
[6]. D. Baldwin and F.G. Sayward, (1979). Heuristics for Determining Equivalence of Program Mutations. Yale Univ.
[7]. P. Brereton, B.A. Kitchenham, D. Budgen, M. Tumer, and M. Khalil, (2007). "Lessons from Applying the Systematic Literature Review Process within the Software Engineering Domain," J. Systems and Software, Vol, 80(4), pp,571-583.
[8]. T.A. Budd and D. Angluin, (1982). "Two Notions of Correctness and Their Relation to Testing," Acta Informatica, Vol. 18, pp.31-45.
[9]. T.A. Budd, R.A. DeMillo, R.J. Lipton, and F.G . Soyword, (1978). "The Design of a Prototype Mutation System for Program Testing," Proc. AFIPS Nat’l Computer Conf., pp.623-627.
[10]. T.D. Cook and D.T. Campbell, (1979). Quasi- Experimentation.' Design and Analysis Issues for Field Settings. HoughtonMifflin,
[11]. M.E. Delamaro and J.C. Maldonado, (1996). "Proteum -A Tool for the Assessment of Test Adequacy for C Programs," Proc. Conf. Performability In Computing Systems(PCS'96), pp.79-95.
[12]. R. DeMillo, R. Lipton, and F. Sayward, (1978). "Hints on Test Data Selection: Help for the Practicing Programmer," Computer, Vol. 11(4), pp.34-41 .
[13]. A. Derezi_nska and A. Szustek, "CREAM - a System for Object-Oriented Mutation of C# Programs," Annals Gda_nsk University of Technology Faculty ETI, No,5, Information Technologies.
[14]. A. Dorozi_nsko and A. Szustok, (2008). "Tool- Supported Advanced Mutation Approach for Verification of C # Programs," Proc. Int’l Conf. Dependability of Computer Systems (DepCos-RELCOMEX '08), pp.261- 268.
[15]. L. du Bousquet and M. Delaunay, (2008). "Towards Mutation Analysis for Lustre Programs," Electronic Notes in Theoretical Computer Science, Vol.203,(4), pp.35-48
[16]. S. Eldh, S. Punnekkat, H. Hansson, and P. Jonsson, (2007). "Component Testing is Not Enough-A Study of Software Faults in Telecom Middleware," Proc. 19th IFIP TC6/WG6.1 Int'l Conf., and Seventh Int'l Conf. Testing of Software and Comm. Systems, pp.74-89, http://dx.doi.org/I0.1007/ 978-3-540-73066-8-6.
If you have access to this article please login to view the article or kindly login to purchase the article

Purchase Instant Access

Single Article

North Americas,UK,
Middle East,Europe
India Rest of world
USD EUR INR USD-ROW
Pdf 35 35 200 20
Online 35 35 200 15
Pdf & Online 35 35 400 25

Options for accessing this content:
  • If you would like institutional access to this content, please recommend the title to your librarian.
    Library Recommendation Form
  • If you already have i-manager's user account: Login above and proceed to purchase the article.
  • New Users: Please register, then proceed to purchase the article.