VectorCAST是領先的專門用于高可靠性和高安全性軟件的自動化動態測試工具鏈,覆蓋軟件的單元測試、模塊測試、集成測試、系統功能測試、回歸測試和覆蓋率分析等軟件全生命周期SDLC的主要測試環節。VectorCAST支持對C, C++和Ada語言的測試,尤其適用于對嵌入式軟件應用的測試。用戶使用VectorCAST不僅可以顯著提高軟件的質量、測試效率和完整性,還能有效滿足諸如功能安全和適航等多種行業的合規性要求。
VectorCAST軟件測試工具經過了國際權威的機構的認證和鑒定,符合多種行業認證的標準,如DO-178B/C, ISO 26262, ASPICE, IEC 61508, En 50128, IEC 62304, IEC 60880等。憑借在行業的認可度、測試的自動化程度、對嵌入式環境完善的支持和測試效率等方面的優勢,VectorCAST已經廣泛應用于航空電子、國防軍工、汽車電子、軌道交通、工業自動化、醫療器械、物聯網和電力電子等行業。
核心價值
測試軟件的單元、模塊和相互集成的可靠性和邏輯正確性
顯著提升軟件動態測試的效率
驗證和改進測試的完整性
“一站式”覆蓋代碼動態測試流程的各個環節
豐富的項目經驗和權威認證,能快速滿足合規性要求
優勢和亮點
VectorCAST提供高效的軟件圖形化動態測試平臺–幾乎無需編碼!
集成第三方商用解析器原生支持超過40種常用編譯開發環境
成熟支持Windows和Linux等各種版本的主機環境
支持使用分類樹設計測試數據
支持人工分析覆蓋和測試覆蓋相結合
提供靈活、方便的測試用例管理、回歸和復用
集成ALM系統形成需求和測試的可追溯性,如Visure Requirements, DOORs等
完美符合適航或功能安全認證等安全合規要求
VectorCAST提供完整的單元測試、集成測試和系統功能測試工具鏈解決方案
VectorCAST全面支持各種C, C++11, C++14, C++17, Ada等開發語言標準
VectorCAST內建多種智能的自動化測試用例生成算法
支持統計覆蓋軟件生命周期的測試覆蓋率
VectorCAST支持在模擬器和目標板上測試
VectorCAST支持對系統測試用例的變更分析
VectorCAST提供廣泛的第三方集成,如靜態分析,Jenkins等工具
VectorCAST支持各種行業標準并提供第三方權威工具認證報告和鑒定包,包括DO-178B/C, ISO 26262,ASPICE, IEC 61508, En 50128, IEC 62304和IEC 60880等
主要功能
單元測試
集成測試
系統測試
錯誤注入測試
覆蓋率分析
耦合分析和驗證
需求跟蹤
質量管理平臺
工具的認證和鑒定
VectorCAST支持對每個軟件單元進行測試,小到一個函數,大到多個函數組合而成的一個模塊,都可以作為單元測試的對象。VectorCAST利用集成的商用解析器,解析被測對象的結構和依賴關系,自動生成測試驅動,和相關依賴資源一起構建成測試環境。用戶基于此環境可以利用豐富的智能化的算法自動批量地生成測試用例,迅速提高測試覆蓋率;也可以利用VectorCAST便捷的圖形化用例編輯器或外部數據源文件,針對性地設計各種復雜參數類型的輸入輸出值、全局變量和樁函數。根據被測對象環境的不同,測試用例將會在主機平臺、嵌入式環境模擬器或者目標機上執行,并在VectorCAST軟件中顯示測試結果和報告。
VectorCAST支持多個函數單元/子模塊之間的集成測試,利用鼠標一鍵拖拉的方式組合VectorCAST已有測試用例,用來創建滿足各種需求場景的復雜集成測試用例,包括驗證模塊接口的輸入輸出是否符合設計期望,或者驗證有相互影響關系的模塊之間的邏輯正確有否。VectorCAST支持對測試用例任意設置執行順序、執行次數或驗證點進行設定,以滿足多種集成測試的需要。
VectorCAST支持軟件的系統測試,并顯著提高系統功能測試的效率和質量。VectorCAST利用精簡的插裝算法,記錄測試用例的執行過程和結果,實現:1)從代碼覆蓋率的角度度量系統功能測試完整性,以避免由于疏忽或者經驗不足造成測試盲點;2)精確分析源代碼的變更對現有系統功能測試用例庫的影響范圍,并篩選出變更影響的測試用例,這樣不僅避免對回歸測試用例的遺漏,還可以有效節省對不相關的測試用例的不必要的回歸執行。VectorCAST的系統測試功能可以作為軟件測試完整性的有效量化工具,和變更影響分析工具,針對性地提高測試質量,并符合如DO-178B/C對結構覆蓋的要求,或者ISO 26262等標準對功能測試覆蓋率的要求。
VectorCAST通過在測試過程中動態插入測試點(Probe Point),對測試過程中的中間變量進行讀取、賦值或驗證等操作,實現對軟件執行邏輯或強行注入錯誤數據進行測試的目的。VectorCAST的錯誤注入測試功能解決了僅通過設置輸入輸出值、樁函數和全局變量等外部接口無法實現的對內部狀態進行驗證的復雜測試需求,同時又避免了人工修改源代碼所需要的代碼維護工作和意外引入錯誤的風險。
VectorCAST可以自動統計軟件單元、集成和系統功能測試的覆蓋率信息,從多個維度報告測試覆蓋率情況,包括常用的語句、分支、MC/DC、函數覆蓋和函數調用覆蓋等。VectorCAST不僅可以統計函數/文件/工程的覆蓋率百分比,還可以以標注代碼的形式直觀地顯示每行代碼/分支/條件等的詳細覆蓋細節。利用VectorCAST的覆蓋率分析功能,用戶還能輕松獲得覆蓋單元測試、集成測試和系統測試的累加測試覆蓋率,獲得貫穿軟件生命周期的總體測試覆蓋率。VectorCAST不僅可以自動統計測試用例執行的覆蓋率,還可以針對測試用例難以覆蓋的部分,提供人工分析覆蓋的功能,便于在VectorCAST累加覆蓋率報告中達成滿足要求的覆蓋率指標。
對于航空電子系統,根據RTCADO-178B/C要求的,安全關鍵型的航空電子軟件研發過程中,必須進行耦合驗證。耦合驗證的目的是證明軟件架構組件之間的控制流和數據流符合設計預期。VectorCAST/Coupling是VectorCAST提供的專門用于適航認證相關軟件的工具,支持軟件的控制耦合和數據耦合進行分析、驗證和覆蓋率統計。VectorCAST/Coupling通過靜態分析識別代碼中的耦合關系,并在應用程序執行過程中對這些耦合關系進行驗證和覆蓋率分析,滿足DO-178B/C不同認證等級對耦合驗證的要求。VectorCAST的耦合分析采用基于用戶自定義的“組件”作為最小分析對象,顯著降低了耦合分析的工作量,并提高了耦合分析結果的有效性。
VectorCAST支持與常用的需求管理或ALM系統集成,滿足“基于需求的測試”所需的可追溯性要求。用戶可以在VectorCAST界面上,從諸如Visure Requirements, DOORs等常用的需求管理系統,導入現有的需求條目,然后將測試用例與需求通過鼠標點選操作進行關聯,VectorCAST測試用例執行后的測試結果再導出回到需求管理系統,最終實現測試用例和需求之前的雙向追溯關系。測試用例所關聯的測試需求,最終還會展現在VectorCAST的完整測試報告中。
VectorCAST為項目的管理者提供綜合的管理平臺,基于B/S架構利用瀏覽器展示項目的測試通過率、覆蓋度、測試執行時間等統計數據。利用VectorCAST提供的可縮放的熱力圖,用戶可以準確定位到測試進度延后的模塊,以便總覽VectorCAST測試項目現狀并合理調配資源。
VectorCAST通過了多種高可靠性和安全性行業的認證和工具鑒定,由國際權威的第三方機構TüV SüD基于IEC 61508, ISO 26262, IEC 62304和EN 50128標準對VectorCAST所做的安全認證證書和安全手冊,均可以免費提供給VectorCAST的客戶使用。對于需要滿足適航認證要求的航空電子行業的用戶,VectorCAST提供標準更加嚴格的、滿足DO-330標準適用于DO-178B/CA~C級軟件的工具適航鑒定包(Qualification Kits),并承諾完全符合適航取證要求。VectorCAST在以上專業領域具有豐富的應用經驗和案例,被廣大用戶和第三方認證機構所認可,可以作為項目測試有效性的有力背書。
支持的環境
VectorCAST所支持的主機平臺
Windows/Linux/Solaris主流版本
VectorCAST所支持的目標操作系統
十幾種常見RTOS,包括Vxworks,?QNX,?DSP,?MontaVista,?Green?Hills,?PikeOS,?LynxOS,?Embedded?Linux等
VectorCAST所支持的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所支持的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對航空電子軟件耦合驗證的要求_白皮書
點擊下載
修復和預防Bug的成本量化對比_白皮書
點擊下載
如何評估嵌入式軟件測試工具_白皮書
點擊下載
人工分析覆蓋率_白皮書
點擊下載
利用Wind River VxWorks7實現自動化軟件測試_白皮書
點擊下載
基于變更的測試_白皮書
點擊下載
故障注入和多維度白盒測試_白皮書
點擊下載
2015軟件測試技術報告_白皮書
點擊下載
使用VectorCAST滿足醫療器械行業FDA相關軟件驗證和確認標準_白皮書
點擊下載
使用VectorCAST滿足汽車電子行業ISO 26262相關軟件驗證和確認標準_白皮書
點擊下載
使用VectorCAST滿足軌道交通行業EN 50128相關軟件驗證和確認標準_白皮書
點擊下載
如何滿足IEC 61508-3 2010標準相關的軟件驗證和確認要求_白皮書
點擊下載
利用VectorCAST進行DO-178B-C軟件驗證_白皮書
點擊下載
RELATED RESOURCES
下載申請