Def Stan 00-55 Zertifizierung mit der LDRA Werkzeugfamilie

Was ist Def Stan 00-55?

Er ist eine Anforderung des britischen Verteidigungsministeriums, daß jede sicherheitskritische Software, die ihm geliefert werden soll dem MOD (Ministry of Defence) Standard DEF Stan 00-55 genügen muß. Die LDRA Werkzeugfamilie stellt eine Reihe mächtiger Funktionen zur statischen und dynamischen Analyse zur Verfügung, die beim Nachweis helfen, daß dieser Standard von den dem MOD zur Verfügung gestellten Softwareapplikationen erreicht wird.

Def Stan 00-55 Zertifizierung mit der LDRA Werkzeugfamilie.

Die LDRA Werkzeugfamilie hilft Organisationen dabei folgendes zu erreichen:

• Statischer Analyse (26.2.4)
• Dynamischer Test (26.2.5)
• Test und Integration (37.1)
• Programmeinheits-, Integrations- & Systemtest (37.3)