Registro:
Documento: | Tesis Doctoral |
Disciplina: | computacion |
Título: | Criterios basados en abstracciones de comportamiento para testing de conformidad de protocolos |
Título alternativo: | Behaviour abstraction based adequacy criteria for protocol conformance testing |
Autor: | Czemerinski, Hernán |
Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
Publicación en la Web: | 2015-09-29 |
Fecha de defensa: | 2015-04-14 |
Fecha en portada: | 2015 |
Grado Obtenido: | Doctorado |
Título Obtenido: | Doctor de la Universidad de Buenos Aires en el área de Ciencias de la Computación |
Director: | Uchitel, Sebastián |
Jurado: | Galeotti, Juan P.; Melgratti, Hernán; Díaz Pace, Jorge A. |
Idioma: | Español |
Palabras clave: | TESTING DE SOFTWARE; CONFORMIDAD DE PROTOCOLOS; CRITERIOS DE ADECUACION; PARTICION DE DOMINIOS; PRIORIZACION DE CASOS DE TESTSOFTWARE TESTING; PROTOCOL CONFORMANCE; ADEQUACY CRITERIA; PARTITION TESTING; TEST CASE PRIORITISATION |
Tema: | computación/ingeniería del software
|
Formato: | PDF |
Handle: |
http://hdl.handle.net/20.500.12110/tesis_n5739_Czemerinski |
PDF: | https://bibliotecadigital.exactas.uba.ar/download/tesis/tesis_n5739_Czemerinski.pdf |
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/tesis/document/tesis_n5739_Czemerinski |
Ubicación: | Dep.COM 005739 |
Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Czemerinski, Hernán. (2015). Criterios basados en abstracciones de comportamiento para testing de conformidad de protocolos. (Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/tesis_n5739_Czemerinski |
Resumen:
Los artefactos de código que tienen requerimientos no triviales con respecto alorden en el que sus métodos o procedimientos deben ser invocados son comunes yaparecen, por ejemplo, como implementaciones de APIs y objetos. El testeo de quedichos artefactos se ajusten a su protocolo esperado es un problema importante ydesafiante. En esta tesis se proponen y estudian criterios de adecuación de testing deconformidad basados en cubrir una abstracción de la semántica del comportamientoesperado. Por lo tanto, los criterios son independientes tanto del lenguaje de especificación y las estructuras sintácticas usadas para describir el protocolo esperado comodel lenguaje utilizado para implementarlo. En consecuencia, los resultados puedenser de utilidad para diversos enfoques de caja negra para el testeo de conformidadde protocolos. Los resultados experimentales muestran que los criterios propuestosson buenos predictores de detección de fallas de conformidad y de criterios de coberturaestructurales clásicos como cobertura de sentencias y ramas. Además, tambiénmuestran que la división del dominio derivado de los criterios propuestos producesubdominios densos en fallas, y que al priorizar casos de test de acuerdo con loscriterios propuestos se tiende a producir ordenamientos que generan una deteccióntemprana de fallas de conformidad de protocolos.
Abstract:
Code artefacts that have non-trivial requirements with respect to the orderingin which their methods or procedures ought to be called are common and appear,for instance, in the form of API implementations and objects. Testing such codeartefacts to gain confidence in that they conform to their intended protocols is animportant and challenging problem. In this thesis we propose and study experimentallyconformance testing adequacy criteria based on covering an abstraction of theintended behavior's semantics. Thus, the criteria are independent of the specificationlanguage and structure used to describe the intended protocol and the languageused to implement it. As a consequence the results may be of use to black box conformancetesting approaches in general. Experimental results show that the criteriaare a good predictor for fault detection for protocol conformance and for classicalstructural coverage criteria such as statement and branch coverage. Additionally,they also show that the division of the domain derived from the criterion producessubdomains such that most of its inputs are fault-revealing, and that prioritisingtest cases according to the abstraction coverage achieved tends to produce orderingsthat lead to earlier detection of protocol conformance failures.
Citación:
---------- APA ----------
Czemerinski, Hernán. (2015). Criterios basados en abstracciones de comportamiento para testing de conformidad de protocolos. (Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/tesis_n5739_Czemerinski
---------- CHICAGO ----------
Czemerinski, Hernán. "Criterios basados en abstracciones de comportamiento para testing de conformidad de protocolos". Tesis Doctoral, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2015.https://hdl.handle.net/20.500.12110/tesis_n5739_Czemerinski
Estadísticas:
Descargas totales desde :
Descargas mensuales
https://bibliotecadigital.exactas.uba.ar/download/tesis/tesis_n5739_Czemerinski.pdf