Quiz Question 1 of 5
In the context of software testing, which of the following best describes the relationship between "model checking" and "code checking"?
Choose the correct answer below:
-
A
Model checking and code checking are interchangeable terms that refer to testing the final software product.
-
B
Model checking involves testing the algorithm design through tools like pseudocode, while code checking involves testing the final coded program against expected outcomes.
-
C
Model checking is concerned with user interface design, while code checking is focused on performance optimization.
-
D
Model checking verifies the correctness of the code after it's written, while code checking verifies the correctness of the pseudocode before coding begins.