| 520 |
## |
$a En este trabajo proponemos un método sistemático para generar casos de test basados en fallas cuya determinación resulta de considerar combinaciones de información. Las propuestas existentes de testing basadas en fallas consideran errores inherentemente sintácticos. En las aplicaciones reales las fallas dependen de una multiplicidad de factores causales incluyendo aspectos técnicos, humanos e institucionales. Nuestra propuesta permite considerar diferentes causas enfatizando así la semántica del problema. Los casos de test se generan utilizando como fuente de información inicial a los resultados del análisis de árboles de fallas que proveen una visión integral del sistema. De esta forma, podemos construir un modelo que refleje cómo las fallas en componentes individuales o subsistemas se pueden combinar para afectar el comportamiento del sistema. Abordamos el problema de integrar descripciones en diferentes lenguajes, con distintos niveles de granularidad y abstracción, y que consideran distintos aspectos del sistema. En particular, formulamos reglas de conversión entre la descripción del árbol de fallas y los diagramas de estados de la especificación del sistema. En este trabajo utilizamos statecharts para construir el modelo a partir del cual generamos secuencias de tests. De todas las posibles secuencias, deseamos obtener sólo aquellas que alcanzan algún estado determinado o habilitan alguna transición. Esto nos motivó a desarrollar un algoritmo de reducción o slicing. El principal atractivo del algoritmo es su simplicidad conceptual y facilidad para implementarlo. Describimos cómo aplicar el concepto de software testability a nivel de sistemas y superar algunas de las limitaciones de la propuesta de Voas. El modelo propuesto para el testing no sólo sirve para generar secuencias de test sino que nos indica cuáles fallas tenemos que inyectar para cuantificar el efecto de probables fallas ocultas. Debido a que la confiabilidad del software está íntimamente relacionada con las fallas, y considerando los resultados teóricos demuestran la no decibilidad del problema de responder a la ausencia de fallas, un medio para cuantificar el impacto de probables fallas ocultas resulta necesario. El análisis del testing basado en fallas es motivado por varias razones, tales como los resultados de la teoría de confiabilidad, los resultados teóricos desalentadores con respecto a las propuestas de testing basadas en el objetivo de demostrar correctitud, y las limitaciones del testing basado en especificaciones. Con respecto a esto último, describimos un método de testing basado en especificaciones algebraicas, y presentamos nuestra adaptación del método para el caso del lenguaje RSL y describimos las extensiones y revisiones que surgen en los pasos de desarrollo del método RAISE. Explicamos detalladamente los pasos involucrados en el testing, indicando cómo utilizar las herramientas de RAISE para derivar automáticamente las funciones de test. Además, analizamos una alternativa para las especificaciones que utilizan un modelo de Hilbert. Nuestra propuesta es útil para cualquier sistema representado en un estilo axiomático e implementado como un programa Prolog. Describimos cómo derivar casos de test a partir de los axiomas y las reglas de inferencia; definimos un criterio para seleccionar datos de test a partir de la estructura del lenguaje de especificación, e indicamos qué hechos deben incluirse en la base de hechos inicial utilizada por el sistema deductivo. Finalmente, describimos un prototipo para una herramienta que permite la validación de nuestra propuesta de testing basado en fallas, y muestra cómo las diferentes tareas pueden integrarse. CALIFICACION DEPARTAMENTO DE GRADUADOS Calificación de la defensa oral: Sobresaliente - 10 (diez) Fecha: 15/11/02 |
