Towards Compositional CLP-based Test Data Generation for Imperative Languages.

Albert Albiol, Elvira; Gomez Zamalloa, Miguel; Rojas Siles, Jose Miguel y 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:
  • Albert Albiol, Elvira
  • Gomez Zamalloa, Miguel
  • Rojas Siles, Jose Miguel
  • Puebla Sánchez, Alvaro Germán
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:
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

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (265kB) | Vista Previa

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: http://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
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM