Parasoft C/C++ test 自動化用戶指南（十八）：配置流分析
Parasoft C/C++test針對C/C++開發(fā)的專業(yè)白盒自動化測試方案，能有效提高軟件開發(fā)效率和代碼質(zhì)量。C++test 可以進行靜態(tài)分析，全面代碼審查，運行時錯誤檢測，并在單元測試和組件測試中集成覆蓋率分析。
配置流分析深度
Flow Analysis 通過分析的代碼構(gòu)建路徑以檢測不同類型的問題。由于對跨越整個應(yīng)用程序的所有可能路徑的分析可能不可行，因此您可以設(shè)置所需的分析深度級別。更深入的分析會得到更多的發(fā)現(xiàn)，但性能會變慢，內(nèi)存消耗會略有增加。
可以使用 DTP 中的測試配置界面指定分析深度。轉(zhuǎn)至 報告中心> 測試配置> 靜態(tài)分析> 流分析高級設(shè)置> 性能> 分析深度， 然后通過選擇單選按鈕選擇以下選項之一：
- Shallowest（最快）：只查找源代碼中最明顯的問題。它僅限于問題的原因位于靠近出現(xiàn)問題的代碼的情況。此類分析發(fā)現(xiàn)的違規(guī)執(zhí)行路徑通常跨越單個函數(shù)中的多行代碼。它們很少會跨越 3 個以上的函數(shù)調(diào)用。
- Shallow（快速）：和“Shallowest”分析類型一樣，只查找源代碼中最明顯的問題。但是，它會產(chǎn)生更多的結(jié)果，并允許檢查更長的執(zhí)行路徑。
- 標準：查找包含數(shù)十個元素的執(zhí)行路徑的許多復(fù)雜問題。標準分析超越了淺層分析，還尋找更復(fù)雜的問題，這些問題可能是由于單個功能中的流程不暢或由于所分析項目的不同部分中不同功能之間的交互不當而導(dǎo)致的。此類分析發(fā)現(xiàn)的違規(guī)行為通常會揭示所分析源代碼中的重大錯誤，并且通常跨越數(shù)十行代碼。
- 深度（慢）：允許檢測更多與“標準”深度定義的問題具有相同復(fù)雜性和性質(zhì)的問題。這種類型的分析比標準分析慢。
- 徹底（最慢）：發(fā)現(xiàn)更復(fù)雜的問題。這種類型的分析將對代碼庫進行徹底掃描；這需要更多時間，但會發(fā)現(xiàn)許多非常復(fù)雜的問題，這些問題的違規(guī)路徑可能跨越掃描應(yīng)用程序不同部分的一百多行代碼。建議在夜間運行時使用此選項。
Flow Analysis 的深度 默認設(shè)置為 標準。
設(shè)置超時策略
除了分析深度之外，F(xiàn)low Analysis 還使用額外的超時保護來確保分析在合理的時間內(nèi)完成。使用 DTP 中的測試配置界面可以設(shè)置適當?shù)牟呗浴＾D(zhuǎn)至 報告中心> 測試配置> 靜態(tài)分析> 流分析高級設(shè)置> 性能> 超時策略， 然后通過選擇單選按鈕選擇以下選項之一：
- time：在給定的熱點上花費定義的時間后停止分析。注意：在某些情況下，使用此選項可能會導(dǎo)致報告的違規(guī)數(shù)量略微不穩(wěn)定。
- instructions：執(zhí)行定義數(shù)量的 Flow Analysis 指令后，將停止對給定熱點的分析。注意：要確定要為您的環(huán)境設(shè)置的正確指令數(shù)量，請在生成的報告的“設(shè)置問題”部分查看有關(guān)超時的信息。
- off：沒有超時。注意：使用此選項可能需要更多的時間來完成分析。
默認超時選項的 時間 設(shè)置為 60 秒。
在增量模式下運行流量分析
默認情況下，F(xiàn)low Analysis 會對其運行的范圍執(zhí)行完整的分析。在大型代碼庫上運行時，這可能需要相當長的時間。
執(zhí)行 Flow Analysis 分析的最常見方法是在每天都略有變化的單個代碼庫上運行夜間測試。Flow Analysis 的增量分析模式旨在減少在這種典型場景中運行分析所需的時間。在增量分析模式下，Analysis 會在初始運行期間記住重要的分析數(shù)據(jù)，然后在后續(xù)運行中重新使用它——僅對已修改或與修改代碼緊密相關(guān)的代碼部分重新運行分析。
需要磁盤空間來存儲必要的數(shù)據(jù)。增量分析選項控制增量分析功能。可用選項有：
- 啟用增量分析：確定是否使用增量分析。
- 每隔 [天] 壓縮增量緩存：確定運行增量緩存壓縮的頻率。增量分析針對速度進行了優(yōu)化；盡管 Flow Analysis 力求始終保持較小的緩存大小并刪除不必要的數(shù)據(jù)，但源代碼更改可能會導(dǎo)致這些緩存包含一些不再使用的數(shù)據(jù)。按照此參數(shù)的定義定期運行的壓縮會刪除所有過時的數(shù)據(jù)。更準確地說，如果自上次壓縮以來經(jīng)過的時間大于為此選項指定的天數(shù)，則在 Flow Analysis 增量運行后立即執(zhí)行壓縮。
在啟用分析數(shù)據(jù)交換的情況下運行流分析
在這種模式下，分析數(shù)據(jù)被寫入磁盤。分析數(shù)據(jù)的交換使用相同的持久存儲，并在與增量分析類似的過程中完成。如果在大型項目上運行分析，則表示所分析源代碼的語義模型的分析數(shù)據(jù)可能會消耗可用于運行 Flow Analysis 的所有內(nèi)存。如果發(fā)生這種情況，F(xiàn)low Analysis 將從內(nèi)存中刪除當前不需要的分析數(shù)據(jù)部分，并稍后從磁盤中重新讀取。
通常，我們建議在配置了 Xmx JVM 選項的大型 JVM 堆中運行 C/C++ 測試。這是為了最大限度地減少交換，從而提高性能。如果有足夠的可用內(nèi)存，則可以禁用分析數(shù)據(jù)的交換，這可以加快代碼分析。
您可以使用 DTP 中的測試配置界面啟用或禁用該模式：
啟用將分析數(shù)據(jù)交換到磁盤：默認情況下啟用。如果禁用此選項，則可能會加快分析速度，如果您正在對不需要大量內(nèi)存的中小型項目運行 Flow Analysis 分析，或者有足夠的內(nèi)存可用（例如，對于 64 位系統(tǒng)） ）。
配置流分析的詳細程度
您可以使用 DTP 中的測試配置界面來配置以下選項：
-
無法顯示原因時不報告違規(guī)：確定 Flow Analysis 是否報告無法顯示原因的違規(guī)。
某些 Flow Analysis 規(guī)則要求 Flow Analysis 檢查通向某個點的所有可能路徑，并驗證所有這些路徑是否滿足某個條件。在這種情況下，違規(guī)與一組路徑相關(guān)聯(lián)（而在簡單情況下，違規(guī)僅由一條路徑表示）。這種違例中的所有路徑都以違例中所有路徑共有的違例點結(jié)束。但是，不同的路徑可能從代碼中的不同點開始。每條路徑的開頭是一個違規(guī)原因（代碼中的一個點，它規(guī)定了在違規(guī)點的代碼中后面的某個條件的違規(guī)）。如果多路徑違規(guī)的不同路徑有不同的原因，F(xiàn)low Analysis 將僅顯示違規(guī)點（而不是違規(guī)原因）。
僅包含違規(guī)點的違規(guī)可能難以理解（與 Flow Analysis 顯示從違規(guī)原因開始并導(dǎo)致違規(guī)點的完整路徑的常規(guī)情況相比）。這就是為什么我們提供了一個選項來隱藏無法顯示原因的違規(guī)行為。 - 每個點不顯示多個違規(guī)： 限制每個違規(guī)點報告一次違規(guī)（針對單個規(guī)則）。例如，當 Flow Analysis 檢測到具有多個空值來源的潛在空取消引用時，將報告一次違規(guī)。當詳細程度設(shè)置為該級別時，F(xiàn)low Analysis 性能會稍快一些。
指定終止函數(shù)
您可以定義終止應(yīng)用程序執(zhí)行的函數(shù)。C/C++ 開發(fā)人員有時會使用在發(fā)生無法恢復(fù)的致命錯誤時終止應(yīng)用程序執(zhí)行的函數(shù)。這些功能的示例是abort()與exit()從標準庫。由于 Flow Analysis 分析應(yīng)用程序的執(zhí)行流程，因此了解通過立即停止應(yīng)用程序而中斷執(zhí)行流程的終止函數(shù)很重要。如果沒有這些知識，F(xiàn)low Analysis 可能會對應(yīng)用程序流程做出錯誤的假設(shè)。
Flow Analysis 知道標準庫中定義的終止函數(shù)。然而，這通常是不夠的，因為非標準庫定義了它們自己的終止函數(shù)。如果您的應(yīng)用程序使用這些函數(shù)之一，您應(yīng)該通過在 Terminators 選項卡中指定自定義終止函數(shù)將其傳達給 Flow Analysis。否則，F(xiàn)low Analysis 可能會在執(zhí)行路徑通過終止函數(shù)時產(chǎn)生誤報。
使用列出支持的 API 的表格來啟用/禁用來自各種 API 的終止符，以及定義您自己的包含終止函數(shù)的 API。要從某個庫中添加有關(guān)終止函數(shù)的信息：
- 單擊表格頂行中的+按鈕。
- 單擊箭頭以展開終止應(yīng)用程序執(zhí)行的功能選項卡。
-
完成打開的表格；該表包含以下列：
? 已啟用：指定在分析過程中是否應(yīng)考慮內(nèi)置或自定義終止符。
?完全限定的類型名稱或命名空間（通配符）：指定特定終止符的實體。如果此字段留空，則只有在“函數(shù)名稱”列中指定名稱的全局函數(shù)才會被視為終止符。例如： 如果終止符是在來自 'myNameSpace' 命名空間的 'myClass' 中聲明的，則字段值可能是“myNameSpace::myClass”。或者，如果它未在類型中聲明，而僅屬于“myNameSpace”，則它可能是“myNameSpace”。
?函數(shù)名稱（通配符）：指定終止函數(shù)的名稱。
：指示子類中的終止函數(shù)定義是否也應(yīng)視為終止函數(shù)。這適用于實例函數(shù)和非實例函數(shù)，并且只有在指定了它的完全限定類型名稱時才有意義。
指定多線程選項
的多線程標簽允許你以及以激活線程之間限定用于同步的功能/停用已知多線程功能。此處定義的信息會影響來自 BD.TRS（線程和同步）類別的規(guī)則的行為。這些規(guī)則將檢查在此選項卡上定義和激活的所有功能。
使用列出支持的 API 的表來啟用/禁用來自各種 API 的同步功能，以及定義您自己的包含同步功能的 API。要從某個庫中添加有關(guān)同步函數(shù)的信息：
- 單擊表格頂行中的 + 按鈕。
- 在 API 字段中輸入庫的名稱。
-
單擊箭頭展開選項卡并完成表格以定義以下類型的功能（下面提供了有關(guān)完成表格的詳細信息）：
? 鎖定功能（例如，獲取互斥鎖）
? 解鎖功能（例如，釋放互斥鎖）
? 睡眠功能
? 銷毀鎖定功能
鎖定功能
使用以下信息完成表格：
- 已啟用：指定在分析過程中是否應(yīng)考慮鎖定功能。
- 完全限定的類型名稱或命名空間（通配符）：聲明函數(shù)的類型或命名空間的完全限定名稱。如果要描述在任何類型或命名空間中聲明的函數(shù)，或者在任何類型之外聲明的全局函數(shù)，請使用“*”。
- 函數(shù)名稱（通配符）：鎖定函數(shù)的名稱。'*' 可用于表示任意數(shù)量的任意符號。
- + 子類中的定義：一個復(fù)選框，指示子類中的定義（具有給定名稱的函數(shù)）是否也應(yīng)視為鎖定函數(shù)。請注意，這適用于實例函數(shù)和靜態(tài)函數(shù)。
- “this”對象是一個互斥體：一個復(fù)選框，表示該函數(shù)在調(diào)用該函數(shù)的對象中鎖定了一個互斥體。
- 返回一個互斥體：一個復(fù)選框，指示該函數(shù)返回一個互斥體。
- 錯誤時的返回值約束：如果資源分配器返回整數(shù)值，則指定分配失敗時的返回值約束。按以下格式輸入條件：<比較運算符><整數(shù)值>。例如，如果函數(shù)在失敗時返回非零值，請在字段中輸入“!=0”（不帶引號）。如果錯誤返回碼為 -1，請在此處輸入“==-1”。除了“!=”和“==”，您還可以使用以下運算符來指定錯誤條件：“>”、“>=”、“<”和“<=”。
- 互斥量參數(shù)：指定函數(shù)在其參數(shù)之一中鎖定互斥量。
解鎖功能
使用以下信息完成表格：
- Enabled：指定在分析時是否應(yīng)考慮解鎖功能。
- 完全限定的類型名稱或命名空間（通配符）：聲明函數(shù)的類型或命名空間的完全限定名稱。如果要描述在任何類型或命名空間中聲明的函數(shù)，或者在任何類型之外聲明的全局函數(shù)，請使用“*”。
- 函數(shù)名（通配符）：解鎖函數(shù)的名稱。'*' 可用于表示任意數(shù)量的任意符號。
- + 子類中的定義：一個復(fù)選框，指示子類中的定義（具有給定名稱的函數(shù)）是否也應(yīng)視為解鎖函數(shù)。請注意，這適用于實例函數(shù)和靜態(tài)函數(shù)。
- “this”對象是一個互斥鎖：一個復(fù)選框，指示調(diào)用該函數(shù)的對象中的互斥鎖已解鎖
- 互斥量參數(shù)：指定參數(shù)之一中的互斥量被解鎖。
睡眠功能
使用以下信息完成表格：
- Enabled : 指定在分析過程中是否應(yīng)考慮睡眠功能。
- 完全限定的類型名稱或命名空間（通配符）：聲明函數(shù)的類型或命名空間的完全限定名稱。如果要描述在任何類型或命名空間中聲明的函數(shù)，或者在任何類型之外聲明的全局函數(shù)，請使用“*”。
- 函數(shù)名稱（通配符）：睡眠函數(shù)的名稱。'*' 可用于表示任意數(shù)量的任意符號。
- + 子類中的定義：一個復(fù)選框，指示子類中的定義（具有給定名稱的函數(shù)）是否也應(yīng)視為睡眠函數(shù)。請注意，這適用于實例函數(shù)和靜態(tài)函數(shù)。
破壞鎖功能
使用以下信息完成表格：
- Enabled：指定在分析過程中是否應(yīng)考慮鎖破壞功能。
- 完全限定的類型名稱或命名空間（通配符）：聲明函數(shù)的類型或命名空間的完全限定名稱。如果要描述在任何類型或命名空間中聲明的函數(shù)，或者在任何類型之外聲明的全局函數(shù)，請使用“*”。
- 函數(shù)名稱（通配符）：鎖破壞函數(shù)的名稱。'*' 可用于表示任意數(shù)量的任意符號。
- + 子類中的定義：一個復(fù)選框，指示子類中的定義（具有給定名稱的函數(shù)）是否也應(yīng)視為破壞鎖的函數(shù)。請注意，這適用于實例函數(shù)和靜態(tài)函數(shù)。
- “this”對象是一個互斥鎖：一個復(fù)選框，指示調(diào)用該函數(shù)的對象中的互斥鎖已被銷毀。
- 互斥量參數(shù)：指定參數(shù)之一中的互斥量被銷毀。
指定資源
在 資源 選項卡允許您定義BD.RES類（資源）規(guī)則應(yīng)該檢查哪些資源。這些規(guī)則檢查在此選項卡上定義和啟用的所有資源的正確使用。
- 指定資源類型。
- 選中啟用復(fù)選框。
- 如果合適/需要，禁用終止時不報告泄漏選項。
-
單擊箭頭展開Resource Allocators、Resource Closers、Resource checkers和Safe functions選項卡并完成打開的表格，其中包含有關(guān)分配器、關(guān)閉器、檢查器和安全功能的信息。下面提供了有關(guān)完成這些選項卡的詳細信息。
配置資源分配器
該資源分配器表可以用能夠產(chǎn)生資源的功能描述中完成。該表包含以下列：
- 已啟用：指定在分析期間是否應(yīng)考慮分配器。
- 完全限定的類型名稱或命名空間（通配符）：聲明函數(shù)的類型或命名空間的完全限定名稱。如果要描述在任何類型或命名空間中聲明的函數(shù)，或者在任何類型之外聲明的全局函數(shù)，請使用“*”。
- 函數(shù)名稱（通配符）：分配函數(shù)的名稱。'*' 可用于表示任意數(shù)量的任意符號。
- 資源參數(shù)：指定函數(shù)在其一個或多個參數(shù)中分配資源。在這種情況下，要么指定函數(shù)分配的參數(shù)的從 1 開始的編號，要么使用“*”表示所有參數(shù)都已分配。
- + 子類中的定義：一個復(fù)選框，指示子類中的定義（具有給定名稱的函數(shù)）是否也應(yīng)視為分配器。請注意，這適用于實例函數(shù)和靜態(tài)函數(shù)。
- “this”對象是一個資源：一個復(fù)選框，指示該函數(shù)在調(diào)用該函數(shù)的對象中分配資源。
- 返回資源對象：一個復(fù)選框，指示該函數(shù)返回已分配的資源。
- 錯誤時的返回值約束：如果資源分配器返回整數(shù)值，則指定在分配失敗的情況下的返回值約束。按以下格式輸入條件：<比較運算符><整數(shù)值>。例如，如果函數(shù)在失敗時返回非零值，請在字段中輸入“!=0”（不帶引號）。如果錯誤返回碼為 -1，請在此處輸入“==-1”。除了“!=”和“==”，您還可以使用以下運算符來指定錯誤條件：“>”、“>=”、“<”和“<=”。
分配函數(shù)返回錯誤代碼以指示分配失敗是很常見的。當分配函數(shù)返回指向資源的指針時，NULL 指針通常表示分配失敗。Flow Analysis 在尋找資源泄漏時，需要了解分配是成功還是失敗；這有助于它僅報告在實際發(fā)生分配的路徑上丟失的對釋放函數(shù)的調(diào)用。在資源分配器函數(shù)返回指向資源的指針的情況下，如果指針不為 NULL，則 Flow Analysis 假定資源已成功分配。
配置資源關(guān)閉器
該資源成交表可以與功能的描述，可以關(guān)閉資源完成。該表包含以下列：
- 已啟用：指定在分析期間是否應(yīng)考慮關(guān)閉器。
- 完全限定的類型名稱或命名空間（通配符）：聲明函數(shù)的類型或命名空間的完全限定名稱。如果要描述在任何類型或命名空間中聲明的函數(shù)，或者在任何類型之外聲明的全局函數(shù)，請使用“*”。
- 函數(shù)名稱（通配符）：關(guān)閉函數(shù)的名稱。'*' 可用于表示任意數(shù)量的任意符號。
- + 子類中的定義：一個復(fù)選框，指示子類中的定義（具有給定名稱的函數(shù)）是否也應(yīng)被視為更接近。請注意，這適用于實例函數(shù)和靜態(tài)函數(shù)。
- “this”對象是一個資源：一個復(fù)選框，指示調(diào)用該函數(shù)的對象中的資源已關(guān)閉。
- 資源參數(shù)：指定一個資源在它的一個或多個參數(shù)中是關(guān)閉的。在這種情況下，要么指定由函數(shù)關(guān)閉的參數(shù)的從 1 開始的編號，要么使用“*”表示所有參數(shù)都已分配。
配置資源檢查器
該資源跳棋表可以與功能的描述，可以檢查資源是開放的完成。該表包含以下列：
- 已啟用：指定在分析期間是否應(yīng)考慮檢查器。
- 完全限定的類型名稱或命名空間（通配符）：聲明函數(shù)的類型或命名空間的完全限定名稱。如果要描述在任何類型或命名空間中聲明的函數(shù)，或者在任何類型之外聲明的全局函數(shù)，請使用“*”。
- 函數(shù)名稱（通配符）：檢查函數(shù)的名稱。'*' 可用于表示任意數(shù)量的任意符號。
- + 子類中的定義：一個復(fù)選框，指示子類中的定義（具有給定名稱的函數(shù)）是否也應(yīng)視為檢查器。請注意，這適用于實例函數(shù)和靜態(tài)函數(shù)。
- 'this' 對象是一個資源：一個復(fù)選框，指示該函數(shù)檢查調(diào)用該函數(shù)的對象中的資源。
- 資源參數(shù)：指定函數(shù)在其一個或多個參數(shù)中檢查資源。在這種情況下，要么指定函數(shù)檢查的參數(shù)的從 1 開始的數(shù)字，要么使用“*”表示檢查所有參數(shù)。
- 資源打開時返回值：指定資源打開時檢查函數(shù)的返回值。可接受的值為true或false。
配置安全功能
該安全功能表可以用的，可以安全地調(diào)用在一個封閉的資源功能的描述完成-不觸發(fā)BD-RES-FREE規(guī)則。該表包含以下列：
- 已啟用：指定在分析過程中是否應(yīng)考慮安全功能。
- 完全限定的類型名稱或命名空間（通配符）：聲明函數(shù)的類型或命名空間的完全限定名稱。如果要描述在任何類型或命名空間中聲明的函數(shù)，或者在任何類型之外聲明的全局函數(shù)，請使用“*”。
- 函數(shù)名稱（通配符）：安全函數(shù)的名稱。'*' 可用于表示任意數(shù)量的任意符號。
- + 子類中的定義：一個復(fù)選框，指示子類中的定義（具有給定名稱的函數(shù)）是否也應(yīng)該被認為是安全的。請注意，這適用于實例函數(shù)和靜態(tài)函數(shù)。
擴展分析范圍
在執(zhí)行代碼分析時，F(xiàn)low Analysis 會處理在被測源文件和頭文件中定義的函數(shù)定義。在測試范圍之外的頭文件中定義的函數(shù)不會被分析，并且 Flow Analysis 不知道它們的語義。如果 Flow Analysis 需要有關(guān)在測試范圍之外的頭文件中定義的函數(shù)定義的信息，您可以配置以下選項：
要分析的外部文件：指定要由 Flow Analysis 分析的其他頭文件的絕對路徑。使用通配符指定模式。
要分析的外部函數(shù)：指定要由 Flow Analysis 分析的附加函數(shù)。使用以下信息完成表格：
- 已啟用：指定在分析期間是否應(yīng)考慮該功能
- 完全限定的類型名稱或命名空間（通配符）：聲明函數(shù)的類型或命名空間的完全限定名稱。如果要描述在任何類型或命名空間中聲明的函數(shù)，或者在任何類型之外聲明的全局函數(shù)，請使用“*”。
- 函數(shù)名（通配符）：函數(shù)名。'*' 可用于表示任意數(shù)量的任意符號。
- 數(shù)參數(shù)：指定的函數(shù)的參數(shù)個數(shù)。“-1”可用于表示任意數(shù)量的參數(shù)。
- + 子類中的定義：一個復(fù)選框，指示是否還應(yīng)包括子類中的定義（具有給定名稱的函數(shù)）。請注意，這適用于實例函數(shù)和靜態(tài)函數(shù)。
指定始終被分析的函數(shù)
將始終分析功能選項允許您定義的執(zhí)行路徑上遇到的時候，將永遠被分析的功能。這有助于您確保規(guī)則將分析檢查給定路徑時通常不會輸入的函數(shù)。
選擇啟用復(fù)選框并提供以下信息：
- 完全限定的類型名稱或命名空間（通配符）：包含函數(shù)的類型或命名空間的完全限定名稱。
- 函數(shù)名（通配符）：函數(shù)名。
- + 子類中的定義：指示是否也應(yīng)在子類中考慮該函數(shù)。
特定于編譯器的設(shè)置
“ errno ”值的內(nèi)部表示：Standarddefineserno 是 int 類型的可修改左值。未指定 errno 是宏還是使用外部鏈接聲明的標識符。實現(xiàn)可以使用全局變量“errno”或“__errno”，或應(yīng)用具有不同名稱的被調(diào)用函數(shù)的“(*errno_function())”模式。此選項允許您使用正則表達式指定這些變量和函數(shù)的名稱：
- 函數(shù)名稱模式：使用“errno”值時調(diào)用的函數(shù)名稱。必須使用正則表達式指定名稱。
- 變量名模式：使用“errno”值時調(diào)用的變量名。必須使用正則表達式指定名稱。
從頭文件 <ctype.h> 調(diào)用函數(shù)的內(nèi)部表示：標準指定了要在頭文件 <ctype.h> 中定義的幾個函數(shù)。一些實現(xiàn)（例如 C 模式下的 GNU GCC）將這些函數(shù)定義為宏，這些宏擴展到代碼，該代碼根據(jù)某些標志測試內(nèi)部數(shù)組的元素。這可以是全局數(shù)組或函數(shù)返回的指針。此選項允許您使用正則表達式指定這些變量和函數(shù)的名稱：
- 函數(shù)名稱模式：內(nèi)部調(diào)用的函數(shù)的名稱，而不是頭文件 <ctype.h> 中的函數(shù)之一（使用正則表達式定義）。必須使用正則表達式指定名稱。
- 變量名稱模式：在從頭文件 <ctype.h> 調(diào)用其中一個函數(shù)后在內(nèi)部使用的變量名稱。必須使用正則表達式指定名稱。
重用流動分析數(shù)據(jù)進行桌面分析
使用 Flow Analysis 提高桌面性能的一種方法是重用桌面上的服務(wù)器分析數(shù)據(jù)。為此，您需要定義一個映射，以允許 Flow Analysis 將服務(wù)器文件路徑與相應(yīng)的桌面文件路徑相匹配。
此外，您可以重用數(shù)據(jù)以在小范圍（例如，一個文件）上運行分析，并構(gòu)建包含在定義的分析范圍之外的文件中定義的方法的路徑，前提是這些文件已經(jīng)過分析。
Parasoft——領(lǐng)先的自動化測試工具，滿足絕大多數(shù)行業(yè)標準
Parasoft是一家專門提供軟件測試解決方案的公司，幫助企業(yè)打造無缺陷的軟件。
從開發(fā)到質(zhì)量檢查，Parasoft的技術(shù)通過集成靜態(tài)和運行時分析，單元、功能和API測試，以及服務(wù)虛擬化，在不犧牲質(zhì)量和安全性的情況下加快軟件交付，節(jié)約交付成本。
強大的報告和分析功能可幫助用戶快速查明有風(fēng)險的代碼區(qū)域，并了解新代碼更改如何影響其軟件質(zhì)量，而突破性的技術(shù)將人工智能和機器學(xué)習(xí)添加到軟件測試中，使組織更容易采用和擴展跨開發(fā)和測試團隊的有效的軟件測試實踐。
Parasoft針對C/C++、Java、.NET和嵌入式的開發(fā)測試都有著30多年的深入研究，很多全國500強企業(yè)使用Parasoft的產(chǎn)品實現(xiàn)了軟件快速、高質(zhì)量的交付。
獲取Parasoft資料或申請試用可加QQ：2867205852
QQ交談
在線咨詢
渝公網(wǎng)安備
50010702500608號
客服熱線