Lenguajes formales y derivación automática de código de pruebas a partir de modelos de software con restricciones OCL
Qué testear es un tema siempre vigente. Con tal propósito, y en caso de querer derivar casos de prueba automáticamente desde un modelo de software, no contamos con la precisión necesaria en los mismos para generar los tests acordes a nuestros intereses. Lenguajes formales como OCL permiten enriquece...
Guardado en:
| Autor principal: | Rosenfeld, Ilan |
|---|---|
| Otros Autores: | Pons, Claudia |
| Formato: | Tesis Tesis de grado |
| Lenguaje: | Español |
| Publicado: |
2015
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/50096 |
| Aporte de: |
Ejemplares similares
-
Desarrollo de Software Dirigido por Modelos: conceptos, lenguajes y desafíos
por: Lazarte, Ivanna Maricruz
Publicado: (2016) -
Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
por: Dias Molina, María José, et al.
Publicado: (2011) -
Desarrollo de software dirigido por modelos : Conceptos teóricos y su aplicación práctica
por: Pons, Claudia, et al.
Publicado: (2010) -
Una herramienta de soporte al proceso de desarrollo dirigido por modelos (MDD)
por: Cuaderno, Lucas, et al.
Publicado: (2006) -
Métodos para el Desarrollo de Software Dirigido por modelos en el Contexto De BPM
por: Lazarte, Ivanna Maricruz, et al.
Publicado: (2017)