Def Stan 00 - 55 Certification with the LDRA tool suite

What is Def Stan 00-55?

It is a requirement that all safety-critical software supplied to the MOD must comply with the MOD standard Def Stan 00-55. The LDRA tool suite provides a powerful set of Static and Dynamic Analysis facilities which greatly assist in the process of ensuring that software applications meet this requirement.

Def Stan 00-55 Certification with the LDRA Tool Suite

The LDRA tool suite enables organisations to work towards:

• Static analysis (26.2.4)
• Dynamic testing (26.2.5)
• Testing and integration (37.1)
• Unit, integration & system testing (37.3)