白盒測試落地實踐分為兩個大方向，一個是靜態分析，一個是動態分析，當然啦，也可以叫做靜態測試和動態測試。那我們如何高質量保效率的做好白盒測試呢？Parasoft已經為您準備好了成熟的整體解決方案啦。
1. 高質量
從質量上講，Parasoft的白盒級測試工具C/C++test，Jtest，dotTEST分別可以針對不同編程語言做完備的白盒測試，這期我們以C/C++test為例，我們來聊聊，C/C++test如何保證白盒測試的質量呢
① 靜態測試
從靜態測試講，C/C++test支持靜態測試的三大維度，分別是：模式匹配、流分析、度量分析。我們先來解釋一下這三個維度：
模式匹配：模式匹配就是可以幫助我們的開發人員去掃描代碼，找到代碼字面上的缺陷，比如說變量命名規則、代碼格式等缺陷，在開發早期就保證了代碼的開發質量。
流分析：C/C++test的強大流分析技術，可以在不運行代碼的前提下，找到代碼的隱患缺陷，并且報告出回溯路徑，幫助用戶快速定位代碼，快速修復代碼。
度量分析：C/C++test可以支持用戶選擇幾十種指標，去掃描代碼，最后報告出對應指標的值，來幫助團隊評估代碼。
乍一看，好像這三個維度沒什么太大的關聯，其實不然，這三個維度是依次遞進的關系，一環一環地來保障軟件質量。舉個簡單的例子，開發人員A在今天寫了代碼，通過模式匹配就可以掃描出今天代碼中編碼不合規的地方，再使用流分析的規則來掃描代碼，來找到代碼中實實在在的“問題”，到這里，其實已經很大程度保證了代碼的編程上面沒有什么問題，但是開發好的代碼之后，如何保障一個模塊的質量了？這個時候就需要利用度量分析，來整體評估了。比如說，使用度量分析來分析模塊的”調用深度“這項指標值，分析完成后，就可以看到具體函數的調用深度值了，團隊可以評估結果有沒有超過團隊的預期，如果超過了，證明需要及時調整代碼，來符合預期，如果沒超過，就證明模塊基本初步符合團隊預期。
這三個維度的分析就可以幫助我們高質量地做好靜態分析工作。
② 動態測試
動態測試方面，其實C/C++test也非常強大，C/C++test不僅可以做高質量的靜態測試，而且C/C++test也能做強大的動態測試。
C/C++test可以幫助用戶對各大嵌入式環境做仿真環境單元測試，也能做上板測試，以嵌入式keil for arm為例，C/C++test可以測試對Keil項目做各種覆蓋率的仿真環境單元測試，也能支持上板測試，同時，C/C++test支持高達9種覆蓋率搜集。
在工具操作上，C/C++test支持為用戶自動生成健壯性單元測試用例，支持界面化操作測試用例，支持開放測試用例源碼，支持樁函數視圖，等等。C/C++test的一系列功能，都可以保障客戶將單元測試落到實處，保質保量地快速完成工作。
2. 高效率
如何既保證白盒測試的質量，又保障測試的效率的呢？Parasoft有辦法！C/C++test的工作流可以嵌入到DevOps工作流中！
