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.