要求

Parasoft C/C++test功能

低復雜度的執(zhí)行

報告循環(huán)復雜度、基本復雜度、Halstead復雜度和其他代碼指標

使用語言子集

編碼標準強制措施，例如檢測不安全的語言構(gòu)造

實施強類型

編碼標準實施、隱式轉(zhuǎn)換檢測

防御性實現(xiàn)技術(shù)的使用

針對適當?shù)木幋a標準規(guī)則執(zhí)行防御性編程，例如，檢查malloc的返回值，檢查被調(diào)用函數(shù)返回的錯誤代碼值等。

使用既定的設(shè)計原則

實施行業(yè)編碼標準規(guī)則集，例如MISRA C/C++，JSF，HIS源代碼指標等。

使用明確的圖形表示

實施特定的格式約定

樣式指南的使用

強制執(zhí)行特定的編碼約定

命名約定的使用

特定命名約定的執(zhí)行

控制流分析

控制流分析

數(shù)據(jù)流分析

數(shù)據(jù)流分析

靜態(tài)代碼分析

編碼標準執(zhí)行

單元測試執(zhí)行

• 單元測試執(zhí)行模塊
• 報告模塊，用于顯示結(jié)果

單元測試規(guī)范

• 可配置的單元測試生成模塊根據(jù)定義的規(guī)范創(chuàng)建測試
• 測試用例瀏覽器模塊顯示所有已定義測試用例的列表，以及通過/失敗狀態(tài)

基于需求的測試

• 用戶可以根據(jù)需求使用Parasoft C/C++test設(shè)計單元測試用例
• 單元測試用例可以帶有需求ID
• Parasoft C/C++test報告框架與需求管理系統(tǒng)集成，并生成報告以在特定需求的上下文中顯示測試結(jié)果

單元測試規(guī)范

• 與協(xié)奏曲一起映射具有需求和/或缺陷的測試用例
• 支持手動創(chuàng)建的用戶定義的測試用例以及使用“測試用例編輯器”創(chuàng)建的測試

接口測試

• 可以創(chuàng)建單元測試用例
• 使用功能存根和數(shù)據(jù)源來模擬外部組件的行為以自動執(zhí)行單元測試

故障注入測試

• 使用功能存根執(zhí)行故障條件
• 使用不同的前提條件自動生成單元測試（例如，最小、最大、啟發(fā)式值）

語句覆蓋率

代碼覆蓋率模塊

分支機構(gòu)覆蓋

代碼覆蓋率模塊

MC/DC（修改的條件/決策范圍）

代碼覆蓋率模塊

單元測試的測試環(huán)境應(yīng)盡可能與目標環(huán)境相對應(yīng)

 可以在目標設(shè)備和模擬器上執(zhí)行單元測試，以在不同的環(huán)境中執(zhí)行測試（例如，軟件在環(huán)，處理器在環(huán)，硬件在環(huán)）

集成測試

靈活配置測試軟件范圍（從單個功能到整個應(yīng)用程序）

功能覆蓋率

代碼覆蓋率模塊

功能呼叫覆蓋范圍

代碼覆蓋率模塊

用于軟件集成測試的測試環(huán)境應(yīng)盡可能與目標環(huán)境相對應(yīng)

• 可以在目標設(shè)備和模擬器上執(zhí)行集成測試，以在不同的環(huán)境中執(zhí)行測試（例如，軟件在環(huán)，處理器在環(huán)，硬件在環(huán)）
• 靈活的存根框架