技術(shù)編號：6574869
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細信息。本發(fā)明屬于計算機應用，特別是涉及一種程序設(shè)計正確性驗 證的方法。技術(shù)背景程序正確性驗證是IT技能測評自動化的一項重要內(nèi)容，也是其中的 一個理論、技術(shù)難點。程序的正確性，是指對于給定領(lǐng)域的所有的輸入， 程序都能給出正確的輸出，程序都能給出正確的輸出。然而正如Dijkstm 所指出"我們可以通過測試發(fā)現(xiàn)程序中存在的錯誤，但無法證明不存在 錯誤。"通常情況下，即使是一個非常簡單的程序，都可能具有無限多個 可能的輸入。目前，進行程序正確性驗證通常有兩種方案第一種，...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學習研究技術(shù)思路。