要求

Parasoft C/C++test功能

低復(fù)雜度的執(zhí)行

報(bào)告循環(huán)復(fù)雜度、基本復(fù)雜度、Halstead復(fù)雜度和其他代碼指標(biāo)

使用語言子集

編碼標(biāo)準(zhǔn)強(qiáng)制措施，例如檢測不安全的語言構(gòu)造

實(shí)施強(qiáng)類型

編碼標(biāo)準(zhǔn)實(shí)施、隱式轉(zhuǎn)換檢測

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

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

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

實(shí)施行業(yè)編碼標(biāo)準(zhǔn)規(guī)則集，例如MISRA C/C++，JSF，HIS源代碼指標(biāo)等。

使用明確的圖形表示

實(shí)施特定的格式約定

樣式指南的使用

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

命名約定的使用

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

控制流分析

控制流分析

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

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

靜態(tài)代碼分析

編碼標(biāo)準(zhǔn)執(zhí)行

單元測試執(zhí)行

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

單元測試規(guī)范

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

基于需求的測試

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

單元測試規(guī)范

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

接口測試

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

故障注入測試

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

語句覆蓋率

代碼覆蓋率模塊

分支機(jī)構(gòu)覆蓋

代碼覆蓋率模塊

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

代碼覆蓋率模塊

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

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

集成測試

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

功能覆蓋率

代碼覆蓋率模塊

功能呼叫覆蓋范圍

代碼覆蓋率模塊

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

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