JavaScript is currently disabled.Please enable it for a better experience of Jumi. Formell verifiering för programvara
Guidelines for contributing Technical Papers: download PDF

I-logix har tilsammans med tyska OSE utvecklat två verktyg som ska göra formell verifiering av programvara möjlig.
- På hårdvarusidan har formell verifiering gjort att många buggar hittats snabbare. Vi vill göra samma sak med programvara för inbyggda system, säger Jeremy Goulding på verktygstillverkaren I-Logix.

Företaget har därför presenterat två nya verktyg, utvecklade i samarbete med tyska OSC. Det ena gör modellkontroll, det vill säga verifierar automatiskt och formellt att en beskrivning av en systemmodell klarar alla möjliga tillstånd.

- På några minuter kan en modell med upp till 300 tillstånd analyseras till hundra procent, för samtliga möjliga indata, hävdar Werner Damm på OSC.

Det andra verktyget är en automatisk testvektorgenerator som utifrån den analyserade modellen alstrar vektorer med indata och förväntade utdata. Dessa används för att testa hela systemet, när programvaran körs på hårdvaran.


Adam Edström

Prenumerera på Elektroniktidningens nyhetsbrev eller på vårt magasin.


MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Rainer Raitasuo

Rainer
Raitasuo

+46(0)734-171099 rainer@etn.se
(sälj och marknads­föring)
Per Henricsson

Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

Jan Tångring

Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)