Narrowing the Gap Between Software Requirements and Tests

Safety critical software systems such as those that control nir navigntion nre subject to very high standards of quality. They need to explicitly provide system requirements nnd make sure there nre enough test cases that nssure an acceptable level of quality, per requirement. However, with the current fnst pace ofsollworo development, sometimes the program and tests are solid but the requirement documents get outdated. It is also possible thnt tho requirement documents are up-to-date, but the tests nre incomplete.