Especificacion sistemas criticos
Definicion
Especificacion dirigida por riesgos
Ejemplos
Especificacion de la protección
Especificacion de la fiabilidad del software
Especificacion de la seguridad
Especificacion Formal
La denominacion de metodos formales se usa para referirse cualquier actividad relacionada con representaciones matematicas del software, incluyendo la especificacion de sistemas, analisis y verificacion de programas. Una especificacion formal del software es una especificacion expresada en un lenguaje cuyo vocabulario, sintaxis y semantica estan formalmente definidos. La rama de las matematicas usada es al matematica discreta y los conceptos provienen de la teoria de conjuntos.
En la decada de los 80, los innvestigadores propusieron el uso de metodos formales, predijeron que, en el siglo XXI , gran parte del software estaria desarrollado con el uso de estos metodos, ya que la prediccion no se ha hecho realidad por cuatro razones
Ingenieria del software exitosa
Cambios en el mercado
Ambito limitado de los metodos formales
Escalabilidad limitada de los metodos formales
Ventajas
Especificacion: Desarrollar formalmente una especificacion requiere conocimiento detallado y preciso del sistema, lo que ayuda a exponer errores y omisiones.
Verificacion: Para asegurar la calidad de los sistemas es necesario probarlos y para esto se reuqiere una precisa descripcion de sus funciones
Validacion: Se asegura de que el software construido corresponde con los requisitos del cliente
Usos
Las politicas de los requisitos
La especificacion
Las pruebas de correspondencia entre la especificacion y los requisitos
Las pruebas de correspondencia entre el codigo fuente y la especificacion
Pruebas de correspondencia entre el codigo maquina y el codigo fuente