Criterios basados en abstracciones de comportamiento para testing de conformidad de protocolos

• Autores: Czemerinski, Hernán
• Año de publicación: 2015
• Idioma: español castellano
• Tipo de recurso: tesis doctoral
• Colaborador/a o director/a de tesis: Uchitel, Sebastián
• Materia: TESTING DE SOFTWARE; CONFORMIDAD DE PROTOCOLOS; CRITERIOS DE ADECUACION; PARTICION DE DOMINIOS; PRIORIZACION DE CASOS DE TEST; SOFTWARE TESTING; PROTOCOL CONFORMANCE; ADEQUACY CRITERIA; PARTITION TESTING; TEST CASE PRIORITISATION
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

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.
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.
Fil: Czemerinski, Hernán. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.