本條目存在以下問題,請協助 改善本條目或在 討論頁針對議題發表看法。 此條目没有列出任何参考或来源。 (2013年9月1日) 維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。 |
|
在计算机科学中,不变条件是指,在程序执行过程或部分过程中,可始终被假定成立的条件。比如,循环不变条件是指在循环开始和结束后始终成立的条件。
应用 编辑
不变条件在逻辑推理计算机程序正确性时,特别有用。优化编译器理论、契约式设计设计方法论及形式方法,都十分依赖于计算机程序的不变条件。
程序员往往使用断言来现式定义不变条件。一些面向对象编程语言也有特定语法定义类不变条件。
参考 编辑