Las pruebas desempeñan un papel crucial para garantizar la fiabilidad y robustez de los sistemas de ingeniería, especialmente en ámbitos críticos para la seguridad, como la aviación. En esta charla, presentamos un caso práctico del Sistema de Alerta de Tráfico y Prevención de Colisiones (TCAS) e ilustramos cómo se puede utilizar JMP para facilitar las pruebas de sistemas de ingeniería complejos. Mediante la aplicación de técnicas de diseño de experimentos (DOE) y localización de fallos bayesiana (BayesFLo), demostramos cómo construir casos de prueba rigurosos e identificar fallos de software mediante JMP. Además, mostramos cómo los métodos bayesianos pueden aprovechar el conocimiento previo de expertos en la materia para analizar los resultados de las pruebas de sistemas de ingeniería complejos.