BTC EmbeddedSpecifier: Mit Leichtigkeit in die formale Welt

Bisher stellte das formale Spezifizieren für die meisten Ingenieure eine unüberwindbare Hürde dar: die Verfahren sind zu mathematisch und damit für viele auch zu kompliziert. Diese Hürde räumt BTC nun endgültig aus dem Weg. Mit dem BTC EmbeddedSpecifier können Ingenieure auch ohne tiefere Kenntnisse formaler Methoden spezifizieren. Das Werkzeug überträgt Ihre rein textuellen Requirements Schritt für Schritt computerunterstützt in eine maschinenlesbare Sprache. Das Ergebnis: Sie können ganz einfach formal spezifizieren und haben gleichzeitig einen wichtigen Grundstein für Ihr Creative Engineering gelegt. Nachdem das formale Spezifizieren nun keine Hürde mehr ist, profitieren Ingenieure von einer völlig neuen Welt des automatischen Requirements-Based Testing. Die vom BTC EmbeddedSpecifier generierten Diagnoseeinheiten (C-Observer) können ganz leicht in jede erdenkliche Testumgebung eingebettet werden. Am einfachsten funktioniert das mit dem BTC EmbeddedTester, der führenden Test- und Verifikationsumgebung für dSPACE TargetLink. Die EmbeddedSpecifier-Methode ebnet somit den Weg für die automatische anforderungsbasierte Testbewertung, Testfallgenerierung und zusätzlich das automatische Messen der Anforderungsüberdeckung. Von der informellen, über die semi-formale bis hin zur formalen
Anforderungsspezifikation: Der BTC EmbeddedSpecifier ist das perfekte Werkzeug für Ingenieure, die von Anfang an kreativ auf der sicheren Seite stehen wollen.