GAIO @ Embedded World 2020
GAIO TECHNOLOGY zeigt auch 2020 seine Test-Tools für embedded Automotive Software wieder auf der Embedded World 2020. Der Stand ist wieder in Halle 4, 4-616, hier die Infos auf dem Messeportal.
GAIO Technology
GAIO Technology ist ein japanisches Unternehmen, auch wenn der Name portugisisch klingt und fröhlich bedeutet.
GAIO Technology hat sich auf Test-Tools für embedded Software im Automotive-Sektor spezialisiert.
GAIO hat in diesem Sektor Erfahrungen seit 1980 und eine führende Rolle im japanischen Markt. Mit der Distribution in anderen Ländern möchte GAIO weiter wachsen, dazu arbeitet GAIO seit 2013 mit Embedded Tools zusammen.
GAIO bietet Test-Tools an, die im unteren rechten Zweig des V-Models Ihren Platz finden, im Unit-Test nach der Codierung und vor dem Integrationstest.
Es sind:
CoverageMaster winAMS zum automatischem Unit-Test von C/C++ Software
CasePlayer2 zur MISRA-C Überprüfung, statischen Programmanalyse und Dokumentationserstellung
MC-Verifier zum Back-To-Back-Test bei der modellbasierten Entwicklung
Vorteile der GAIO-Tools für Anwender sind:
- Sparen Sie Zeit und Geld durch aufeinander abgestimmte Werkzeuge, die optimal zusammenarbeiten.
- Testen Sie direkt den Produktions Code für Ihre Target CPU! Der GAIO eigene CPU-Simulator auf dem der Code ausgeführt wird, benötigt keine Instrumentierung / Stub's.
- Sollten Stubs für den Test Ihrer Anwendung erforderlich sein, so werden die im Simulator ausgeführt und müssen nicht aufwendig in den Code integriert werden.
- Sparen Sie wertvolle Testzeit: Die statische Codeanalyse ermittelt die optimalen Werte für den Unit-Test automatisch.
- Durch die Simulator basierte Codeausführung erfolgt der Unit-Test wesentlich schneller als bei der Testausführung auf einem echten Target und der Verwendung eines JTAG-Emulators
Die GAIO Test-Tools wurden 2012 erstmalig vom TÜV Süd ISO 26262 & ISO 61508 zertifiziert. Durch diese Zertifizierung für TCL3 eignen sie sich damit besonders für die Entwicklung von automobilen Softwarelösungen nach ASIL A bis D. Eine Tool-Qualifizierung durch den Anwender ist nicht erforderlich und spart Zeit und Geld.
Gaio Technology hat 3 Geschäftsbereiche, die Entwicklung von Test-Werkzeugen, Durchführung von Tests als Dienstleistung für Kunden und modellbasierte Entwicklung von Software. Da GAIO nicht nur ein Toolanbieter ist, sondern die Tools selbst in realen Projekten einsetzt, sind diese besonders praxisnah gestaltet.
MC-Verifier
MC-Checker wurde zusammen mit CoverageMaster in dem Werkzeug MC-Verifier zur vollständigen B2B Test-Lösung integriert.
Es führt die verschiedenen Model/Code back-to-back Tests und Coverage-Messungen in einem Schritt durch.
- Back-to-Back (B2B) Test Tool,
berücksichtigt die ISO 26262 Anforderungen - Model-to-Model, Model-to-Software, Model-to-Target-Code B2B Tests
- erkennt die Fehlerstelle (Subsystem) im Simulink Model
- Verfolgt Test Fehler im Simulink Model über die Zeit
- Code Coverage (Statement, Branch, MC/DC)
GAIO
Back-To-Back Test
CasePlayer2
CasePlayer2 führt eine Überprüfung des Quellcodes auf Einhaltung der MISRA-C Regeln durch, nach dem MISRA-C Standard 1998 oder 2004. Eine Auswahl der einzelnen MISRA-C Regeln steht komfortabel zur Verfügung.
CasePlayer2 analysiert weiterhin den C/C++ Quellcode und erstellt umfassende Dokumente zur Dokumentation, z.B. Flussdiagramme, Strukturdiagramme, hirarchische Aufruflisten, globale Variablenlisten und vieles mehr.
Die Dokumente können als HTML oder MS-Word Datei exportiert werden und lassen sich über den Dokumentenbrowser in CasePlayer2 gut verwalten.
GAIO
MISRA-C
CoverageMaster
Das C/C++ Embedded Software Unit Test Werkzeug CoverageMaster winAMS erzeugt mit dem CasePlayer2 Tool automatisch Test Daten für Units-Tests und ermittelt auch die Code Coverage für C0, C1 und MC/DC.
Der C/C++ Programmcode wird dabei nicht instrumentiert, sondern der vom Cross-Compiler erzeugte Target-Code wird im Instruction-Set-Simulator (ISS) von GAIO ausgeführt, so dass auch keine Hardware-Emulatoren nötig sind. Sollten Stub-Funktionen erforderlich sein, so werden diese nur im ISS ausgeführt und der Code wird nicht verändert.
Hierdurch ist das Werkzeug, verglichen mit den bisherigen Vorgehensweisen, sehr zeitsparend einzusetzen.
GAIO
Unit-Test