24 okt. 2010
2 minuten
MathWorks heeft verbeteringen aangekondigd aan de Polyspace-producten voor verificatie van embedded code, waarmee de afwezigheid van bepaalde runtime-fouten in broncode kan worden aangetoond.
Dankzij een web-dashboard voor Polyspace meetgegevens, de automatische planning van verificatietaken, e-mailmeldingen en de uitgebreide ondersteuning voor codemeetgegevens kunnen ontwikkelaars kwaliteitsmeetgegevens en thresholds voor embedded software kiezen en de voortgang ervan bijhouden. Dankzij deze verbeteringen kunnen softwareteams beter kwaliteitsdoelen opstellen en deze sneller behalen voor toepassingen met hoge veiligheids- en kwaliteitseisen in de automobiel-, luchtvaart-, defensie-, industriële automatiserings- en machinebouwindustrie.
Doelen
Embedded software in kritische toepassingen moet in het kader van wettelijke eisen of bedrijfs-verificatieprocessen voldoen aan specifieke software-kwaliteitsdoelen. Softwareteams kunnen deze doelen alleen bereiken als ontwikkelaars en managers kwaliteitsdoelen, evaluatiecriteria en de bijbehorende metrics thresholds opstellen. Polyspace helpt bij het definiëren van relevante meetgegevens en thresholds, zoals code-meetgegevens, Misra-C en de gegevens over runtime-fouten. Tevens biedt het de mogelijkheid om de voortgang bij te houden van deze meetgegevens via het verificatieproces en om verschillen in kwaliteit per coderevisie te vergelijken.
Nachtelijke processen
Een andere uitdaging voor de ontwikkeling van toepassingen met hoge veiligheids- en kwaliteitseisen is dat het niet-systematisch afdwingen van verificatietaken kan leiden tot fluctuaties in de codekwaliteit. Polyspace biedt nu integratie met nachtelijke processen en e-mailsystemen, zodat het proces van continue verificatie gemakkelijker kan worden geautomatiseerd. Technici hebben minder werk aan het voortdurend herhalen van handmatige verificatietaken, zodat zij hun aandacht kunnen richten op verificatietaken op een hoger niveau, zoals het aanpakken van nieuwe problemen die optreden tussen twee versies van dezelfde code.
"Kwaliteitsengineers en -managers moeten niet alleen kunnen verifiëren of embedded software vrij is van runtime-fouten, maar willen ook inzicht hebben in de kwaliteitslevensduur van de software", aldus Brett Murphy, technisch marketingmanager bij MathWorks. "Teams die werken met één interface voor het ontwerpen van software-kwaliteitsmodellen, die continue codeverificatie ondersteunen en de voortgang meten aan de hand van cruciale meetgegevens, zijn nu in staat te voldoen aan de steeds hogere eisen voor software van een hoge kwaliteit."
Anderen lazen ook
