VectorCAST是領先的(de)專門用于高(gāo)可(kě)靠性和(hé)高(gāo)安全性軟件的(de)自(zì)動化動态測試工具鏈,覆蓋軟件的(de)單元測試、模塊測試、集成測試、系統功能測試、回歸測試和(hé)覆蓋率分析等軟件全生命周期SDLC的(de)主要測試環節。VectorCAST支持對C, C++和(hé)Ada語言的(de)測試,尤其适用于對嵌入式軟件應用的(de)測試。用戶使用VectorCAST不僅可(kě)以顯著提高(gāo)軟件的(de)質量、測試效率和(hé)完整性,還能有效滿足諸如(rú)功能安全和(hé)适航等多種行業的(de)合規性要求。
VectorCAST軟件測試工具經過了國際權威的(de)機構的(de)認證和(hé)鑒定,符合多種行業認證的(de)标準,如(rú)DO-178B/C, ISO 26262, ASPICE, IEC 61508, En 50128, IEC 62304, IEC 60880等。憑借在行業的(de)認可(kě)度、測試的(de)自(zì)動化程度、對嵌入式環境完善的(de)支持和(hé)測試效率等方面的(de)優勢,VectorCAST已經廣泛應用于航空電子(zǐ)、國防軍工、汽車電子(zǐ)、軌道(dào)交通、工業自(zì)動化、醫療器械、物聯網和(hé)電力電子(zǐ)等行業。
核心價值
測試軟件的(de)單元、模塊和(hé)相互集成的(de)可(kě)靠性和(hé)邏輯正确性
顯著提升軟件動态測試的(de)效率
驗證和(hé)改進測試的(de)完整性
“一(yī)站式”覆蓋代碼動态測試流程的(de)各個環節
豐富的(de)項目經驗和(hé)權威認證,能快速滿足合規性要求
優勢和(hé)亮(liàng)點
VectorCAST提供高(gāo)效的(de)軟件圖形化動态測試平台–幾乎無需編碼!
集成第三方商用解析器原生支持超過40種常用編譯開發環境
成熟支持Windows和(hé)Linux等各種版本的(de)主機環境
支持使用分類樹設計測試數據
支持人工分析覆蓋和(hé)測試覆蓋相結合
提供靈活、方便的(de)測試用例管理(lǐ)、回歸和(hé)複用
集成ALM系統形成需求和(hé)測試的(de)可(kě)追溯性,如(rú)Visure Requirements, DOORs等
完美符合适航或功能安全認證等安全合規要求
VectorCAST提供完整的(de)單元測試、集成測試和(hé)系統功能測試工具鏈解決方案
VectorCAST全面支持各種C, C++11, C++14, C++17, Ada等開發語言标準
VectorCAST內(nèi)建多種智能的(de)自(zì)動化測試用例生成算法
支持統計覆蓋軟件生命周期的(de)測試覆蓋率
VectorCAST支持在模拟器和(hé)目标闆上測試
VectorCAST支持對系統測試用例的(de)變更分析
VectorCAST提供廣泛的(de)第三方集成,如(rú)靜态分析,Jenkins等工具
VectorCAST支持各種行業标準并提供第三方權威工具認證報告和(hé)鑒定包,包括DO-178B/C, ISO 26262,ASPICE, IEC 61508, En 50128, IEC 62304和(hé)IEC 60880等
主要功能
單元測試
集成測試
系統測試
錯誤注入測試
覆蓋率分析
耦合分析和(hé)驗證
需求跟蹤
質量管理(lǐ)平台
工具的(de)認證和(hé)鑒定
VectorCAST支持對每個軟件單元進行測試,小到一(yī)個函數,大到多個函數組合而成的(de)一(yī)個模塊,都可(kě)以作為(wèi)單元測試的(de)對象。VectorCAST利用集成的(de)商用解析器,解析被測對象的(de)結構和(hé)依賴關系,自(zì)動生成測試驅動,和(hé)相關依賴資源一(yī)起構建成測試環境。用戶基于此環境可(kě)以利用豐富的(de)智能化的(de)算法自(zì)動批量地(dì)生成測試用例,迅速提高(gāo)測試覆蓋率;也可(kě)以利用VectorCAST便捷的(de)圖形化用例編輯器或外部數據源文件,針對性地(dì)設計各種複雜參數類型的(de)輸入輸出值、全局變量和(hé)樁函數。根據被測對象環境的(de)不同,測試用例将會在主機平台、嵌入式環境模拟器或者目标機上執行,并在VectorCAST軟件中顯示測試結果和(hé)報告。
VectorCAST支持多個函數單元/子(zǐ)模塊之間的(de)集成測試,利用鼠标一(yī)鍵拖拉的(de)方式組合VectorCAST已有測試用例,用來創建滿足各種需求場景的(de)複雜集成測試用例,包括驗證模塊接口的(de)輸入輸出是否符合設計期望,或者驗證有相互影響關系的(de)模塊之間的(de)邏輯正确有否。VectorCAST支持對測試用例任意設置執行順序、執行次數或驗證點進行設定,以滿足多種集成測試的(de)需要。
VectorCAST支持軟件的(de)系統測試,并顯著提高(gāo)系統功能測試的(de)效率和(hé)質量。VectorCAST利用精簡的(de)插裝算法,記錄測試用例的(de)執行過程和(hé)結果,實現:1)從代碼覆蓋率的(de)角度度量系統功能測試完整性,以避免由于疏忽或者經驗不足造成測試盲點;2)精确分析源代碼的(de)變更對現有系統功能測試用例庫的(de)影響範圍,并篩選出變更影響的(de)測試用例,這樣不僅避免對回歸測試用例的(de)遺漏,還可(kě)以有效節省對不相關的(de)測試用例的(de)不必要的(de)回歸執行。VectorCAST的(de)系統測試功能可(kě)以作為(wèi)軟件測試完整性的(de)有效量化工具,和(hé)變更影響分析工具,針對性地(dì)提高(gāo)測試質量,并符合如(rú)DO-178B/C對結構覆蓋的(de)要求,或者ISO 26262等标準對功能測試覆蓋率的(de)要求。
VectorCAST通過在測試過程中動态插入測試點(Probe Point),對測試過程中的(de)中間變量進行讀取、賦值或驗證等操作,實現對軟件執行邏輯或強行注入錯誤數據進行測試的(de)目的(de)。VectorCAST的(de)錯誤注入測試功能解決了僅通過設置輸入輸出值、樁函數和(hé)全局變量等外部接口無法實現的(de)對內(nèi)部狀态進行驗證的(de)複雜測試需求,同時又避免了人工修改源代碼所需要的(de)代碼維護工作和(hé)意外引入錯誤的(de)風險。
VectorCAST可(kě)以自(zì)動統計軟件單元、集成和(hé)系統功能測試的(de)覆蓋率信息,從多個維度報告測試覆蓋率情況,包括常用的(de)語句、分支、MC/DC、函數覆蓋和(hé)函數調用覆蓋等。VectorCAST不僅可(kě)以統計函數/文件/工程的(de)覆蓋率百分比,還可(kě)以以标注代碼的(de)形式直觀地(dì)顯示每行代碼/分支/條件等的(de)詳細覆蓋細節。利用VectorCAST的(de)覆蓋率分析功能,用戶還能輕松獲得覆蓋單元測試、集成測試和(hé)系統測試的(de)累加測試覆蓋率,獲得貫穿軟件生命周期的(de)總體測試覆蓋率。VectorCAST不僅可(kě)以自(zì)動統計測試用例執行的(de)覆蓋率,還可(kě)以針對測試用例難以覆蓋的(de)部分,提供人工分析覆蓋的(de)功能,便于在VectorCAST累加覆蓋率報告中達成滿足要求的(de)覆蓋率指标。
對于航空電子(zǐ)系統,根據RTCADO-178B/C要求的(de),安全關鍵型的(de)航空電子(zǐ)軟件研發過程中,必須進行耦合驗證。耦合驗證的(de)目的(de)是證明軟件架構組件之間的(de)控制流和(hé)數據流符合設計預期。VectorCAST/Coupling是VectorCAST提供的(de)專門用于适航認證相關軟件的(de)工具,支持軟件的(de)控制耦合和(hé)數據耦合進行分析、驗證和(hé)覆蓋率統計。VectorCAST/Coupling通過靜态分析識别代碼中的(de)耦合關系,并在應用程序執行過程中對這些耦合關系進行驗證和(hé)覆蓋率分析,滿足DO-178B/C不同認證等級對耦合驗證的(de)要求。VectorCAST的(de)耦合分析采用基于用戶自(zì)定義的(de)“組件”作為(wèi)最小分析對象,顯著降低(dī)了耦合分析的(de)工作量,并提高(gāo)了耦合分析結果的(de)有效性。
VectorCAST支持與常用的(de)需求管理(lǐ)或ALM系統集成,滿足“基于需求的(de)測試”所需的(de)可(kě)追溯性要求。用戶可(kě)以在VectorCAST界面上,從諸如(rú)Visure Requirements, DOORs等常用的(de)需求管理(lǐ)系統,導入現有的(de)需求條目,然後将測試用例與需求通過鼠标點選操作進行關聯,VectorCAST測試用例執行後的(de)測試結果再導出回到需求管理(lǐ)系統,最終實現測試用例和(hé)需求之前的(de)雙向追溯關系。測試用例所關聯的(de)測試需求,最終還會展現在VectorCAST的(de)完整測試報告中。
VectorCAST為(wèi)項目的(de)管理(lǐ)者提供綜合的(de)管理(lǐ)平台,基于B/S架構利用浏覽器展示項目的(de)測試通過率、覆蓋度、測試執行時間等統計數據。利用VectorCAST提供的(de)可(kě)縮放的(de)熱力圖,用戶可(kě)以準确定位到測試進度延後的(de)模塊,以便總覽VectorCAST測試項目現狀并合理(lǐ)調配資源。
VectorCAST通過了多種高(gāo)可(kě)靠性和(hé)安全性行業的(de)認證和(hé)工具鑒定,由國際權威的(de)第三方機構TÜV SÜD基于IEC 61508, ISO 26262, IEC 62304和(hé)EN 50128标準對VectorCAST所做(zuò)的(de)安全認證證書和(hé)安全手冊,均可(kě)以免費提供給VectorCAST的(de)客戶使用。對于需要滿足适航認證要求的(de)航空電子(zǐ)行業的(de)用戶,VectorCAST提供标準更加嚴格的(de)、滿足DO-330标準适用于DO-178B/CA~C級軟件的(de)工具适航鑒定包(Qualification Kits),并承諾完全符合适航取證要求。VectorCAST在以上專業領域具有豐富的(de)應用經驗和(hé)案例,被廣大用戶和(hé)第三方認證機構所認可(kě),可(kě)以作為(wèi)項目測試有效性的(de)有力背書。
支持的(de)環境
VectorCAST所支持的(de)主機平台
Windows/Linux/Solaris主流版本
VectorCAST所支持的(de)目标操作系統
十幾種常見RTOS,包括Vxworks, QNX, DSP, MontaVista, Green Hills, PikeOS, LynxOS, Embedded Linux等
VectorCAST所支持的(de)C/C++編譯器及芯片系列
Analog Devices, VisualDSP 4.x, 5.x | Metaware |
ADSP-21xx | Microchip MPLAB |
Blackfin | Microsoft Visual Studio v6.0 through 2012 |
SHARC | NEC |
TigerSHARC | Paradigm C++ Professional |
Android SDK/NDK | QNX |
ARM | Renesas HEW |
Borland C++ 5.x | Rowley CrossWorks |
Cosmic Software | TASKING |
DDC-I Score C/EC++ | Texas Instruments CodeComposer, all versions |
FreeScale CodeWarrior | Wind River Tornado and WorkBench |
Fujitsu Softune | WindRiver Compiler, all architectures |
GNU 2.9 through 4.6 | GNU Compiler, all architectures |
GNU Cross (no RTOS) | Xilinx |
MicroBlaze | Hightec |
Zynq | IAR, Embedded Workbench |
Keil uVsion | Mercury Systems |
VectorCAST所支持的(de)Ada編譯器及芯片系列
• AdaCore | ||
GNAT Pro High Integrity Edition (HIE) | GNATPro | Unix Native |
• Aonix | ||
AdaWorld (Ada83) | Unix Native | Windows Native PPC Target with Raven run-time |
• Concurrent Computer Corp. | ||
MAXAda | ||
• DDC-I | ||
DACS (Ada83) | Windows Native | x86 Target |
• Green Hills | ||
Green Hills (Ada83) | Unix Native | NEC850 Simulators |
• OC SYSTEMS | ||
PowerAda | ||
• Rational Apex | ||
Unix Native | PPC Target with Apex Exec | VADS (SunAda) |
•XGC | ||
XGC (Ada83) | M1750A |
相關資源
白皮書
博客
新聞資訊
使用VectorCAST滿足DO-178B-C對航空電子(zǐ)軟件耦合驗證的(de)要求_白皮書
點擊下載
修複和(hé)預防Bug的(de)成本量化對比_白皮書
點擊下載
如(rú)何評估嵌入式軟件測試工具_白皮書
點擊下載
人工分析覆蓋率_白皮書
點擊下載
利用Wind River VxWorks7實現自(zì)動化軟件測試_白皮書
點擊下載
基于變更的(de)測試_白皮書
點擊下載
故障注入和(hé)多維度白盒測試_白皮書
點擊下載
2015軟件測試技術報告_白皮書
點擊下載
使用VectorCAST滿足醫療器械行業FDA相關軟件驗證和(hé)确認标準_白皮書
點擊下載
使用VectorCAST滿足汽車電子(zǐ)行業ISO 26262相關軟件驗證和(hé)确認标準_白皮書
點擊下載
使用VectorCAST滿足軌道(dào)交通行業EN 50128相關軟件驗證和(hé)确認标準_白皮書
點擊下載
如(rú)何滿足IEC 61508-3 2010标準相關的(de)軟件驗證和(hé)确認要求_白皮書
點擊下載
利用VectorCAST進行DO-178B-C軟件驗證_白皮書
點擊下載
RELATED RESOURCES
下載申請