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

Polyspace Bug Finder

content_ps_c_client_main_15152

Polyspace Bug Finder jest narzędziem służącym do wykrywania błędów czasu wykonania (ang. run-time errors), problemów z przepływem danych i innych defektów w kodzie źródłowym C i C++. Narzędzie to wykorzystuje metody analizy statycznej polegające na analizie przepływu sterowania i danych w kodzie źródłowym. Pozwala to na śledzenie i wykrywanie potencjalnych błędów na etapie rozwoju oprogramowania.

Polyspace Bug Finder pozwala także na weryfikację zgodności ze standardami kodowania takimi jak MISRA-C, MISRA-C++, JSF++ lub zdefiniowanymi konwencjami nazewnictwa. Po analizie generowany jest raport zawierający szczegółowe informacje o znalezionych błędach, naruszenia konwencji, a także metrykę złożoności kodu.

Narzędzie Polyspace Bug Finder integruje się ze środowiskiem Eclipse™ IDE.

W przypadku analizy kodu generowanego automatycznie istnieje możliwość śledzenia wykrytych błędów do bloków Simulinka lub dSPACE TargetLink’a®.

Narzędzie zapewnia wsparcie dla norm bezpieczeństwa funkcjonalnego poprzez produkty IEC Certification Kit oraz DO Qualification Kit.

Kluczowe cechy modułu:

  • Wykrywanie błędów czasu wykonania, problemów z przepływem danych i innych defektów w kodzie źródłowym C i C++
  • Szybka analiza dużych baz kodu
  • Weryfikacja zgodności ze standardami kodowania takimi jak MISRA-C, MISRA-C++, JSF++ lub zdefiniowanymi konwencjami nazewnictwa
  • Możliwość śledzenia (traceability) rezultatów weryfikacji kodu do bloków programu nadrzędnego
  • Integracja ze środowiskiem Eclipse™ IDE

Więcej informacji na stronie producenta.

Czytaj również:
  • Rozwiązania wdrożone przez użytkowników
  • Szkolenia
  • Artykuły techniczne
Powiązane produkty:
  • GPU Coder
  • MATLAB Coder
  • Embedded Coder
  • Simulink Design Verifier
  • 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. sp. k.
E-mail: info@ont.com.pl
Telefon: +48 12 630 49 50

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

© 1992-2021 ONT Oprogramowanie Naukowo Techniczne

Polityka prywatności    Regulamin strony