Test Lösungen für Simulink Modelle und Seriencode

Um in heutigen Entwicklungsprojekten eine ausreichende Softwarequalität sicherzustellen, ist es notwendig, verschiedene Testmethoden zu kombinieren. Auch der ISO 26262 Standard empfiehlt, verschiedene Testmethoden wie den Requirements-basierten Test, Back-to-Back Test oder formale Verifikation zu nutzen. Wenngleich diese Testmethoden unterschiedlich in ihrer Herangehensweise sind, so gibt es doch Gemeinsamkeiten. Bei allen Methoden muss das Interface des zu testenden Systems bekannt sein, um z.B. simulieren und debuggen oder einen Report erstellen zu können. Auch ist es oft nützlich, Artefakte aus einer Testmethode in einer anderen weiter zu verwenden. Ein Beispiel hierfür sind bereits vorhandene funktionale Testfälle, welche beim Back-to-Back Test wiederverwendet werden können.