Loading...
Generación automática de casos de test para criterios de código avanzados
Homovc, Federico Pintos, Esteban De Santi, Matías
Homovc, Federico
Pintos, Esteban
De Santi, Matías
Type
Proyecto final de grado
Citations
Altmetric:
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."
Description
Date
2014
Journal Title
Journal ISSN
Volume Title
Publisher
Collections
Files
Loading...
Proyecto_Final_Homovc
Adobe PDF, 342.43 KB
Research Projects
Organizational Units
Journal Issue
Keywords
SOFTWARE, VALIDACION DE SOFTWARE, VERIFICACION DE SOFTWARE