Testing Fault-Tolerant Protocols by Heuristic Fault Injection

Contribución a la validación de sistemas complejos tolerantes a fallos en la fase de diseño. Nuevos modelos de fallos y técnicas de inyección de fallos.

“…Por tanto, un punto importante del sistema reside en el protocolo de comunicaciones, que también ha de ser testado contra fallos. De esta forma, para determinar fallos de diseño del protocolo, algunos estudios combinan el análisis de la evolución del flujo del código y la inyección de fallos en los mensajes [Echtle y Chen 1991, Chen 1993.…”