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
