Mathworks heeft diverse verbeteringen doorgevoerd in zijn Polyspace-tools voor verificatie van broncode voor embedded toepassingen. Zo is er een nieuw webgebaseerd dashboard voor de Polyspace-meetgegevens en integreert de tool met e-mailsystemen en geautomatiseerde uitvoer. Ook deze gegevens zijn via het dashboard beschikbaar.
Polyspace is een suite van statische code-analyzers die C-, C++- en Ada-code controleren op overflows, delen door nul, array-toegang buiten de limieten en andere runtime fouten. De checkers zijn gebaseerd op formele technieken en kunnen de afwezigheid van deze fouten bewijzen. Polyspace werkt zowel op gegenereerde als handgeschreven code. Verder kunnen de tools controleren op codeerstandaarden zoals Misra-C.
Door de integratie met geautomatiseerde systemen is het mogelijk om de software dagelijks door de checkers te halen, zodat de codekwaliteit constant gemonitord kan worden.
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.