Parasoft C/C++ test 自動化用戶指南(五):命令行選項
Parasoft C/C++test針對C/C++開發的專業白盒自動化測試方案,能有效提高軟件開發效率和代碼質量。C++test 可以進行靜態分析,全面代碼審查,運行時錯誤檢測,并在單元測試和組件測試中集成覆蓋率分析。
命令行選項
配置測試配置
-config <config_url>
此選項允許您指定將用于分析的測試配置。該選項后面必須跟有內置、用戶定義或 DTP 托管的測試配置的名稱。例子:
- cpptestcli -config "builtin://MISRA C"
- cpptestcli -config "user://My_Config"
- cpptestcli -config "dtp://New_Rules"
-listconfigs
此選項打印可用測試配置的列表,可用于獲取您可以通過該-config選項傳遞的有效測試配置名稱。
配置編譯器
-compiler <name|path>
此選項指定用于代碼分析和檢測的編譯器配置名稱。編譯器配置名稱需要是受支持的編譯器名稱之一。
-list-compilers
此選項打印支持的編譯器列表,可用于獲取您可以通過該-compiler選項傳遞的有效編譯器 ID 。
-detect-compiler
此選項根據您指定的帶或不帶路徑的編譯器命令(可執行文件名稱)檢測編譯器。您可以提供帶有分號分隔列表的編譯器命令列表,并使用此選項獲取有效的編譯器 ID 以與該-compiler選項一起傳遞。例子:
- -detect-compiler gcc
配置輸入范圍
-trace <build command>
此選項指定啟動構建過程以編譯要測試的文件的構建命令。有關構建過程的信息和構建期間收集的輸入范圍數據存儲在cpptest.bdf文件中。必須在 之前指定 C/C++test 特定的選項-trace,因為后面的所有值-trace都將被解釋為構建命令。例子:
- cpptestcli -config "builtin://Recommended Rules" -compiler gcc_3_4 -trace make clean all
-input <build data file|project file>
此選項指定現有構建數據文件 (.bdf) 或另一個項目定義文件的路徑以收集輸入范圍。
構建數據文件:您可以-trace使用選項或使用獨立cpptestscan或cpptesttrace實用程序創建構建數據文件;
項目定義文件: C/C++ 支持以下文件類型:
- Microsoft Visual Studio 項目和解決方案(.vcproj、.vcxproj、.sln)。在指定 Microsoft Visual Studio 項目或解決方案時,您可以提供配置和平臺來收集 <PROJECT_FILE>@<CONFIGURATION>|<PLATFORM> 的數據。
- 由 CMake 構建系統生成的 JSON 格式 (.json) 文件。
例子:
- -input cpptest.bdf
- -input MyProject.vcproj
- -input MySolution.sln
- -input "MySolution.sln@Release|Win32"
- -input compile_commands.json
-- <compile command
用于從編譯命令收集輸入范圍的開關。確保編譯命令完整并包含編譯器可執行文件、編譯器標志和源文件。
C/C++test 特定的選項必須在-- switch之前指定,因為switch之后的所有值--都將被解釋為編譯器命令。例子:
- cpptestcli -config "builtin://Recommended Rules" -compiler gcc_3_4 -- gcc -I include Bank.cxx
-module [<module name>=]<module root directory>
此選項指定模塊根目錄并將其與模塊關聯。如果未指定模塊名稱,C/C++test 將使用目錄名稱作為模塊名稱。
此選項允許您為 .bdf 文件中包含的 C/C++test 文件定義模塊化結構:
- 位于指定模塊根目錄(或其子目錄)中的源文件屬于關聯模塊
- 位于指定模塊根目錄(或其子目錄)中的頭文件屬于相關模塊
- 包含在測試源文件中的頭文件僅在它與源文件屬于同一模塊時才被測試
您可以多次指定此選項以定義多個模塊 - 例如,包含在一個 .bdf 文件中的文件可以分為不同的模塊。
Microsoft Visual Studio 項目/解決方案(.vcproj、.vcxproj、.sln)不支持此選項。
例子:
- -module MyProject=/home/project/src
- -module ../Module1
- -module .
-resource <path|file name>
此選項縮小了輸入范圍。您可以指定以下選項之一:
- 文件路徑 - 測試選定的文件
- 目錄的路徑 - 測試所選目錄中包含的文件
- 文件名 - 僅測試與指定名稱匹配的文件
- .lst列出要分析的資源的文件路徑(文件中的 ech 行將被視為單個條目)
例子:
- -resource /home/cpptest/examples/ATM/ATM.cxx
- -resource /home/cpptest/examples/ATM
- -resource ATM.cxx
- -resource c:/resource.lst
-include <absolute path> and -exclude <absolute path>
這些選項包括或排除與指定模式匹配的文件進入/退出檢測范圍。可以多次指定選項。最終過濾僅在所有包含/排除條目按其規范順序指定后確定。
提供文件的絕對路徑(您可以*用作通配符)。例子:
- -include /home/project/src/ATM.cxx
- -exclude /home/project/src/*.cxx
- -exclude /home/project/MyExcludes.lst
報告
-report <path>
此選項指定將創建報告的目錄的路徑。
-publish
此選項將結果發送到 DTP。
自定義配置
-settings <path>, -localsettings <path>, and -ls <path>
此選項指定包含以下格式的自定義設置的自定義 .properties 文件的路徑:(key=value例如,report.format=pdf)。您可以多次使用此選項來指定多個 .properties 文件。具有相同密鑰的條目將被覆蓋。例子:- -settings Project1Config.properties
-property <key>=<value>
此選項允許您直接在命令行中配置單個設置。使用以下格式:key=value.
您可以多次使用此選項在同一命令行上配置多個設置。具有相同密鑰的較早條目將被覆蓋。例子:
- -property session.tag=sa_linux -property report.dtp.publish=true -property techsupport.create.on.exit=true
-showsettings
此選項打印當前設置和自定義。
-psrc <path|name>
此選項指定 Parasoft 支持提供的高級配置文件。例子:
- -psrc advanced_options.psrc
其他選項
-machineId
此選項打印您的機器 ID。
-encodepass <your password>
此選項打印可在 .properties 配置文件中使用的編碼密碼。
-workspace <path>
此選項指定要在代碼分析和檢測期間使用的工作區目錄。工作空間位置用于存儲 C/C++test 數據文件(如cpptest.bdf)和增量數據目錄(.cpptest)。如果未指定,C/C++test 將使用您的工作目錄進行存儲。例子:
- -workspace /home/qa/workspace_for_project1
每個工作區只能運行一個 C/C++test 實例。
-showdetails
此選項會增加控制臺的詳細程度以顯示進度詳細信息。
-fail
如果報告違規或設置問題,此選項會通過返回非零退出代碼使命令失敗。
-version
此選項打印有關您正在使用的 Parasoft 工具版本的信息。
-help
此選項打印命令行幫助。