程序正确性的日文

• プログラムの正当性
  プログラムののせいとうせい

• 正确性    せいとうせい
• 正确性问题    せいとうせいのもんだい
• 源程序正文    ソーステキスト
• 源程序正文修改    げんしプログラムテキストののへんこう
• 正确    道理や規準に合っている.正しい. 做法正确／やり方が正しい. 正确答案／正解. 对别人的正确意见,应当加以支持／他人が出した正しい意見には支持を与えなければならない. 正确对待自己,正确对待群众／自分に対しても大衆に対しても正しい態度をとる. 实践 shíjiàn 证明 zhèngmíng 这种方法是正确的／実践の結果,この方法の正しさが証明された.
• 准确性    せいみつど 精 密 度
• 不正确    ふせいかく
• 使正确    まっすぐにまっすぐになる
• 正确地    こざっぱりしたちょうどすっかりそうだよろしいきれい好き
• 正确度    せいかくど
• 正确的    もっともちょっとすっかりまさしくよろしいやっとちょうどただそうだばかりでかろうじて
• 不够正确    せいかくさがたりない 正 確 さが足りない
• 不正确位置    アウトオブポジション
• 不正确名称    ふとうななまえ
• 不正确拨号    ひずみダイヤル
• 不正确操作    ふようどうさ
• 不正确长度    インコレクトレングス
• 更正确地    かなりのむしろ
• 正确动作    せいどうさ
• 正确尺寸    じつすんぽう
• 正确曝光    てきせいろしゅつ
• 正确调谐    ジャストチューニング
• 比正确度    ひせいかくど
• 证明正确    ジャスティフィヶーションいちちょうせいぎょうそろえ
• 程序段    プログラムセグメントセグメントセグメントプログラムゆみがただんぺんせんぶん
• 程序次序    プログラムシーヶンス

• 在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下，软件测试在将来相当一段时间内仍然是软件质量保证的有效手段。
• 计算机程序的形式分析方法主要因为有以下需求之一： ( 1 )改善运行时性能， ( 2 )减少代码大小，和( 3 )增加对程序正确性的信心-程序设计者几乎不用介入，既使有，也只是最低限度的干预。

• 程序正确性的英语：program correctness