判断题

程序正确性证明能证明程序的功能和动态特性符合设计要求.

【参考答案】

错误

(↓↓↓ 点击‘点击查看答案’看答案解析 ↓↓↓)