什么是正式驗證(Formal Verification)？
通常用于計算機電路和軟件的測試，形式驗證是用數學公式分析這些系統的功能。在開發軟件的情況下，通常用這個過程來顯示程序是否正常工作，基于預先確定的模型。有時理論模型被證明是不令人滿意的。除了軟件的源代碼外，在開...
通常用于計算機電路和軟件的測試，形式驗證是用數學公式分析這些系統的功能。在開發軟件的情況下，通常用這個過程來顯示程序是否正常工作，基于預先確定的模型。有時理論模型被證明是不令人滿意的。除了軟件的源代碼外，在開發用于計算機計算的組合電路時，可以使用形式驗證，除了各種方法外，不同的方法還包括事后驗證、并行驗證和集成驗證算法在形式化驗證中用于測試產品在開發的每個階段的功能。計算的數學過程稱為算法，在形式驗證中用于測試產品的功能產品在開發的每個階段。軟件開發人員可以首先在源代碼和用于構建它的模型中發現錯誤或錯誤。有時，在設計錯誤影響最終結果之前，可以對代碼編寫方式進行根本性的更改。驗證步驟通常有助于確定產品是否正在執行預期的操作，并且符合其所用于的應用程序的規范正式的驗證可以發生在產品完成后，即事實驗證之后。在整個設計和開發過程中使用的標準方法，直到系統完成后才進行分析。在這個階段找出嚴重的錯誤通常會導致昂貴和耗時的修訂。開發和驗證也可以由兩個獨立的小組并行進行驗證。通過相互交流，在整個設計過程中，開發人員可以專注于獨立的任務。集成驗證是指一個團隊執行開發和所需的評估。復雜的數學概念通常用于驗證產品的一路走來的能力。形式驗證的方法因項目而異，但經常使用的是模型檢查。硬件或軟件模型由設計師在成品中想要的各種屬性組成。模型和系統可以定期檢查，看看屬性是否匹配形式驗證中的另一種技術是使用數學公式和邏輯來表示系統及其屬性。在形式系統中定義的規則通常在邏輯中找到。這兩種技術都使用各種方法來確定某個特定的規范開發人員可以在正式的驗證過程中使用不同類型的軟件，每種軟件都是為特定的系統或編程語言定制的
- 發表于 2020-07-30 21:14
- 閱讀 ( 1772 )
- 分類：電腦網絡
你可能感興趣的文章
- 什么是網絡診斷(Network Diagnostic)？ 2627 瀏覽
- 什么是角色扮演游戲（RPG）(Role-Playing Game (RPG))？ 1276 瀏覽
- 什么是PHP(PHP)？ 638 瀏覽
- 什么是HFC(HFC)？ 854 瀏覽
- 有哪些不同類型的協作工具(Different Types of Collaboration Tools)？ 706 瀏覽
- 什么是SWF(SWF)？ 1115 瀏覽
- 什么是IBM的沃森(IBM's Watson)？ 1172 瀏覽
- 什么是權威軟件庫(Definitive Software Library)？ 664 瀏覽
- 什么是托盤軟件(Pallet Software)？ 1037 瀏覽
- 如何在網上保護我的個人信息(Protect my Personal Information Online)？ 721 瀏覽
- 什么是語音驗證(Speech Verification)？ 1297 瀏覽
- 什么是軟件調制解調器(Software Modem)？ 934 瀏覽
- 什么是密碼短語(Passphrase)？ 2707 瀏覽
- 設置Linux游戲服務器的最佳提示是什么(Best Tips for Setting up a Linux&Reg; Game Server)？ 613 瀏覽
- 使用他人的無線互聯網服務是否安全(Is Using Someone else's Wireless Internet Service Secure)？ 611 瀏覽
- 什么是比賽條件(Race Condition)？ 700 瀏覽
- 我怎樣才能舉辦一個局域網聚會(Host a LAN Party)？ 667 瀏覽
- 什么是以太網交叉電纜(Ethernet Crossover Cable)？ 1706 瀏覽
- 什么是安全PC(Secure PC)？ 1196 瀏覽
- 什么是多線程(Multithreading)？ 725 瀏覽
- 什么是退格(Backspace)？ 1646 瀏覽
- 什么是主機總線適配器(Host Bus Adapter)？ 1107 瀏覽
- 什么是流密碼(Stream Cipher)？ 2602 瀏覽
- 在視頻編輯中，什么是轉換(In Video Editing, Transitions)？ 595 瀏覽
- 計算是什么(In Computing, what is PaaS)？ 532 瀏覽
- 什么是協作軟件開發(Collaborative Software Development)？ 825 瀏覽
- 什么是無線硬盤(Wireless Hard Drive)？ 569 瀏覽
- 什么是Wiki(Wiki)？ 895 瀏覽
- 什么是傳輸控制協議(the Transmission Control Protocol)？ 835 瀏覽
- 什么是飛行跟蹤器(Flight Tracker)？ 1742 瀏覽
相關問題
0 條評論
請先 登錄 后評論
admin
0 篇文章
作家榜 ?
-
xiaonan123
189 文章
-
湯依妹兒
97 文章
-
luogf229
46 文章
-
jy02406749
45 文章
-
小凡
34 文章
-
Daisy萌
32 文章
-
我的QQ3117863681
24 文章
-
華志健
23 文章
推薦文章
- 什么是裸DSL(Naked DSL)？
- 什么是回執(Return Receipt)？
- 什么是形狀文件(Shapefile)？
- 什么是無線USB網絡適配器(Wireless USB Network Adapter)？
- 串行協議有哪些不同類型(Different Types of Serial Protocols)？
- 什么是文檔編輯器(Document Editor)？
- 存在點是什么(Point-Of-Presence)？
- 什么是黑匣子模型(Black Box Model)？
- 什么是參考體系結構(Reference Architecture)？
- 什么是緩存清理器(Cache Cleaner)？
- 什么是IP跟蹤器(IP Tracker)？
- 什么是協作圖(Collaboration Diagram)？
- 什么是互聯網架構委員會(Internet Architecture Board)？
- 什么是延遲綁定(Late Binding)？
- 什么是網絡安全工具包(Network Security Toolkit)？
- 什么是開放代理服務器(Open Proxy Server)？
- 什么是RSA加密(RSA Encryption)？
- 什么是Colspan(Colspan)？
- 什么是犯罪軟件(Crimeware)？
- 什么是在線會議(Online Meetings)？
- 什么是服務器端腳本(Server-Side Scripting)？
- 什么是數字指紋(Digital Fingerprinting)？
- 手語軟件有哪些不同類型(Different Types of Sign Language Software)？
- 什么是Web內容編輯器(Web Content Editor)？
- 什么是網絡間諜(Cyber Spy)？
- 什么是順序存取(Sequential Access)？
- 什么是無線電子郵件設備(Wireless Email Device)？
- 什么是幻燈片演示軟件(Slideshow Presentation Software)？
- 什么是故障監測(Fault Monitoring)？
- 什么是網絡檢測器(Network Detector)？