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...
Guardado en:
| 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: | |
| Acceso en línea: | http://ri.itba.edu.ar/handle/123456789/1044 |
| Aporte de: |
Ejemplares similares
-
DynAlloy analyzer: a tool for the specification and analysis of Alloy models with dynamic behaviour
por: Regis, Germán, et al.
Publicado: (2019) -
Reuso orientado a servicios: compatibilidad y complejidad de servicios
por: Flores, Andrés P., et al.
Publicado: (2017) -
Reuso orientado a servicios: selección y testing de servicios
por: Flores, Andrés P., et al.
Publicado: (2016) -
Verificación utilizando Dynamite de la corrección del modelo Chord
por: Dantur, Juan Pablo, et al.
Publicado: (2019) -
Reuso de servicios basado en análisis de compatibilidad y complejidad
por: Flores, Andrés P., et al.
Publicado: (2019)