軟體除錯筆記21 WINDOWS驗證機制

2021-08-11 13:45:24 字數 825 閱讀 8569

常見測試手段

雖然各種測試都有優勢跟側重點,但即使用了所有的手段,也不能保證會發現所有的問題,比如測試的時候執行環境和條件不足以將錯誤觸發並暴露出來。所以windows系統提供了驗證機制來滿足這個需求。

windows驗證機制簡介

從編譯和構建角度,windows的系統映像檔案有checked和free版本,差別是checked版本包含斷言。但斷言只是檢查軟體自身的,與windows的驗證機制不一樣。驗證機制主要目標是檢查被測試軟體,或者說是為了被測試軟體提供乙個驗證器verifier。

驗證器分為驅動程式驗證器和應用程式驗證器,將重點介紹應用程式驗證器。

應用程式驗證器

應用程式驗證器分兩部分:實現在ntdll中的一系列函式,和應用程式驗證器的工具包。用來發現軟體與系統的相容性,記憶體分配,核心物件使用和api呼叫等情況。

設計原理是通過掛接應用程式的iat表來擷取應用程式對程式設計介面api的呼叫,然後驗證它是否符合windows sdk所定義的設計規範。

組成

應用驗證器由3個部分組成:

unix linux 環境軟體除錯筆記

員工培訓 ppt 內容 靜態 跟蹤 正規表示式簡介 函式定義 find h 查詢函式宣告 sclass function 使用 在檔案中查詢 功能 find name 轉到某一行 括號匹配 分析 1 摺疊 2 變數查詢與替換 左值和右值 3 比較 ulteredit 其它的工具 editplus 優...

mysql cache除錯筆記

mysql cache除錯筆記 1 可以使用下列命令開啟mysql的select cache功能 set global query cache size 102400000 因為當query cache size預設為0時,是不開啟cache功能的。2 除錯 檢視cache的設定 show vari...

GDB 除錯筆記

chmod 777 r 給許可權包括子目錄下的所有檔案 ls l 顯示檔案的許可權大小時間等資訊 break 5 在第五行打斷點 break test 在函式test 打斷點 info break 顯示所有斷點 i b delete 2 刪除第二個斷點 list 顯示 list 1 從第一行向下顯示...