正确性 (计算机科学) 编辑
在理论计算机科学中，算法的正确性是指一个算法在程序规范下被认定为正确的判定。其中，功能正确针对输入输出的行为。
1
相关
在计算机科学中，程序分析是指自动分析一个程序的包括正确性、健壮性、安全性和活跃性等特征的过程。
程序分析主要研究两大领域：程序的优化和正确性。前者研究如何提升程序性能并且降低程序的资源占用，后者研究如何确保程序完成预期的任务。