Oprogramowanie Naukowo Techniczne

Dystrybutor oprogramowania MATLAB i Simulink w Polsce

Mathworks
  • Zaloguj
  • Zarejestruj
  • Kontakt
  • Produkty
    Informacje o produktach
    • Lista produktów
    • Mapa produktów
    • Najnowsze wydanie
    • Wersja próbna
    • Cenniki
    • Typy licencji
  • Rozwiązania
    Obszary zastosowań
    • Analityka danych
    • Przetwarzanie obrazów
    • Biologia komputerowa
    • Przetwarzanie sygnałów
    • Internet przedmiotów
    • Systemy komunikacji
    • Matematyka finansowa
    • Systemy wbudowane
    • Mechatronika
    • Testowanie i pomiary
    • Nauka i edukacja
    • Układy sterowania
    • Projektowanie FPGA
    Dziedziny przemysłu
    • Automatyzacja i przemysł maszynowy
    • Przemysł medyczny
    • Biotechnologia i przemysł farmaceutyczny
    • Przemysł motoryzacyjny
    • Telekomunikacja
    • Elektronika i półprzewodniki
    • Transport lądowy i morski
    • Przemysł energetyczny
    • Usługi finansowe
    • Przemysł lotniczy i obronny
  • Wydarzenia
  • Szkolenia
    Szkolenia organizowane przez ONT
    • Szkolenia MATLAB i Simulink – terminy
    • Szkolenia zamknięte
    • Lista dostępnych kursów
  • Webinaria
  • Blog
  • O firmie

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)

>> Więcej informacji na stronie producenta

Czytaj również:
  • Rozwiązania wdrożone przez użytkowników
  • Szkolenia
  • Artykuły techniczne
Powiązane produkty:
  • Simulink Check
  • Simulink Report Generator
  • IEC Certification Kit (for IEC 61508 and ISO 26262)
  • DO Qualification Kit (for DO-178)
  • Polyspace Code Prover
Pobierz wersję próbną

    Skorzystaj z bezpłatnej 30-dniowej wersji próbnej oprogramowania

    Dowiedz się więcej
Dołącz do nas:

Kontakt:

Oprogramowanie Naukowo-Techniczne sp. z o.o.
E-mail: info@ont.com.pl
Telefon: +48 12 630 49 50

Siedziba
ul. Pod Fortem 19
31-302 Kraków

© 1992-2022 ONT Oprogramowanie Naukowo Techniczne

Polityka prywatności    Regulamin strony