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

Homovc, Federico; Pintos, Esteban; De Santi, Matías

proyecto final de grado.page.titleprefix
Generación automática de casos de test para criterios de código avanzados

dc.contributor.advisor	Frías, Marcelo
dc.contributor.author	Homovc, Federico
dc.contributor.author	Pintos, Esteban
dc.contributor.author	De Santi, Matías
dc.date.accessioned	2018-02-01T13:22:09Z
dc.date.available	2018-02-01T13:22:09Z
dc.date.issued	2014
dc.description.abstract	"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."	es
dc.description.notes	Proyecto final Ingeniería Informática (grado) - Instituto Tecnológico de Buenos Aires, Buenos Aires, 2014	es
dc.identifier.uri	http://ri.itba.edu.ar/handle/123456789/1044
dc.language.iso	es	es
dc.subject	SOFTWARE	en
dc.subject	VALIDACION DE SOFTWARE	es
dc.subject	VERIFICACION DE SOFTWARE	es
dc.title	Generación automática de casos de test para criterios de código avanzados	es
dc.type	Proyecto final de Grado	es
dspace.entity.type	Proyecto final de Grado
itba.description.filiation	Fil: Homovc, Federico. Instituto Tecnológico de Buenos Aires; Argentina.
itba.description.filiation	Fil: Pintos, Esteban. Instituto Tecnológico de Buenos Aires; Argentina.
itba.description.filiation	Fil: De Santi, Matías. Instituto Tecnológico de Buenos Aires; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.