例句與造句

1. This approach can verify program correctness approximately , or generate a set of test cases according to some coverage criterion in software testing
   它可以近似地驗證程序的正確性，也可以依據(jù)軟件測試的標準，按某種覆蓋度要求生成測試用例。
2. It's difficult to find program correctness in a sentence. 用program correctness造句挺難的