Un entorno de pruebas de mutación en Eclipse
Author
Mota Rabadán, RaquelAdvisor
Guerra Sánchez, EstherEntity
UAM. Departamento de Ingeniería InformáticaDate
2014-09Subjects
Soporte lógico - Desarrollo; Lenguajes de programación; InformáticaEsta obra está bajo una licencia de Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional.
Abstract
Una
técnica
para
medir
la
efectividad
de
un
conjunto
de
casos
de
prueba
y
ayudar
a
mejorarlo
son
las
pruebas
de
mutación.
En
las
pruebas
de
este
tipo,
se
insertan
fallos
en
un
programa
para
obtener
distintas
versiones
erróneas
del
mismo.
Al
error
introducido
en
el
programa
se
le
denomina
mutación
y
a
las
nuevas
versiones
del
programa
inicial
se
les
llama
mutantes,
y
se
utilizan
para
comprobar
si,
dado
un
conjunto
de
casos
de
prueba,
éste
es
capaz
de
detectar
los
fallos
introducidos
en
cada
mutante.
En
caso
de
no
detectarlos,
el
desarrollador
debe
proporcionar
nuevos
casos
de
prueba
que
detecten
los
mutantes
creados,
mejorando
de
este
modo
la
calidad
del
conjunto
de
casos
de
prueba
inicial.
El
objetivo
de
este
Trabajo
de
Fin
de
Grado
es
construir
una
herramienta
de
mutación
que
genere
de
forma
automática
mutantes
de
un
programa
escrito
en
el
lenguaje
ATL
(Atlas
Transformation
Language),
para
posteriormente
poder
medir
la
eficacia
del
conjunto
de
casos
de
prueba
diseñado
para
probar
el
programa.
ATL
es
un
lenguaje
de
programación
para
definir
transformaciones
de
modelos,
que
son
un
tipo
de
programa
software
cuyos
argumentos
de
entrada
y
salida
son
modelos.
Se
utilizan
dentro
del
paradigma
de
Desarrollo
Dirigido
por
Modelos,
que
es
un
método
de
desarrollo
de
software
en
el
que
los
datos
que
se
manejan
son
modelos.
Las
mutaciones
que
se
generan
y
describen
en
el
presente
trabajo
están
orientadas
a
este
tipo
de
software. Mutation
testing
is
a
technique
to
measure
the
efficacy
of
a
set
of
test
cases
and
help
to
improve
it.
On
this
kind
of
testing,
faults
are
injected
into
a
program
to
get
faulty
versions
of
it.
Errors
introduced
in
the
program
are
called
mutations
and
the
new
versions
of
the
original
program
are
called
mutants,
and
they
are
used
to
check
whether,
given
a
set
of
test
cases,
this
is
able
to
detect
the
faults
introduced
in
each
mutant.
If
they
are
not
detected,
the
developer
must
provide
new
test
cases
that
detect
the
created
mutants,
thus
improving
the
overall
quality
of
the
initial
test
set.
The
objective
of
this
Bachelor’s
Project
is
to
build
a
mutation
tool
to
generate
automatically
mutants
of
a
program
written
with
the
ATL
language
(Atlas
Transformation
Language),
and
measure
the
efficacy
of
a
set
of
test
cases
designed
for
testing
the
program.
ATL
is
a
programming
language
to
implement
model
transformations,
which
are
programs
whose
input
and
output
arguments
are
models.
They
are
used
in
the
context
of
Model
Driven
Development,
which
is
a
software
development
method
where
the
manipulated
data
are
models.
The
mutations
generated
and
described
on
this
work
are
oriented
to
this
kind
of
software.
Files in this item
Google Scholar:Mota Rabadán, Raquel
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0/
Related items
Showing items related by title, author, creator and subject.
-
HelpStack: Una herramienta de consulta integrada en el entorno de desarrollo Eclipse
Conejo Laguna, Juan
2020-03 -
Pruebas de mutación para Ruby
Díaz Moreno, Iván
2020-07 -
Un entorno de generación automática de modelos de prueba
Cornet Recchimuzzi, Juan Ignacio
2013