Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (265kB) | Vista Previa |
Towards Compositional CLP-based Test Data Generation for Imperative Languages.
Cita
Albert Albiol, Elvira, Gomez Zamalloa, Miguel, Rojas Siles, Jose Miguel and Puebla Sánchez, Alvaro Germán
(2010).
Towards Compositional CLP-based Test Data Generation for Imperative Languages..
En: "20th international conference on Logic-based program synthesis and transformation LOPSTR'10", 23/07/2010 - 25/07/2010, Hagenberg, Austria. ISBN 978-3-642-20550-7.
Descripción
| Título: | Towards Compositional CLP-based Test Data Generation for Imperative Languages. |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | 20th international conference on Logic-based program synthesis and transformation LOPSTR'10 |
| Fechas del Evento: | 23/07/2010 - 25/07/2010 |
| Lugar del Evento: | Hagenberg, Austria |
| Título del Libro: | Proceedings of 20th international conference on Logic-based program synthesis and transformation LOPSTR'10 |
| Fecha: | 2010 |
| ISBN: | 978-3-642-20550-7 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Lenguajes y Sistemas Informáticos e Ingeniería del Software |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
Test data generation (TDG) is the process of automatically generating test-cases for interesting test coverage criteria. The coverage criteria measure how well the program is exercised by a test suite. Examples of coverage criteria are: statement coverage which requires that each line of the code is executed; path coverage which
Más información
| ID de Registro: | 9133 |
|---|---|
| Identificador DC: | https://oa.upm.es/9133/ |
| Identificador OAI: | oai:oa.upm.es:9133 |
| Depositado por: | Memoria Investigacion |
| Depositado el: | 15 Nov 2011 09:16 |
| Ultima Modificación: | 20 Abr 2016 17:40 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
