Tests spielen eine entscheidende Rolle für die Zuverlässigkeit und Robustheit technischer Systeme, insbesondere in sicherheitskritischen Bereichen wie der Luftfahrt. In diesem Vortrag präsentieren wir eine Fallstudie zum Verkehrswarn- und Kollisionsvermeidungssystem (TCAS) und veranschaulichen, wie JMP das Testen komplexer technischer Systeme erleichtert. Mithilfe von Techniken der statistischen Versuchsplanung (DOE) und der Bayesschen Fehlerlokalisierung (BayesFLo) demonstrieren wir, wie sich mit JMP anspruchsvolle Testfälle erstellen und Softwarefehler identifizieren lassen. Darüber hinaus zeigen wir, wie Bayessche Methoden das Vorwissen von Fachexperten nutzen können, um die Ergebnisse von Tests komplexer technischer Systeme zu analysieren.
