单选题 证实在一个给定的外部环境中软件的逻辑正确性是______。
【正确答案】 B
【答案解析】