Poprawna odpowiedź: C
Jej celem jest sprawdzenie zgodności z wymogami formalnymi.
Dlaczego
Błędny jest opis, że optymalizacja ma sprawdzać zgodność z wymogami formalnymi. Optymalizacja ma poprawić wydajność programu, a zgodnością zajmuje się weryfikacja i testowanie.