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