国产区日韩精品一区二区三区,日韩一区二区三区在线,日韩幕无线码一区中文

自動(dòng)化測(cè)試工具Parasoft C/C++ test 自動(dòng)化用戶指南（十三）：內(nèi)置測(cè)試配置

翻譯|使用教程|編輯：李顯亮|2021-07-05 10:40:54.400|閱讀 229 次

概述：Parasoft C++testC++test 可以進(jìn)行靜態(tài)分析，全面代碼審查，運(yùn)行時(shí)錯(cuò)誤檢測(cè)，并在單元測(cè)試和組件測(cè)試中集成覆蓋率分析。本系列文章將為自動(dòng)化用戶提供基礎(chǔ)操作指南，本文將介紹parasoft的內(nèi)置測(cè)試配置。

# 界面/圖表報(bào)表/文檔/IDE等千款熱門軟控件火熱銷售中 >>

相關(guān)鏈接：

Parasoft C/C++test針對(duì)C/C++開發(fā)的專業(yè)白盒自動(dòng)化測(cè)試方案，能有效提高軟件開發(fā)效率和代碼質(zhì)量。C++test 可以進(jìn)行靜態(tài)分析，全面代碼審查，運(yùn)行時(shí)錯(cuò)誤檢測(cè)，并在單元測(cè)試和組件測(cè)試中集成覆蓋率分析。

以下列表包括 [INSTALL]/configs/builtin 目錄中提供的測(cè)試配置。

靜態(tài)分析

該組包括通用靜態(tài)分析測(cè)試配置。

內(nèi)置測(cè)試配置	描述
Global Analysis	檢查全局靜態(tài)分析規(guī)則。
The Power of Ten	檢查基于 Gerard J. Holzmann 的文章“十的力量 - 開發(fā)安全關(guān)鍵代碼的規(guī)則”的規(guī)則。
Metrics	計(jì)算多個(gè)代碼指標(biāo)的值。
Recommended Rules	推薦規(guī)則的默認(rèn)配置。涵蓋大多數(shù)嚴(yán)重性 1 和嚴(yán)重性 2 規(guī)則。包括 Flow Analysis Fast 配置中的規(guī)則。
Effective C++	檢查 Scott Meyers 的“Effective C++”一書中的規(guī)則。這些規(guī)則檢查 C++ 程序的效率。
Effective STL	檢查 Scott Meyers 的“Effective STL”一書中的規(guī)則。
Find Unused Code	包括用于識(shí)別未使用/死代碼的規(guī)則。
Find Duplicated Code	應(yīng)用報(bào)告重復(fù)代碼的靜態(tài)代碼分析規(guī)則。重復(fù)的代碼可能表明應(yīng)用程序設(shè)計(jì)不佳并導(dǎo)致可維護(hù)性問題。
Flow Analysis Aggressive	包括代碼深度流分析的規(guī)則。運(yùn)行此配置可能需要大量時(shí)間。
Flow Analysis Fast	包括淺層流動(dòng)分析的規(guī)則，這限制了報(bào)告的潛在可接受缺陷的數(shù)量。
Flow Analysis Standard	無需測(cè)試用例或應(yīng)用程序執(zhí)行即可檢測(cè)復(fù)雜的運(yùn)行時(shí)錯(cuò)誤。檢測(cè)到的缺陷包括使用未初始化或無效的內(nèi)存、空指針取消引用、數(shù)組和緩沖區(qū)溢出、被零除、內(nèi)存和資源泄漏以及死代碼。這需要一個(gè)特殊的 Flow Analysis 許可選項(xiàng)。
Modern C++ (11, 14 and 17)	檢查強(qiáng)制執(zhí)行現(xiàn)代 C++ 標(biāo)準(zhǔn)（C++11、C++14、C++17）最佳實(shí)踐的規(guī)則。
Sutter-Alexandrescu	根據(jù) Herb Sutter 和 Andrei Alexandrescu 所著的“C++ 編碼標(biāo)準(zhǔn)”一書檢查規(guī)則。

合規(guī)包

合規(guī)性包包括為特定合規(guī)性領(lǐng)域量身定制的測(cè)試配置，以幫助您執(zhí)行特定于行業(yè)的合規(guī)性標(biāo)準(zhǔn)和實(shí)踐。

在 DTP 上顯示合規(guī)性結(jié)果：此類別中的某些測(cè)試配置在 DTP 上具有相應(yīng)的“合規(guī)性”擴(kuò)展，可讓您查看安全合規(guī)性狀態(tài)、生成合規(guī)性報(bào)告并監(jiān)控實(shí)現(xiàn)安全合規(guī)性目標(biāo)的進(jìn)度。這些測(cè)試配置需要激活專用許可證功能。

航空航天包

內(nèi)置測(cè)試配置	描述
Joint Strike Fighter	檢查執(zhí)行聯(lián)合攻擊戰(zhàn)斗機(jī) (JSF) 程序編碼標(biāo)準(zhǔn)的規(guī)則。

汽車包

內(nèi)置測(cè)試配置	描述
AUTOSAR C ++ 14 編碼指南	檢查強(qiáng)制執(zhí)行 AUTOSAR C++ 編碼指南（自適應(yīng)平臺(tái)，版本 19.03）的規(guī)則。此測(cè)試配置是 Parasoft 合規(guī)性包解決方案的一部分，允許您使用 DTP 上的“合規(guī)性”擴(kuò)展來監(jiān)控行業(yè)標(biāo)準(zhǔn)的合規(guī)性。它需要激活專用許可證功能。
HIS Source Code Metrics	檢查 Herstellerinitiative Software (HIS) 組所需的指標(biāo)。
High Integrity C++	檢查強(qiáng)制執(zhí)行高完整性 C++ 編碼標(biāo)準(zhǔn)的規(guī)則。
MISRA C 1998	檢查強(qiáng)制執(zhí)行 MISRA C 編碼標(biāo)準(zhǔn)的規(guī)則
MISRA C 2004	檢查強(qiáng)制執(zhí)行 MISRA C 2004 編碼標(biāo)準(zhǔn)的規(guī)則。
MISRA C 2012	檢查強(qiáng)制執(zhí)行 MISRA C 2012 編碼標(biāo)準(zhǔn)的規(guī)則。
MISRA C++ 2008	檢查強(qiáng)制執(zhí)行 MISRA C++ 2008 編碼標(biāo)準(zhǔn)的規(guī)則。

醫(yī)療器械包

內(nèi)置測(cè)試配置	描述
Recommended Rules for FDA (C)	檢查為遵守 FDA 軟件驗(yàn)證通用原則（C 語言的測(cè)試配置）而推薦的規(guī)則。
Recommended Rules for FDA (C++)	檢查為遵守 FDA 軟件驗(yàn)證通用原則（C++ 語言的測(cè)試配置）而推薦的規(guī)則。

安全包

內(nèi)置測(cè)試配置	描述
CWE Top 25 2019	包括查找歸類為 CWE 標(biāo)準(zhǔn)的前 25 個(gè)最危險(xiǎn)編程錯(cuò)誤的問題的規(guī)則。
CWE Top 25 2019 + On the Cusp	包括查找歸類為 CWE 標(biāo)準(zhǔn)的前 25 個(gè)最危險(xiǎn)編程錯(cuò)誤或包含在 CWE Weaknesses On the Cusp 列表中的問題的規(guī)則。
DISA-ASD-STIG	包括查找由國(guó)防信息系統(tǒng)局提供的應(yīng)用程序安全和開發(fā) STIG（安全技術(shù)實(shí)施指南）中確定的問題的規(guī)則。
OWASP API Security Top 10 2019	包括發(fā)現(xiàn)在 OWASP 的 API 安全前 10 名標(biāo)準(zhǔn)中發(fā)現(xiàn)的問題的規(guī)則。
OWASP Top 10 2017	包括發(fā)現(xiàn)在 OWASP 的 Top 10 標(biāo)準(zhǔn)中發(fā)現(xiàn)的問題的規(guī)則
Payment Card Industry Data Security Standard	包括發(fā)現(xiàn) PCI 數(shù)據(jù)安全標(biāo)準(zhǔn)中發(fā)現(xiàn)的問題的規(guī)則。
SEI CERT C Guidelines	檢查 SEI CERT C 編碼標(biāo)準(zhǔn)的規(guī)則和建議。該標(biāo)準(zhǔn)提供了安全編碼的指南。目標(biāo)是通過例如消除可能導(dǎo)致未定義程序行為和可利用漏洞的未定義行為來促進(jìn)安全、可靠和安全系統(tǒng)的開發(fā)。
SEI CERT C Rules	檢查 SEI CERT C 編碼標(biāo)準(zhǔn)的規(guī)則。該標(biāo)準(zhǔn)提供了安全編碼的指南。目標(biāo)是通過例如消除可能導(dǎo)致未定義程序行為和可利用漏洞的未定義行為來促進(jìn)安全、可靠和安全系統(tǒng)的開發(fā)。
SEI CERT C++ Rules	檢查 SEI CERT C++ 編碼標(biāo)準(zhǔn)的規(guī)則。該標(biāo)準(zhǔn)提供了安全編碼的指南。目標(biāo)是通過例如消除可能導(dǎo)致未定義程序行為和可利用漏洞的未定義行為來促進(jìn)安全、可靠和安全系統(tǒng)的開發(fā)。
Security Rules	發(fā)現(xiàn)安全問題的通用測(cè)試配置
UL 2900	包括發(fā)現(xiàn)UL-2900 標(biāo)準(zhǔn)中確定的問題的規(guī)則。

運(yùn)行時(shí)分析

內(nèi)置測(cè)試配置	描述
覆蓋范圍	生成代碼覆蓋率報(bào)告。
單元測(cè)試	分析使用 C/C++test 的連接器收集的 CppUnit 或 CppUTest 測(cè)試結(jié)果。

合規(guī)性包規(guī)則映射

本節(jié)包括 CWE 標(biāo)準(zhǔn)的規(guī)則映射。其他標(biāo)準(zhǔn)的映射信息可在 Compliance Packs 附帶的 PDF 規(guī)則映射文件中找到。

CWE ID	CWE名稱	Parasoft 規(guī)則 ID
CWE-119	內(nèi)存緩沖區(qū)范圍內(nèi)的操作限制不當(dāng)	CWE-119-a CWE-119-b CWE-119-c CWE-119-d CWE-119-e CWE-119-f CWE-119-g CWE-119-h CWE-119-i CWE-119-j
CWE-79	網(wǎng)頁(yè)生成期間輸入的不當(dāng)中和（“跨站點(diǎn)腳本”）	不適用
CWE-20	不正確的輸入驗(yàn)證	CWE-20-a CWE-20-b CWE-20-c CWE-20-d CWE-20 CWE-20-f CWE-20-g CWE-20-h CWE-20-i CWE-20-j
CWE-200	信息曝光	CWE-200-a
CWE-125	越界讀取	CWE-125-a CWE-125-b CWE-125-c CWE-125-d
CWE-89	SQL 命令中使用的特殊元素的不當(dāng)中和（“SQL 注入”）	CWE-89-a
CWE-416	免費(fèi)使用	CWE-416-a CWE-416-b CWE-416-c
CWE-190	整數(shù)溢出或環(huán)繞	CWE-190-a CWE-190-b CWE-190-c CWE-190-d CWE-190-e CWE-190-f CWE-190-g
CWE-352	跨站請(qǐng)求偽造 (CSRF)	不適用
CWE-22	對(duì)受限目錄的路徑名限制不當(dāng)（“路徑遍歷”）	CWE-22-a
CWE-78	操作系統(tǒng)命令中使用的特殊元素的不當(dāng)中和（“操作系統(tǒng)命令注入”）	CWE-78-a
CWE-787	越界寫入	CWE-787-a CWE-787-b CWE-787-c CWE-787-d CWE-787-e CWE-787-f
CWE-287	不正確的認(rèn)證	CWE-287-a
CWE-476	空指針解引用	CWE-476-a CWE-476-b
CWE-732	關(guān)鍵資源的權(quán)限分配不正確	CWE-732-a CWE-732-b
CWE-434	無限制上傳危險(xiǎn)類型文件	不適用
CWE-611	XML 外部實(shí)體引用的不當(dāng)限制	CWE-611-a
CWE-94	代碼生成控制不當(dāng)（“代碼注入”）	不適用
CWE-798	硬編碼憑證的使用	CWE-798-a
CWE-400	不受控制的資源消耗	CWE-400-a
CWE-772	有效生命周期后缺少資源釋放	CWE-772-a CWE-772-b
CWE-426	不受信任的搜索路徑	CWE-426-a
CWE-502	不可信數(shù)據(jù)的反序列化	不適用
CWE-269	權(quán)限管理不當(dāng)	CWE-269-a CWE-269-b
CWE-295	不正確的證書驗(yàn)證	不適用

Parasoft——領(lǐng)先的自動(dòng)化測(cè)試工具，滿足絕大多數(shù)行業(yè)標(biāo)準(zhǔn)

Parasoft是一家專門提供軟件測(cè)試解決方案的公司，幫助企業(yè)打造無缺陷的軟件。

從開發(fā)到質(zhì)量檢查，Parasoft的技術(shù)通過集成靜態(tài)和運(yùn)行時(shí)分析，單元、功能和API測(cè)試，以及服務(wù)虛擬化，在不犧牲質(zhì)量和安全性的情況下加快軟件交付，節(jié)約交付成本。

強(qiáng)大的報(bào)告和分析功能可幫助用戶快速查明有風(fēng)險(xiǎn)的代碼區(qū)域，并了解新代碼更改如何影響其軟件質(zhì)量，而突破性的技術(shù)將人工智能和機(jī)器學(xué)習(xí)添加到軟件測(cè)試中，使組織更容易采用和擴(kuò)展跨開發(fā)和測(cè)試團(tuán)隊(duì)的有效的軟件測(cè)試實(shí)踐。

Parasoft針對(duì)C/C++、Java、.NET和嵌入式的開發(fā)測(cè)試都有著30多年的深入研究，很多全國(guó)500強(qiáng)企業(yè)使用Parasoft的產(chǎn)品實(shí)現(xiàn)了軟件快速、高質(zhì)量的交付。

自動(dòng)化測(cè)試工具Parasoft C/C++ test 自動(dòng)化用戶指南（十一）：Visual Studio設(shè)置