Q. 174. It is intended to find inconsistencies between a program and its specification. These inconsistencies are usually due to program faults or defects. (Solved)