"Mit dieser Ergänzung unseres Produktportfolios kommen wir den Wünschen unserer Kunden nach ganzheitlichen Serviceleistungen nach. Wir freuen uns, mit TAF eine individuell zugeschnittene Lösung anzubieten und so unsere Kunden bei der Entwicklung von komplexen Systemen durch Technologie-Beratung und Engineering-Leistung in Verbindung mit unseren innovativen Tools begleiten zu können", so Michael Englert, Vorstand und Gründer der ITK Engineering.
Die wichtigsten Funktionen im Überblick:
Automatische Generierung der Testumgebung: Die Testumgebung für ein Modul wird von TAF ohne Veränderungen des Modells automatisch erzeugt und kann auf Knopfdruck an geänderte oder erweiterte Module angepasst werden. So sind Regressionstests jederzeit problemlos durchführbar.
Intuitive Bedienung - flexible Testfallerstellung: Mit TAF können über eine intuitive Benutzeroberfläche Testfälle individuell ausgeführt, bearbeitet und analysiert sowie Stimuli erzeugt werden. Um Testfälle flexibel zu erstellen, wird das funktionale Soll-Verhalten direkt in Simulink® modelliert oder mit Messwerten oder C-Code-Implementierungen verglichen. Gleichzeitig bietet TAF die Verknüpfung der Testfälle mit Excel-, Word-, oder Doors-Requirements (weitere Formate möglich), sodass die durchgängige Traceability jederzeit gewährleistet ist.
Robuste Testdurchführung: Automatische Plausibilitätsprüfungen sorgen für eine effiziente Fehlersuche und robuste Testdurchführung. Die Testfälle können in verschiedenen Modi ausgeführt werden - in MiL (Fixed- und Floating Point), SiL und PiL.
Individuelle Reportgenerierung und Analyse der Testabdeckung: TAF generiert individuell an spezifische Anforderungen anpassbare Testreports und ermittelt unter Verwendung von Metriken wie Condition Coverage (CC), Decision Coverage (DC) und Modified Condition/Decision Coverage (MC/DC) für jeden einzelnen Testfall sowie für alle Testfälle insgesamt automatisch die Testabdeckung für das betrachtete Modul. Die daraus gewonnenen Informationen stehen als Report zur Verfügung, sind aber auch in der Benutzeroberfläche auf einen Blick sichtbar und können direkt im Modell visualisiert werden.
Polyspace® Verifikation: TAF bietet die Möglichkeit, aus Modulen eines Modells Code zu generieren und zusätzlich Informationen über die Wertebereiche der Ein- und Ausgänge des Moduls zu extrahieren. Um die Genauigkeit der Polyspace®-Analyse zu erhöhen, können Funktionalitäten auf Modellebene für die Code-Generierung ersetzt werden (Stubbing).
Weiterführende Informationen:
Treffen Sie ITK Engineering vom 02.-04. Dezember 2014 auf dem ESE-Kongress in Sindelfingen.
Technische Details zu TAF können Sie dem TAF-Datenblatt entnehmen: http://www.itk-engineering.de/... Bei Interesse kontaktieren Sie uns gerne unter taf@itk-engineering.de.
Besuchen Sie uns auf Xing und LinkedIn.