填空题

程序正确性证明最常用的方法是______，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

【参考答案】

归纳断言法
<上一题 目录 下一题>
热门 试题

填空题
在软件结构化设计中，其软件结构中的模块可分为______、增量模块和并行模块。
填空题
在软件工程中，高质量的文档标准是完整性、一致性和______性。
相关试题