Klicka dig ner i funktionshierarkin till just den C-funktion som du skrivit, så får du en rapport på hur du brutit mot den kodningstandard det är meningen att du ska följa. Eller på hur mycket minne dina funktioner använder, eller om din kod bryter mot några säkerhetsregler.
Den här funktionaliteten finns i ett verktyg som heter TB Vision och är en nyhet i brittiska LDRAs verktygssvit för utveckling av strängt kravspecificerade system för exempelvis medicin, kärnkraft och flygfart.
Tidigare fick programmeraren hålla tillgodo med att få samma information via långa oöverskådliga listningar av text.
I LDRA-verktygssviten finns statisk kodanalys, automatisk testning, nätverkssamarbete, koppling mellan krav och kod, automatisk konstruktion av testkod och mer därtill.
Bill St. Clair
- Vi stöder hela livscykeln för säkerhetskritiska system och verifierade programvarusystem, säger Bill St. Clair teknikapostel på LDRA.
LDRA har 75 anställda i USA och Storbritannien.
- Vi har varit dåliga på marknadsföring. Det skulle förvåna mig om mer än tio procent av era läsare vet vilka vi är. Men nu ska vi expandera.
- I Kina är vi redan välkända och högt aktade och det är ju ett mycket gott tecken, skrattar Bill St. Clair.
- I Kinesiska försvaret och i flyg och rymd är vi det självklara förstahandsvalet.