Simulink Coverage
Simulink Coverage™ przeprowadza analizę pokrycia kodu szacującą ukończenie testów modelu oraz wygenerowanego kodu. Uwzględnia on uznawane w przemyśle metryki takie jak decyzje, warunki, zmodyfikowane pokrycie warunków/decyzji (MC/DC) oraz relacyjne pokrycie brzegowe aby oszacować efektywność testów symulacyjnych modelu, software-in-the-loop (SIL) oraz procesor-in-the-loop (PIL). Wykryte braki mogą służyć do uzupełnienia procedur testowych, uzupełnienia wymagań i wyszukiwania niezamierzonych działań programu.
Simulink Coverage generuje interaktywne raporty pokazujące jaka część z modelu, S-funkcji C/C++, funkcji MATLAB i kodu wygenerowanego przez Embedded Coder została wykonana. Wyniki analizy pokrycia mogą zostać naniesione na bloki aby zwizualizować braki w procedurach testowych. Aby ocenić całkowite pokrycie testów, wyniki analizy coverage z wielu testów mogą zostać zakumulowane w jednym raporcie, dodatkowo możesz ręcznie wykluczyć bloki z analiz lub zdefiniować wyjątki odnoszące się do wykrytych braków w raportach pokrycia.
Wsparcie dla norm przemysłowych jest dostępne poprzez IEC Certification Kit oraz DO Qualification Kit.
Kluczowe cechy
- Analiza pokrycia i raporty z testów przeprowadzanych na modelach Simulink (włącznie z S-funkcjami C/C++)
- Analiza pokrycia kodu C/C++ generowanego przez Embedded Coder
- Metryki pokrycia decyzyjne, warunkowe, MC/DC, relacyjno brzegowe
- Metryki złożoności modelu m.in. złożoność cyklomatyczna
- Nanoszenie wyników analizy pokrycia na blokach modelu, podsystemach i diagramach stanu
- Filtrowanie raportów i definiowalne wyjątki w brakach pokrycia
- Wsparcie do kwalifikacji (poprzez DO Qualification Kit oraz IEC Certification Kit)