VectorCAST
VectorCAST 嵌入式軟體測試平台是一系列產品，旨在自動化整個軟體開發生命周期中的測試活動。VectorCAST 支援 DO-178/ED-12、DO-330、ISO 26262、IEC 61508、FDA、IEC 62304 和 CENELEC 測試要求，並獲得 TÜV SÜD 認證，符合 IEC 61508-3:2010、IEC 62304:2015、ISO 26262-8:2018、EN 50128:2011 和 EN 50128:2017 標準。VectorCAST 工具系列支援測試案例的創建和管理，以證明低階軟體需求已被測試，同時也對各種穩健性測試活動（如範圍測試和越界測試）非常有用。
VectorCAST 優點
- 主要應用在嵌入式軟體
- 支援持續和協作測試
- 盡可能提供最多的自動化工具
- 與您現有的軟體開發工具兼容使用
VectorCAST 應用範圍
航太航空
達到結構性代碼覆蓋率在 DO-178C 和 ED-12C 的軟體驗證過程中是重要的要求之一，而且需要與高階和低階軟體需求的測試相結合。VectorCAST 工具支援捕捉和報告 DO-178C 和 ED-12C 所要求的所有層級的結構性代碼覆蓋率，包括 A 級。
亮點：
- 支援 DO-178C 和 ED-12C 所要求的所有層級的代碼覆蓋率
- 自動生成和編譯完整的測試物件和驅動程式
- 自動回歸測試
- 生成符合規範的測試報告
- 在主機、模擬器和嵌入式目標系統上進行測試
汽車
國際標準化組織文件 26262（ISO 26262）提供了一個針對汽車安全關鍵電子系統開發和測試的流程框架和程序模型。VectorCAST 工具支援捕捉和報告 ISO 26262 所要求的所有層級的結構性代碼覆蓋率。
亮點：
- 支援 ISO 26262 所要求的所有層級的代碼覆蓋率，如語句覆蓋、分支覆蓋和 MCDC（條件判斷覆蓋）
- 自動生成和編譯完整的測試物件和驅動程式，用於單元測試和整合測試
- 自動回歸測試
- 需求到測試案例的導覽
- 穩健性測試
- 越界值
- 邊界條件測試
- 在主機、模擬器和嵌入式目標系統上進行測試
工業
IEC 61508 是國際行業標準，規範可編程電子系統的功能安全性。IEC 61508 認證確認產品或系統符合標準所設定的目標。VectorCAST 工具支援捕捉和報告 IEC 61508 所要求的所有層級的結構性代碼覆蓋率。
亮點：
- 支援 IEC 61508 所要求的所有層級的代碼覆蓋率，如語句覆蓋、分支覆蓋和 MCDC（條件判斷覆蓋）
- 自動生成和編譯完整的測試物件和驅動程式，用於單元測試和整合測試
- 自動回歸測試
- 需求到測試案例的導覽
- 穩健性測試
- 越界值
- 邊界條件測試
- 在主機、模擬器和嵌入式目標系統上進行測試
醫學
國際電工委員會（IEC）制定了 IEC 62304 標準。該標準旨在規範醫療軟體的要求，制定了醫療軟體在歐洲獲得批准所需通過的過程。標準包括對醫療設備中任何軟體組件進行測試的指導方針。VectorCAST 工具支援捕捉和報告 IEC 62304 所要求的所有層級的結構性代碼覆蓋率。
亮點：
- 支援IEC 62304 所要求的所有層級的代碼覆蓋率，如語句覆蓋、分支覆蓋和 MCDC（條件判斷覆蓋）
- 自動生成和編譯完整的測試物件和驅動程式，用於單元測試和整合測試
- 自動回歸測試
- 需求到測試案例的導覽
- 穩健性測試
- 越界值
- 邊界條件測試
- 在主機、模擬器和嵌入式目標系統上進行測試
火車
歐洲標準 EN 50128:2011 和 EN 50657:2017 提供了重要安全電子系統在鐵路系統中開發和測試的過程框架和程序模型。VectorCAST 工具支援捕捉和報告 EN 50128 和 EN 50657 所要求的所有層級的結構性代碼覆蓋率。
亮點：
- 支援 EN 51208 和 EN 50657所要求的所有層級的代碼覆蓋率，如語句覆蓋、分支覆蓋和 MCDC（條件判斷覆蓋）
- 自動生成和編譯完整的測試物件和驅動程式，用於單元測試和整合測試
- 自動回歸測試
- 需求到測試案例的導覽
- 穩健性測試
- 越界值
- 邊界條件測試
- 在主機、模擬器和嵌入式目標系統上進行測試
VectorCAST 變數及選項
VectorCAST/C++
VectorCAST/C++ 是一個整合的軟體測試解決方案，能顯著降低測試 C 和 C++ 軟體組件所需的時間、精力和成本，而這些組件對於安全驗證和關鍵任務所需的嵌入式系統至關重要。VectorCAST/C++ 有助於高效地創建單元測試和整合測試，以確保 C 和 C++ 代碼在發布前能夠正常運作，從而節省時間並降低成本。
優勢
- 構建完整的測試工具架構，用於單元測試和整合測試
- 回歸測試
- 從圖形或腳本執行測試
- 代碼覆蓋率分析
- 與頂尖的需求追蹤工具進行整合
- 以使用者自定義的測試進行以需求為基礎的測試
- 代碼複雜度計算
- 基於決策路徑的創建自動測試
- 測試執行時追蹤和回放的功能以進行代碼調試
- 支援敏捷開發和測試驅動開發方法
亮點
- 支援 C++11、C++14 和 C++17
- 支援主機、模擬器或嵌入式目標測試
- 支援廣泛的編譯器、模擬器和處理器架構
- 使用者可配置的編譯器介面
- 消除手動構建測試驅動程序和物件的需求
- 整合的代碼覆蓋率功能，包括 MC/DC（條件/決策覆蓋率）
- 自動化回歸測試
- 支援 DO-178（航空電子）、ISO 26262（汽車）、IEC 61508（工業）、IEC 62304（醫療）、EN 50128 和 EN 50657（鐵路）
- 支援 Windows 和 Linux 平台
- 完整的命令行介面
VectorCAST/Ada
使用 VectorCAST/Ada，可以就地進行單元測試，或在特定的目標硬體或模擬器上。VectorCAST 的運行時， VectorCAST/RSP 是一個附加模塊，能自動化且無縫的在目標硬體上執行測試試用。此外，測試可以在主機環境中開發，然後在嵌入式目標上重新執行，以驗證目標和編譯器間的性能。
優勢
- 將測試從手動過程轉變為嚴謹的工程過程
- 使開發者測試成為一個精簡且可重複的技術流程
- 可用於新應用程序或舊有應用程式
- 在不延誤開發時間的情況下，能夠專注於品質
- 透過自動化創建框架以隔離新開發的代碼，已證明能有效降低成本
- 支援 Ada 83, Ada 95, Ada 2005, 和 Ada 2012
亮點
- 為 Ada 單元測試和整合測試提供完整的測試工具架構構建—無需編寫測試代碼
- 驅動程序和物件代碼自動生成
- 從圖形或腳本執行測試
- 回放測試執行過程以協助調試
- 針對軍事和航空電子的代碼覆蓋率分析
- 與 IBM® Rational® Rhapsody®、AdaCore GNAT、Green Hills® AdaMULTI™、Atego™ ObjectAda®、DDC-I™ SCORE®、IBM® Rational® DOORS® 以及其他需要的工具整合
- 基於決策路徑自動生成測試用例
- 目標硬體和模擬器上的測試執行
- 在代碼複雜度分析中顯示高風險代碼
- 利用現有測試來自動化回歸測試
VectorCAST/QA
VectorCAST/QA 提供了用於白箱系統測試的整合工作流程，可以透過探針點監控應用程式內部並在源代碼中放入故障點。它讓測試人員和開發人員可以協作進行測試活動，縮短測試時間，並提供如何準備最新版本的指標。
優勢
- 蒐集關於 C 代碼、C++ 代碼和 Ada 代碼覆蓋率的指標
- 透過基於基礎變更測試（CBT）實現更快的測試速度
- DO-178C 軟體開發的資格工具認證包
- 使用 VectorCAST 探針點進行白箱測試
- 由 TÜV SÜD 認證的代碼覆蓋率工具，適用於工業、汽車、醫療和鐵路應用
- 覆蓋率測試可以在主機（Windows 或 Linux）或嵌入式目標上進行
- 輕鬆配置源代碼文件以適應不同的代碼覆蓋率類型
- 使用您已經在使用的相同編譯器和構建腳本，包括 Microsoft Visual Studio
- 命令行介面（CLI）與 Jenkins 插件整合，支援使用命令行腳本進行持續和並行測試
- 系統或應用程式測試的代碼覆蓋率可以與單元測試的代碼覆蓋率彙總
- 代碼覆蓋率報告可提供 HTML 或文本格式
亮點
- 區分測試與代碼之間的關聯
- 輕鬆與持續融合（CI）伺服器整合，讓測試分佈在一組實體或虛擬測試機器上
- 讓使用者輕鬆執行所有類型的測試，而無需學習新的工具或流程
- 變更影響分析可用於分辨一組源代碼變更對所需測試數量的影響
- 提供對應用程式中刺激每個測試部分的可見性，使您能夠評估每個測試的價值並識別冗餘測試
- 自動捕捉和維護測試期間的代碼覆蓋率數據，讓使用者能夠快速識別未測試的應用程式並尋找改善測試所需的資源
TESTinsights
TESTinsights 擴展了 VectorCAST 的功能，透過一個協作服務來匯總所有參與者的軟體檢查和軟體測試結果。參與者可以在網頁上協作分析這些結果數據，從不同的角度和抽象層面取得深入了解。
優勢
- 源代碼保留在本來的環境中
- 以軟體即服務（SaaS）的形式提供，使其應用更加便捷
- 不儲存源代碼，而是儲存文件和版本的參考
- 透過更快、更智能的分佈式變更基礎測試來最小化測試工作量
- TESTinsights 的代碼視圖（在客戶端電腦上運行）將源代碼和所有結果整合在一起
亮點
- TESTinsights 連接器（VectorCAST 安裝的一部分）可用於持續整合/持續測試（CI/CT）場景，以產出結果數據
- TESTinsights CI Client 是一個在地組件，可用於 CI/CT 應用情境中，請求變更基礎測試所需的影響測試
- 在 TESTinsights 服務中，可以儲存來自所有測試層級的軟體測試結果數據
- TESTinsights 網頁客戶端能對軟體檢查結果數據進行詳細分析，以評估品質和進度
- SCM 連接服務是一個在地安裝的工具組件，與 SCM 工具進行通訊以請求 SCM 訊息，從而支援結果數據的協作使用
VectorCAST Test Explorer
VectorCAST Test Explorer 是一個開放來源的擴充插件，適用於 Visual Studio Code，讓您在 VS Code 內創建、編輯、執行和調試 VectorCAST/C++ 測試用例
優勢
- 直接從 Project Explorer 創建測試環境
- 在 Test Explorer 創建、編輯、執行和調試測試
- IntelliSense 編輯測試腳本
- 內建用於調試測試的啟動配置
- 源代碼編輯器顯示 VectorCAST 代碼覆蓋率
亮點
- 快速取得上下情境，一鍵單擊取得任何源文件，並無縫創建 VectorCAST 環境
- 深入查看詳細且有組織的視圖。每個節點代表特定的 VectorCAST 元素—從測試環境到單獨的測試用例。透過上下文驅動的情境，輕鬆設置新的測試或修改現有測試
- 利用自動補全、懸停提示和即時語法錯誤檢測，提升 VectorCAST 測試腳本文件的編碼體驗
- 只需一鍵單擊，即可設置 VectorCAST 專用的啟動配置，並輕鬆整合 Visual Studio Code 調試器
- 紅色和綠色的邊欄裝飾清晰地突顯VectorCAST 的語句覆蓋率，使評估變得輕而易舉
VectorCAST/Coupling
VectorCAST/Coupling 提供自動化分析和工具來驗證 C 和 C++ 源文件的數據耦合和控制耦合，並與現有的 VectorCAST/QA 項目或 VectorCAST Cover 環境一起使用。
優勢
- C 和 C++ 源文件的自動化耦合驗證
- 生成報告
- 使用現有的 VectorCAST Cover 環境
- 相比於手動分析，節省大量時間、精力和提高準確性
- 驗證 DO-178C 的需求