When a software engineer attempts to prove the correctness of the program,he/she is using ________ techniques.
A)beta testing
B)alpha testing
C)prototype
D)program verification

Question

Quizplus · Accepted Answer

Program verification techniques are specifically used to prove the correctness of the program. Beta testing and alpha testing are both types of software testing done on the product, whereas a prototype is a preliminary model of the software product.

When a Software Engineer Attempts to Prove the Correctness of the Program,he/she