correctness-oriented programming英式朗读美式朗读基本解释[计] 面向正确性的程序设计上一个单词:correctness specification下一个单词:corrector