单选题 __(60)__是用来论证被测试的系统满足需求的情况，它的目的是为了证明其充分性和正确性，而不是为了发现问题。