創提部落格
希望我們能與您分享和探討成長中的點點滴滴
在VectorCAST for Linux中使用分類樹功能生成測試用例
在軟體測試中,測試用例的設計是對測試品質而言非常關鍵的軟體測試活動,因為測試用例集合的選擇對測試的深度和測試範圍的影響非常大。分類樹方法是由Grochtmann和Grimm在1993年提出的,是在軟體功能測試方面一種有效的測試方法,通過分類樹把測試物件的整個輸入域分割成獨立的類。按照分類樹方法,測試物件的輸入域被認為是由各種不同的方面組成並且都與測試相關。對於每個方面,分離和組成各種類別,而分類結果的各類又可能再進一步地被分類。這種通過對輸入域進行層梯式的分類表現為樹狀結構。
使用Helix QAC對OpenHarmony程式碼做靜態分析
Helix QAC是一款權威的C/C++程式碼合規性靜態分析工具,適用於對程式碼的規範性和可靠性有較高要求的軟體系統。針對任何C/C++程式碼都可以使用Helix QAC來做靜態分析,找出程式碼中不符合編碼規範的語法問題,提高軟體整體編碼品質,優化編碼開發習慣。本文對面向全場景、全連接、全智慧時代的Harmony OS的開源專案OpenHarmony程式碼進行靜態分析。
Helix QAC所提供的四種抑制方式
今天我們要討論的是Perforce的Helix QAC工具的錯誤抑制功能。Helix QAC提供了多種不同的抑制功能可以使用在不同的場景下。這些功能分為: 透過注釋的方式來抑制錯誤、透過Baseline的方式來抑制錯誤、透過Dashboard的方式來抑制錯誤 、透過#pragma的方式來抑制錯誤。
如何在VectorCAST中測試可變參數函數?
在對專案代碼做單元測試時,有些函數可能是可變參數的函數,針對可變參數函數生成測試用例後,會發現參數樹中只能找到固定的參數部分,可變參數部分無法輸入參數。這是因為VectorCAST不能直接在參數樹中顯示出沒有名稱的參數,所以在測試用例設計介面中無法找到可變參數的部分。在這種情況下,如果需要測試可變參數函數,可以借助User Code來測試被測函數。
使用需求管理工具來提升需求管理和追溯的效率
通過Visure Requirement, 使用者可以很方便地把所有目前的需求都納入進需求管理工具,進行統一管理,並能在一個畫面上看到所有需要看到的資料,無需開啟多個 Word 和 Excel 檔案。
AUTOSAR C++14編碼規範的前世今生
AUTOSAR C++14編碼規範作為最新的汽車電子行業規範,自發佈之初就備受汽車製造和供應商的關注,除了開發自動駕駛、ADAS、新能源和V2X等應用的企業以外,開發高複雜軟體系統的汽車廠商都值得推薦對其進行瞭解。可以預見,隨著汽車軟體系統的日益複雜化,AUTOSAR C++14編碼規範將會迅速應用到越來越多的汽車系統的研發過程中。
DT10功能介紹--DT10多波示波器
DT10多波示波器和模擬盒在發現並解決嵌入式軟體的問題方面有非常獨特的能力。它的功能類似於邏輯分析器和示波器,可以讓軟體工程師看到代碼的執行情況。但是DT10多波示波器是專門為嵌入式軟體設計的,所以它的安裝和配置更為簡便。
通過DT10檢測多工阻塞鎖死問題
DT10是新一代的動態測試工具,可以長時間跟蹤記錄目的程式執行情況,獲取目的程式動態執行資料,説明進行難於重現的Bug錯誤分析,覆蓋率檢測,性能測試,變數跟蹤,多工程式等等功能;還可以説明使用者檢測和調試VxWorks程式多工阻塞鎖死相關問題。
DT10功能介紹--自動化的變數驗證器
嵌入式開發人員和測試人員使用DT10時,最常用到的一個自動調試功能就是:監控並報告在運行時狀態下,參數在什麼時候、哪個位置出現了非法值或越界值。這能夠説明發現運行時軟體中存在的與記憶體相關的很多問題。
通過DT10檢測記憶體洩漏問題
DT10是新一代的動態測試工具,可以長時間跟蹤記錄目的程式執行情況,獲取目的程式動態執行資料,説明進行難於重現的Bug錯誤分析,覆蓋率檢測,性能測試,變數跟蹤等等功能;還可以説明使用者查找記憶體洩露問題。