Tecnicas Formales para el Analisis y Prediccion del comportamiento Fiable del Software.

Abstract

En el transcurso de los ultimos anos la produccion de software ha ocupado un lugar significativo en el ambito economico mundial. Sin embargo estos productos presentan un problema comun, no tienen suficiente calidad y uno de los factores que mas influye es la fiabilidad. Con este trabajo Tecnicas Formales para el analisis y la prediccion del comportamiento fiable del software se pretende contribuir a aumentar la fiabilidad en la produccion del software en la Universidad de las Ciencias Informaticas.Para ello, se estudiaron las tecnicas mas utilizadas actualmente en el desarrollo del software fundamentalmente las tecnicas formales, asi como las herramientas orientadas al trabajo con ellas. Ademas se analizaron algunas metricas que se utilizan para prevenir los fallos en el sistema.Finalmente se presento una propuesta que consiste en la aplicacion de tecnicas formales, herramientas y metricas que proporcionaran que el software en la UCI aumente su fiabilidad.