关于程序正确性的定义:{P} A {Q} ,其中()的叙述是不正确的。


关于程序正确性的定义:{P} A {Q} ,其中()的叙述是不正确的。

A.P是前置条件

B.Q是运行结果

C.Q是后置条件

D.A是执行功能

正确答案:Q是运行结果


Tag:条件 正确性 定义 时间:2024-01-15 21:19:11