proving program correct 中文意思是什麼
proving program correct
解釋
征明程序正確性-
Until now, most inspection tools either tried to take on the very difficult problem of proving that a program is correct, or focused on superficial issues such as code formatting and naming conventions, or at best, simple bug patterns such as self - assignment, unused fields, or potential errors such as unused method parameters or public methods that could be declared private or protected
到目前為止，大多數檢測工具要麼極力試圖證明程序是正確的，要麼注重一些表面問題，如代碼的格式編排和命名規則，最多還關注一些簡單的bug模式，如自賦值、未使用的域或潛在的錯誤（如未使用的方法參數，或可以聲明為私有或保護的方法被聲明為公共的） 。
分享友人