Mit CATIA Stimulus von Dassault Systèmes, dem ersten Tool dieser Art, zeigen wir Ihnen, wie textuelle Funktionsspezifikationen eingebetteter Systeme automatisch validiert werden können.
Vorteile für Kunden:
- Zeit sparen im Validierungsprozess durch die frühe Erkennung der Fehler in der Funktionsspezifikation
- Aufwand reduzieren durch die automatisierte Erstellung von Test Cases
- Kosten senken durch die Reduktion von Anlaufkosten, z.B. verspätete Auslieferung durch Softwarefehler und die Verhinderung von Rückrufaktionen
- Kundenzufriedenheit steigern durch eine kontinuierliche Funktionsfähigkeit und Zuverlässigkeit der Systeme im Fahrzeug
Hier werden die entscheidenden Fragen beantwortet:
- Wie stellen Sie aktuell sicher, dass die Funktionsspezifikationen Ihrer Embedded Systems korrekt sind, einschließlich der textuellen Anforderungen?
- Wie überprüfen Sie, ob Ihre Systeme die Spezifikationen erfüllen, ohne einen einzigen Testcase dafür zu schreiben?