CompTIA
CAS-003 · Question #831
CAS-003 Question #831: Real Exam Question with Answer & Explanation
Sign in or unlock CAS-003 to reveal the answer and full explanation for question #831. The question stem and answer options stay visible for context.
Question
An aircraft manufacturer is developing software that will perform automatic flight control (auto- pilot). Given the high safety criticality of the software, the developer can BEST prove software correctness to a requirement's specification by employing:
Options
- Astatic code analyzers
- Bformal methods
- Ctest harnesses
- Ddynamic analysis methods
Unlock CAS-003 to see the answer
You've previewed enough free CAS-003 questions. Unlock CAS-003 for full answers, explanations, the timed quiz mode, progress tracking, and the master PDF. Question stem and options stay visible so you can still see what's on the exam.