不变是计算中使用的一个术语，指的是不随时间或响应外部影响而改变的元素。它是软件工程、数据建模和算法设计中使用的概念，用于描述和证明系统或系统内子系统的某些属性。
不变量提供了有效推理系统行为的重要方法，因为它们表明无论其他对象的独立行为或外部影响如何，对象都将保持不变。不变量用于各种编程语言、模型和方法中，从谓词逻辑到面向对象编程。
不变量提供了一种验证软件或系统设计正确性的有用方法。它们还可以用于查找可能导致程序执行出现问题的错误。例如，在调试系统时，不变量可以帮助隔离错误，就好像不满足不变量一样，那么该错误一定是由系统中受其影响的部分引起的。
不变量在正式系统规范中也很重要，因为它们可以用来证明给定系统具有某些所需的属性，例如正确性、安全性、保密性或可靠性。不变量用于描述系统的任何方面，其中特定属性是恒定的，包括程序的功能或图形用户界面中实体的颜色。
不变量通常与其他技术结合使用来检查软件的正确性和可靠性，包括涉及断言检查和定理证明的技术。不变检查在编译器中广泛使用，因为它可以帮助在运行前静态验证程序代码。它还用于开发更可靠的系统，因为可以声明系统的一些不变量，然后验证这些属性是否得到保留。
