部分正确性

（计算机科学技术名词）

部分正确性（partial correctness）是2018年全国科学技术名词审定委员会公布的计算机科学技术名词。对给定的输入，程序只要终止就一定满足规约。