程式正確性（program correctness）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：程式正確性
- 外文名：program correctness
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
程式是否滿足給定的規約。
出處
《計算機科學技術名詞 》第三版。
程式正確性
相關詞條
- 程式正確性
程式正確性（program correctness）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義程式是否滿足給定的規約。1出處《計算機科學技術名詞 》第三版。...
- 程式正確性理論
程式正確性理論(theory of program correctness)程式設計理論的一個重要組成部分。研究如何使用程式設計語言編製程序，以正確實現預定的目標.程式正確性理論提出編制正確程式的兩種途徑一種稱為程式驗證，研究如何使用數學推理來嚴格論證程式是否...
- 程式正確性證明方法
《程式正確性證明方法》是2018年12月上海財經大學出版社出版的圖書，作者是武斌。內容簡介 程式驗證是電腦程式設計領域的前沿研究課題，如何保證程式正確性是計算機科學的一個重大挑戰。本書在前人研究的基礎上，利用符號計算的思想和方法...
- 多物理程式正確性驗證與可信度確認方法研究
《多物理程式正確性驗證與可信度確認方法研究》是依託北京套用物理與計算數學研究所，由王瑞利擔任項目負責人的面上項目。項目摘要 在國防重大科學與工程高端套用領域，許多現象與事件都是多物理耦合的複雜過程。多物理程式建模與模擬的正確性...
- 基於分離邏輯的雲存儲管理程式正確性驗證方法
《基於分離邏輯的雲存儲管理程式正確性驗證方法》是依託北京大學，由王捍貧擔任負責人的面上項目。項目摘要 雲計算作為一種新興的計算模型，代表了計算領域未來的發展方向。而雲存儲作為雲計算的基礎之一，與傳統存儲系統相比有著顯而易見的...
- 結構程式設計(組織正確易讀程式的軟體技術)
程式正確性證明，用數學方法證明程式是否滿足功能規格說明。證明可以是形式的，也可以是非形式的。通常，程式正確性證明總是與逐步精化結合進行。隨著逐步精化，同時加以驗證或程式推導，以得到正確的程式。因此，程式正確性證明是結構程式...
- 程式驗證
程式驗證是指研究程式正確性的理論，即要證明程式達到某種預定目的的任務。美籍匈牙利科學家J.諾伊曼於1947年發表的論文中就提到程式正確性證明。美國科學家R.W.弗洛依德於1967年系統地提出驗證程式正確性的歸納斷言方法，引起了計算機科學界...
- 算法正確性
算法的正確性證明仍是一項很有挑戰性的工作。在大多數情況下，人們通過程式測試和調試來排錯。程式測試(program testing)是指對程式模組或程式總體，輸入事先準備好的樣本數據(稱為測試用例，test case)，檢查該程式的輸出，來發現程式...
- 程式設計方法學(學科)
1969 年，Wirth 提出採用“ 自頂向下逐步求精、分而治之” 的原則進行大型程式的設計。其基本思想是：從欲求解的原問題出發，運用科學抽象的方法，把它分解成若干相對獨立的小問題，依次細化，直至各個小問題獲得解決為止。“ 程式正確...
- 資源感知的程式邏輯理論及資源安全性推理
《資源感知的程式邏輯理論及資源安全性推理》是依託深圳大學，由秦勝潮擔任項目負責人的面上項目。項目摘要 電腦程式的運行離不開系統資源，如記憶體，CPU時間，能源供給等。合理、正確地使用這些系統資源是程式安全性和正確性的一個重要方面...
- 程式公正性理論
雖然債權得到實現，案件也結了，但實際已損害了被執行人合法權益，根本沒有達到司法公正。在實踐中，執行程式的這種中立性非常不明顯，從某些方面看甚至是失了這種中立性。1?辦案中的“三同”問題。即當事人與辦案人員同吃、同住、同行...
- 程式設計語言語義
指稱語義最初被開發為把函式式和順序式程式建模為映射輸入到輸出的數學函式的框架。公理語義學 公理語義學（Axiomatic semantics）是使用數理邏輯來證明程式正確性。程式中的命令的意義描述是通過對程式狀態的斷言（assertion）效果。斷言是...
- 形式程式測試
測試是一種通過執行系統或分析系統來檢查系統正確實現的一種方法。執行測試過程時，將得出的測試結果與規約的結果進行比較來檢查系統的正確性。形式程式測試是指在程式測試中採用形式化方法。形式程式測試可以提高程式測試效率，發現程式錯誤。
- 程式靜態分析
1952年提出的Rice定理指出，任何關於程式分析的問題都是不可判定的。因此，不存在任何一種機械化的方法能夠證明程式的完全正確性。然而，針對大多數的不可判定問題，仍然可以試圖找到它們的一些近似解。形式化靜態分析中用到的實現技術有：...
- 程式驗證和規範的形式方法
符號表 第一章 引言 第二章 計算模型 第三章 驗證方法 第四章 部分正確性的證明方法 第五章 完全正確性的證明方法 第六章 並行程式的正確性 第七章 驗證方法的套用 第八章 規範方法 第九章 現狀與總結 參考文獻 名詞索引 ...
- 拼寫檢查程式
拼寫檢查程式不能識別不常用的人或專用術語，但是它容許你生成自己的個人字典，把自己常用的詞語加進去。簡介 拼寫檢查程式是指將輸入的每個字詞與存儲器里的字典比較，檢查其正確性並在螢幕上顯示差異的電腦程式。拼寫檢查程式可以是一個...
- 反彙編程式
反彙編程式 反彙編程式是一種語言轉換程式，它的功能和彙編程式相反，它能把機器語言程式轉換為彙編語言程式。反彙編程式可以用來將二進制機器語言程式返回到彙編語言程式，來查閱目標碼程式的正確性，它也可作為一種“破譯”程式。
- 程式調試
程式調試是將編制的程式投入實際運行前，用手工或編譯程式等方法進行測試，修正語法錯誤和邏輯錯誤的過程。這是保證計算機信息系統正確性的必不可少的步驟。編完電腦程式，必須送入計算機中測試。根據測試時所發現的錯誤，進一步診斷，找出...
- 程式測試
是指對一個完成了全部或部分功能、模組的計算機程式在正式使用前的檢測，以確保該程式能按預定的方式正確地運行。軟體的正確性尚未得到根本的解決，軟體測試仍是發現軟體錯誤和缺陷的主要手段。為了發現系統中的錯誤，應竭力設計能暴露錯誤...
- 靜態測試
靜態方法是指不運行被測程式本身，僅通過分析或檢查源程式的語法、結構、過程、接口等來檢查程式的正確性。對需求規格說明書、軟體設計說明書、源程式做結構分析、流程圖分析、符號執行來找錯。靜態方法通過程式靜態特性的分析，找出欠缺和...
- 軟體測試——原理、模型、驗證與實踐
第6章程式正確性形式演繹證明 6.1公理化 6.1.1霍爾邏輯及其證明規則 6.1.2霍爾邏輯系統的可靠性和完備性 6.2不變式 6.2.1程式流程圖 6.2.2不變式概念 6.2.3不變式之間的一致性 6.2.4一個更強的屬性 6.2.5流程圖...
- 白盒測試
(3)不驗證規格的正確性。與黑盒測試區別 白盒測試技術（White Box Testing）： 深入到代碼一級的測試，使用這種技術發現問題最早，效果也是最好的。該技術主要的特徵是測試對象進入了代碼內部，根據開發人員對代碼和對程式的熟悉程度，對...
- 調試
調試是保證所提供的設備能夠正常運行的必須程式，所有費用由設備提供商負擔。基本信息 詞目：調試 拼音：tiáo shì 含義：1.編好程式後，用各種手段進行查錯和排錯的過程。作為程式的正確性不僅僅表現在正常功能的完成上，更重要的是對...
