- -

Automated test case generation

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Automated test case generation

Mostrar el registro sencillo del ítem

Ficheros en el ítem

[Cerrado]
Nombre: Memoria.pdf
Tamaño: 3.816Mb
Formato: PDF
Solicitar una copia al autor
[Cerrado]
Nombre: Anexos.7z
Tamaño: 5.118Mb
Formato: application/x-7z-compressed
Solicitar una copia al autor
dc.contributor.advisor Ruiz García, Juan Carlos es_ES
dc.contributor.author Costa Martínez, Juan Roberto Da es_ES
dc.date.accessioned 2013-10-22T09:55:40Z
dc.date.available 2013-10-22T09:55:40Z
dc.date.created 2013-09-30
dc.date.issued 2013-10-22
dc.identifier.uri http://hdl.handle.net/10251/32991
dc.description.abstract Software testing is a hot topic in the software development industry as it demands a large investment of time and resources for creating and maintaining the test suite, and possibly for running it as well. One of the alternatives to manual test creation is modelbased testing, which revolves around the idea of automating the test generation process based on software models of the system under test. In the present thesis project, we will generate test cases based on models, assess their overall coverage and apply different minimisation techniques to obtain a reduced test set. We will also compare the impact of the various minimisations and make an effort to determine what has been lost, in terms of fault detection capability, in the process with respect to the complete test set es_ES
dc.format.extent 114 es_ES
dc.language Inglés es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Model checker es_ES
dc.subject Test set minimization es_ES
dc.subject Transition pair coverage es_ES
dc.subject Model coverage es_ES
dc.subject Extensible test cases es_ES
dc.subject Priority test case selection es_ES
dc.subject.other Ingeniería Informática-Enginyeria Informàtica es_ES
dc.title Automated test case generation es_ES
dc.type Proyecto/Trabajo fin de carrera/grado es_ES
dc.rights.accessRights Cerrado es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.description.bibliographicCitation Da Costa Martínez, JR. (2013). Automated test case generation. http://hdl.handle.net/10251/32991. es_ES
dc.description.accrualMethod Archivo delegado es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem