Muta-Pro: Towards the definition of a mutation testing process

Vincenzi, Auri Marcelo Rizzo; Simão, Adenilso da Silva; Delamaro, Márcio Eduardo; Maldonado, José Carlos

doi:10.1007/bf03192394

Cited by 15 publications

(12 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Moreover, Wodel has further facilities to combine mutation operators and discard malformed or duplicated mutants. In the area of mutationbased testing, Muta-Pro [12] uses techniques to detect equivalent mutants, whereas we use model comparison.…”

Section: Related Researchmentioning

confidence: 99%

Wodel

Gómez‐Abajo

Guerra

Lara

2016

Proceedings of the 31st Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

Esta es la versión de autor de la comunicación de congreso publicada en: This is an author produced version of a paper published in: A model mutant is a variation of an original model, created by specific model mutation operations. Model mutation has many applications, for instance, in the areas of model transformation testing, model-based testing or education.In this paper, we present a domain-specific language, called Wodel, for the specification and generation of model mutants. Wodel is domain-independent, as it can be used to generate mutants of models conforming to arbitrary metamodels. Its development environment is extensible, permitting the incorporation of post-processors for different applications. As an example, we show an application consisting on the automated generation of exercises for particular domains (automata, class diagrams, electronic circuits, etc.).

show abstract

Section: Related Researchmentioning

confidence: 99%

Wodel

Gómez‐Abajo

Guerra

Lara

2016

Proceedings of the 31st Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

show abstract

“…Basic requirements for developing mutation testing tool based on [28] [30][31][32][33][34] is considered here for analysis. Based on literature available we have considered most of the essential requirements of mutation based testing tools for AspectJ programs.…”

Section: Literature Review On Mutation Testing For Aopmentioning

confidence: 99%

A systematic review on fault based mutation testing techniques and tools for Aspect-J programs

Singh

Sangwan

Sharma³

2013

2013 3rd IEEE International Advance Computing Conference (IACC)

View full text Add to dashboard Cite

Mutation technique in software testing is considered as the most fascinating way to validate the software under analysis. In last decade, many researchers developed various techniques and tools to apply mutation testing for Aspect Oriented Programs. In this paper, authors surveyed several mutation testing techniques based approaches available to test the aspect oriented programs. Along with mutation testing techniques, various AOP testing tools have also been considered and analyzed based on essential requirements need to fill by these tools, discussed by several researchers. This paper analyzed the research work on mutation testing techniques and mutation tools for aspect oriented programs. Paper considered different parameters on which the analysis of mutation testing techniques and tool is carried out. In addition of few other parameters considered for evaluation, some of the resultant metrics may vary slightly under modification in basic requirements. Based on the numeric value calculated, it is finally suggested, which mutation tool may be much better and under what circumstances.

show abstract

“…Recently, Vincenzi et al [23] proposed the Muta-Pro process to support mutation-based testing. It aims at synergically integrating several approaches to reduce the high cost of mutant execution and analysis tasks.…”

Section: Background and Related Workmentioning

confidence: 99%

“…The tool was planned to address some limitations of previous tools with the same intent [8,10]. Its development was guided by a reference architecture for software testing tools [22] and by a set of requirements mostly identified from previous research on test automation [11,16,23]. The reference architecture established the main modules that compose the tool.…”

Section: Final Remarksmentioning

confidence: 99%

Automating the mutation testing of aspect-oriented Java programs

Ferrari

Nakagawa

Rashid

et al. 2010

Proceedings of the 5th Workshop on Automation of Software Test

View full text Add to dashboard Cite

Aspect-Oriented Programming has introduced new types of software faults that may be systematically tackled with mutation testing. However, such testing approach requires adequate tooling support in order to be properly performed. This paper addresses this issue, introducing a novel tool named Proteum/AJ . Proteum/AJ realises a set of requirements for mutation-based testing tools and overcomes some limitations identified in previous tools for aspect-oriented programs. Through an example, we show how Proteum/AJ was designed to support the main steps of mutation testing. This preliminary use of the tool in a full test cycle provided evidences of the feasibility of using it in real software development processes and helped us to reason about the current functionalities and to identify future needs.

show abstract

Muta-Pro: Towards the definition of a mutation testing process

Abstract: Abstract

Cited by 15 publications

References 35 publications

Wodel

Wodel

A systematic review on fault based mutation testing techniques and tools for Aspect-J programs

Automating the mutation testing of aspect-oriented Java programs

Contact Info

Product

Resources

About