問題文
A regulated insurer must show an auditor which requirement each test case covers, and must be able to repeat the same tests unchanged. Which option names the benefit of formal testing that this need relies on, together with the price the team pays for it?
選択肢
- Formal testing derives the cases from the written specification, and the combined perspectives convince the auditor, so the strict discipline broadens the chance for learning
- Formal testing derives the cases from the written specification, and the recorded traceability satisfies the auditor, so the weak formality obstructs the pathway for automation
- Formal testing derives the cases from the written specification, and the recorded traceability satisfies the auditor, so the rigid routine limits the room for exploration
- Formal testing derives the cases from the written specification, and the embedded quality reassures the auditor, so the absent metric weakens the case for certification