填空题

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

【参考答案】

归纳断言法

<上一题目录下一题>

热门试题

填空题

软件开发一般被划分为独立的阶段，并完成不同的任务，各阶段划分时，其占用时间相对较少，而又可能占用人力最多的阶段往往是【12】。

填空题

提高程序的可读性和易维护性的关键是使程序结构【14】。

相关试题