Departamento de Computación

La Confiabilidad del software es una necesidad para cualquier organización que desarrolla sistemas de software. Durante el proceso de desarrollo, la fase de pruebas es la fase que ocupa un mayor periodo de tiempo para su ejecución. Normalmente esta fase puede durar del 40 al 60% del tiempo total empleado para el proceso del desarrollo y a pesar de ocupar esta gran cantidad de tiempo, normalmente los sistemas nunca estan libres de fallos. Hasta ahora en el área de la Confiabilidad del Software se han propuesto más de un ciento de modelos que estiman el nivel de la Confiabilidad y que determinan la probabilidad de fallo en los componentes del sistema. Sin embargo la gran mayoría de estos no son aplicables en contextos operativos reales. Algunos de los que actualmente si han demostrado su aplicabilidad presentan dificultades tales como, entradas difíciles de obtener, lentas en su ejecucion, requiere de un conocimiento matemático extenso para su solución y en general con una gran dificultad para localizar fallos y sus causas, lo cual complica mucho su interfaz con la etapa de pruebas. La contribución del presente trabajo se enfoca en el desarrollo de procesos y metodologías para la evaluación y el análisis de la Confiabilidad en productos de software para Internet. En este trabajo, se emplean técnicas formales como la modelación estadística y la técnica de grafos en el análisis de fallos para la evaluación de la Confiabilidad. Uno de los objetivos más importantes de nuestro trabajo es que las metodologías y procesos propuestos puedan servir como modelo en la validación y verificación de la calidad para las organizaciones que desarrollan productos de software bajo un enfoque confiable. Uno de nuestros principales objetivos en el desarrollo de los modelos fue su aplicabilidad real en contextos operativos. Las metodologias desarrolladas las hemos llevado a la práctica mediante herramientas y sus resultados los comparamos con otras propuestas actuales de modelación de la confiabilidad obteniendo resultados satisfactorios.

Abstract

Software reliability is a necessity for any organization that develops and maintains software systems. During the development process, the test phase is the phase that occupies a greater period of time for its execution. Normally this phase can use from 40 to 60 development process and in spite of occupying this great amount of time, usually never produces fault free systems. So far in the area of Software Reliability hundred of models have been proposed and used to estimate the reliability and the probability of failure in the system components. However the vast majority of these are not applicable in real operational contexts. Some of those, who currently have demonstrated their applicability, still present problems such as, difficulties in obtaining inputs, slow in its execution, require an extensive mathematical knowledge for its solution, and in general present great difficulties to locate faults and their causes, which greatly complicates their interface with the testing phase. The contribution of this work focuses on the development of processes and methodologies for the evaluation and analysis of reliability in software systems for the Internet. In this thesis work, we use formal techniques such as statistical modeling and graphs for the analysis and evaluation of reliability. One of the most important objectives of our work is that the proposed methodologies and processes can serve as a model in the checking and verification of quality for organizations that develop software products under a reliable approach. One of our main objectives in developing the model was its applicability in real operational contexts. The methodologies we have developed are applicable in practice through the use of a CASE tool we developed, and its results were compared with other current reliability modeling proposals with satisfactory results.