Polyprostor - Polyspace
Vývojáři | MathWorks [1] |
---|---|
Stabilní uvolnění | R2019a / 15. března 2019 |
Operační systém | Cross-platform[2] |
Typ | statická analýza kódu |
Licence | Proprietární |
webová stránka | www |
Polyprostor je nástroj pro analýzu statického kódu pro rozsáhlou analýzu pomocí abstraktní interpretace detekovat nebo prokázat nepřítomnost určitých chyb za běhu ve zdrojovém kódu pro C, C ++, a Ada programovací jazyky. Nástroj také kontroluje, zda zdrojový kód dodržuje příslušné standardy kódu.[3]
Běžné použití
Polyspace zkoumá zdrojový kód, aby určil, kde jsou potenciální chyby za běhu, jako je aritmetické přetečení, přetečení vyrovnávací paměti, dělení nulou a další mohou nastat. Vývojáři softwaru a manažeři zabezpečování kvality používají tyto informace k identifikaci, které části kódu jsou vadné nebo prokázané jako spolehlivé. Ostatní části kódu jsou označeny pro neprokázané kontroly a zaslouží si individuální kontrolu.[4][5]
Kodexové standardy nebo směrnice, jako např MISRA C pokusit se řešit kvalitu, přenositelnost a spolehlivost kódu. Produkt kontroluje shodu zdrojového kódu C a C ++ s podmnožinou pravidel v těchto kódovacích standardech.[6]
Schopnosti
Rodina produktů se skládá z Polyspace Code Prover a Polyspace Bug Finder. Modul poskytovatele kódu anotuje zdrojový kód schématem barevného kódování, které označuje stav každého prvku v kódu.[7] Využívá to formální metody - statická analýza kódu na základě ověření programu na jazykové úrovni.[5] Nástroj kontroluje každou instrukci kódu tím, že zohledňuje všechny možné hodnoty každé proměnné v každém bodě kódu a poskytuje formální diagnostiku pro každou operaci v kódu za normálních i abnormálních podmínek použití.[8]
Modul Bug Finder identifikuje chyby softwaru provedením statické analýzy programu na zdrojovém kódu. Zjistí vady, jako jsou numerické výpočty, programování, paměť a další chyby. Produkuje také softwarové metriky, jako je hustota komentářů zdrojového souboru, cyklomatická složitost, počet řádků, parametry, úrovně volání atd. Ve funkci, identifikované chyby běhu v softwaru.[9]
Viz také
Reference
- ^ Pele, Anne-Francoise (2007-04-25). „Mathworks získává PolySpace Technologies“. EETimes. Archivovány od originál dne 11.02.2012. Citováno 2010-08-13.
- ^ The MathWorks - Polyspace - Požadavky
- ^ Deutsch, Alain (2003-11-27). "Statické ověření dynamických vlastností" (PDF). Polyspace Technologies. Archivovány od originál (PDF) dne 13.03.2012. Citováno 2014-05-17.
- ^ Brat, Guillaume (2004). "Experimentální vyhodnocení verifikačních a validačních nástrojů na softwaru Martian Rover". Formální metody v návrhu systému. 25 (2/3): 167–198. doi:10.1023 / B: FORM.0000040027.28662.a4. hdl:2060/20040010327.
- ^ A b Exponent (2012-09-24). „Vyšetřování hardwaru a softwaru vozidla ETCS-i od společnosti Exponent“. Exponent. Archivovány od originál dne 2014-07-27. Citováno 2010-09-07.
- ^ MathWorks: statická analýza kódu.
- ^ Jones, Paul; Jetley, Raoul; Abraham, Jay (09.02.2010). „Přístup k verifikaci softwarové analýzy zdravotnických prostředků založený na formálních metodách“. Návrh vestavěných systémů. Citováno 2010-08-16.
- ^ Wissing, Klaus (2007-09-27). „Statická analýza dynamických vlastností - automatické ověření programu k prokázání absence chyb dynamického běhu“ (PDF). Workshop o analýze aplikovaných programů. Citováno 2010-08-13.
- ^ "Softwarové metriky - MATLAB". Indie: MathWorks. Citováno 2015-08-27.