VisionTest自動化測試工具
產(chǎn)品概述
VisionTest自動化測試工具
VisionTest 是一款針對 C/C++ 語言簡單易用的、高度自動化的單元與集成測試工具,采用先進(jìn)的動態(tài)符號執(zhí)行與約束求解技術(shù),能夠針對源代碼自動生成高覆蓋率單元測試用例。VisionTest 能夠提供一站式單元測試解決方案,結(jié)合抽象解釋、流敏感、上下文敏感的靜態(tài)分析技術(shù)發(fā)現(xiàn)源代碼中深層次的安全編碼規(guī)則違反、運(yùn)行時(shí)缺陷;同時(shí)能夠分析獲取用戶代碼的質(zhì)量特性,能夠大幅度提高開發(fā)和測試人員的效率,縮短軟件驗(yàn)證周期。
產(chǎn)品特點(diǎn)
· 表格化用例設(shè)計(jì)
基于表格驅(qū)動的可視化用例設(shè)計(jì),利用源碼分析技術(shù)自動獲取展示函數(shù)的接口、全局變量、函數(shù)調(diào)用等信息,可靈活處理數(shù)組、指針、結(jié)構(gòu)體等復(fù)雜數(shù)據(jù)類型,使得測試用例的編寫像編寫表格一樣容易。
· 自動測試用例生成
VisionTest 基于最前沿的動態(tài)符號執(zhí)行技術(shù)和約束求解技術(shù),可以一鍵式自動生成測試用例,輔助測試人員快速完成語句、分支和 MC/DC 覆蓋要求。
· 回歸測試
用例可導(dǎo)入導(dǎo)出,實(shí)現(xiàn)測試用例復(fù)用。自動檢測代碼變更,對變更代碼進(jìn)行回歸測試。
· 源碼覆蓋率分析
支持語句、分支、MC/DC 、函數(shù)調(diào)用覆蓋的自動統(tǒng)計(jì),提供基于項(xiàng)目、文件、函數(shù)、用例的不同維度的代碼覆蓋率信息展示,支持源碼著色顯示和控制流圖著色顯示。
· 樁函數(shù)管理
自動識別函數(shù)調(diào)用關(guān)系,自動對被調(diào)用函數(shù)(包括系統(tǒng)函數(shù))打樁,用戶可靈活控制樁函數(shù)的行為:設(shè)置對全局變量和參數(shù)檢查、設(shè)置樁的返回值或指針內(nèi)容,可設(shè)定多次返回不同值等。
· 編碼規(guī)則檢查
VisionTest 內(nèi)置編碼標(biāo)準(zhǔn)全面,支持 GJB 8114、GJB 5369、CMSE、MISRA-C:2012/2004、CWE、CERT-C 等常用安全編碼標(biāo)準(zhǔn)。
· 代碼質(zhì)量度量
包含 McCabe 圈復(fù)雜度、全局變量數(shù)量、函數(shù)數(shù)量、扇入/扇出、循環(huán)深度、代碼行、注釋行、可執(zhí)行代碼行數(shù)、函數(shù)出口等30種常用度量指標(biāo)。
· 報(bào)告生成
自動生成 Word 格式的中/英文測試用例報(bào)告,報(bào)告的格式和內(nèi)容可定制。
· 嵌入式平臺與開發(fā)環(huán)境支持
- CCS3.3 CCS5.x CCS6.x
- GNU GCC
- Microsoft Visual Studio
- Keil C51
- Workbench 3.x /Tornado2.x
- ARM Developer suite
- IAR
- MPLAB
- RealEvo(SylixOS)
- ReDe(Reworks)等
· 工具集成
軟件全生命周期工具集成,實(shí)現(xiàn) CI/CD、DevOps 等自動化流程。
· 主機(jī)平臺支持
- Windows
- Linux(Ubuntu、CentOS)
- 中標(biāo)麒麟、銀河麒麟