Generación automática de casos de test para criterios de código avanzados

"El testing de software es una de las tecnologías más utilizadas en el análisis y valida-ción de sistemas. El mismo consiste en ejecutar el sistema desarrollado sobre inputs particulares, y verificar que los outputs producidos se correspondan con lo esperado. La generación automática de inputs...

Descripción completa

Detalles Bibliográficos
Autores principales:	Homovc, Federico, Pintos, Esteban, De Santi, Matías
Otros Autores:	Frías, Marcelo
Formato:	Proyecto final de Grado
Lenguaje:	Español
Publicado:	2018
Materias:	SOFTWARE VALIDACION DE SOFTWARE VERIFICACION DE SOFTWARE
Acceso en línea:	http://ri.itba.edu.ar/handle/123456789/1044
Aporte de:	Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA) de Instituto Tecnológico de Buenos Aires (ITBA)

id	I32-R138-123456789-1044
record_format	dspace
spelling	I32-R138-123456789-10442022-12-07T14:34:24Z Generación automática de casos de test para criterios de código avanzados Homovc, Federico Pintos, Esteban De Santi, Matías Frías, Marcelo SOFTWARE VALIDACION DE SOFTWARE VERIFICACION DE SOFTWARE "El testing de software es una de las tecnologías más utilizadas en el análisis y valida-ción de sistemas. El mismo consiste en ejecutar el sistema desarrollado sobre inputs particulares, y verificar que los outputs producidos se correspondan con lo esperado. La generación automática de inputs para testeo de software es un área de investigación y desarrollo muy activa, con conferencias de primer nivel que dedican sesiones a la misma (por ejemplo ICST –International Conference on Software Testing-, ICSE -International Conference on Software Engineering-, ASE –Automated Software Engineering-, lo hacen). En el marco del testeo de software existen diversos criterios de coberturas de código que sirven para determinar la calidad de un conjunto de inputs de testeo. Por ejemplo, la cobertura de sentencias requiere que cada sentencia del programa sea ejecutada al menos una vez por alg ́un test. La herramienta FAJITA permite al usuario elegir un criterio de cobertura y llevarlo a cabo. Actualmente FAJITA permite utilizar los criterios de cobertura de sentencias, de condiciones y de objetivos, pero existen otros que a ́un no son soportados. El objetivo de este proyecto es entonces extender el portfolio de criterios de cobertura ofrecidos por dicha herramienta." Proyecto final Ingeniería Informática (grado) - Instituto Tecnológico de Buenos Aires, Buenos Aires, 2014 2018-02-01T13:22:09Z 2018-02-01T13:22:09Z 2014 Proyecto final de Grado http://ri.itba.edu.ar/handle/123456789/1044 es application/pdf
institution	Instituto Tecnológico de Buenos Aires (ITBA)
institution_str	I-32
repository_str	R-138
collection	Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA)
language	Español
topic	SOFTWARE VALIDACION DE SOFTWARE VERIFICACION DE SOFTWARE
spellingShingle	SOFTWARE VALIDACION DE SOFTWARE VERIFICACION DE SOFTWARE Homovc, Federico Pintos, Esteban De Santi, Matías Generación automática de casos de test para criterios de código avanzados
topic_facet	SOFTWARE VALIDACION DE SOFTWARE VERIFICACION DE SOFTWARE
description	"El testing de software es una de las tecnologías más utilizadas en el análisis y valida-ción de sistemas. El mismo consiste en ejecutar el sistema desarrollado sobre inputs particulares, y verificar que los outputs producidos se correspondan con lo esperado. La generación automática de inputs para testeo de software es un área de investigación y desarrollo muy activa, con conferencias de primer nivel que dedican sesiones a la misma (por ejemplo ICST –International Conference on Software Testing-, ICSE -International Conference on Software Engineering-, ASE –Automated Software Engineering-, lo hacen). En el marco del testeo de software existen diversos criterios de coberturas de código que sirven para determinar la calidad de un conjunto de inputs de testeo. Por ejemplo, la cobertura de sentencias requiere que cada sentencia del programa sea ejecutada al menos una vez por alg ́un test. La herramienta FAJITA permite al usuario elegir un criterio de cobertura y llevarlo a cabo. Actualmente FAJITA permite utilizar los criterios de cobertura de sentencias, de condiciones y de objetivos, pero existen otros que a ́un no son soportados. El objetivo de este proyecto es entonces extender el portfolio de criterios de cobertura ofrecidos por dicha herramienta."
author2	Frías, Marcelo
author_facet	Frías, Marcelo Homovc, Federico Pintos, Esteban De Santi, Matías
format	Proyecto final de Grado
author	Homovc, Federico Pintos, Esteban De Santi, Matías
author_sort	Homovc, Federico
title	Generación automática de casos de test para criterios de código avanzados
title_short	Generación automática de casos de test para criterios de código avanzados
title_full	Generación automática de casos de test para criterios de código avanzados
title_fullStr	Generación automática de casos de test para criterios de código avanzados
title_full_unstemmed	Generación automática de casos de test para criterios de código avanzados
title_sort	generación automática de casos de test para criterios de código avanzados
publishDate	2018
url	http://ri.itba.edu.ar/handle/123456789/1044
work_keys_str_mv	AT homovcfederico generacionautomaticadecasosdetestparacriteriosdecodigoavanzados AT pintosesteban generacionautomaticadecasosdetestparacriteriosdecodigoavanzados AT desantimatias generacionautomaticadecasosdetestparacriteriosdecodigoavanzados
_version_	1765660893195010048

Generación automática de casos de test para criterios de código avanzados

Ejemplares similares