MATHWORKS Polyspace Bug Finder

Mathworks Polyspace Bug FinderT identifica erori run-time, probleme ale fuxului de date si alte defecte in software embedded C si C++. Folosind analiza statistica, Polyspace Bug Finder analizeaza software, fluxul de date si comportamentul interprocedural. Va permite sa triati si sa reparati devreme bug-uri in procesul de dezvoltare.

Polyspace Bug Finder verifica si conformitatea cu standarde de codare precum MISRA-C ® , MISRA-C++, JSF++, si alte conventii personalizate de numire. Genereaza rapoarte despre bug-urile gasite, incalcari ale regulilor de codare, precum si masuratori despre calitatea codului precum complexitatea cyclomatica. Polyspace Bug Finder poate fi folosit impreuna cu EclipseT IDE si integrat in sistemele existente.

Functii principale:

Identificarea defectelor software folosind analiza statistica
- Detectia erorilor run-time, problemelor cu fluxul de date, si a altor defecte in codul C si C++
- Analiza rapida a bazelor largi de coduri
Detectia bug-urilor si trierea defectelor
Verificarea conformitatii cu standarde de codare
Producerea de masuratori asupra codului si monitorizarea calitatii software-ului. Masuratorile asupra complexitatii codului includ:
- Complexitate cyclomatica
- Densitatea comentariilor
Nivelele apelurilor
- Numarul de cai
- Numarul de parametri ai functiilor
Urmarirea rezultatelor analizei de cod inapoi in modelele Simulink
Crearea de artefacte de certificare