A NASA independent test group can write the test procedures, based on formal requirements and logical limits, before the software has been written and integrated with the hardware.
NASA sõltumatu katserühm saab kirjutada katsemeetodeid, mis põhinevad vorminõuetel ja loogilistel piiridel juba enne, kui tarkvara on valmis kirjutatud ja riistvaraga integreeritud.