Polyspace®

 

A Polyspace termékcsalád olyan kód verifikációs eszközöket tartalmaz, melyek statikus kód analízissel igazolják a C/C++ és Ada forráskódok túlcsordulás, nullával való osztás, tömbök tartományán kívüli címzések és egyéb futás idejű hiba mentességét a program futtatása, módosítása és tesztvektorok felhasználása nélkül. A Polyspace formális módszereken alapuló absztrakt interpretációs technikát alkalmaz a verifikációhoz. Alkalmazható kézzel írt kódokon, generált kódokon és e kettő keverékén is a fordítást és tesztelést megelőzően.

Az IEC Cerfitication Kit és DO Qualification Kit-ek támogatást nyújtanak az ipari szabványoknak való megfeleléshez.

 

 

MathWorks Polyspace Tools

Tovább a MathWorks® honlapjára »