Validación del sistema (4): software de modelado, protocolos y otro comportamiento

Descripción

La validación del sistema es el campo que estudia los fundamentos de la comunicación del sistema y el procesamiento de la información. Permite el análisis automatizado basado en modelos de comportamiento de un sistema para ver si un sistema funciona correctamente. Queremos garantizar que los sistemas hagan exactamente lo que se supone que deben hacer. Las técnicas presentadas en la validación del sistema permiten probar la ausencia de errores. Permite diseñar un comportamiento del sistema integrado que es estructuralmente sólido y, como efecto secundario, obliga a que el comportamiento sea simple y perspicaz. Esto significa que los sistemas no solo se comportan correctamente, sino que también son mucho más fáciles de mantener y adaptar. 'Modelado de protocolos de software y otros comportamientos' demuestra el poder de los métodos formales en modelado de software, protocolos de comunicación y otros ejemplos. Material de lectura. JF Groote y MR Mousavi. Modelado y análisis de sistemas de comunicación. The MIT Press, 2014.