CAS-005 · Question #221
A subcontractor develops safety critical avionics software for a major aircraft manufacturer. After an incident, a third-party investigator recommends the company begin to employ formal methods in…
The correct answer is C. The codebase lacks traceability to functional and non-functional requirements. Formal methods in software development focus on rigorously proving correctness and ensuring that all software components align with defined requirements. Lack of traceability to functional and non-functional requirements directly points to a gap in ensuring the software meets…
Question
A subcontractor develops safety critical avionics software for a major aircraft manufacturer. After an incident, a third-party investigator recommends the company begin to employ formal methods in the development life cycle. Which of the following findings from the investigation most directly supports the investigator's recommendation?
Options
- AThe system's bill of materials failed to include commercial and open-source libraries.
- BThe company lacks dynamic and interactive application security testing standards.
- CThe codebase lacks traceability to functional and non-functional requirements.
- DThe implemented software inefficiently manages compute and memory resources.
How the community answered
(53 responses)- A2% (1)
- B9% (5)
- C83% (44)
- D6% (3)
Explanation
Formal methods in software development focus on rigorously proving correctness and ensuring that all software components align with defined requirements. Lack of traceability to functional and non-functional requirements directly points to a gap in ensuring the software meets its specified goals, which formal methods would address by providing a mathematically verified framework to ensure compliance throughout the development process.
Community Discussion
No community discussion yet for this question.