SCADE Test
SCADE Test為用戶提供了需求驗證和測試用例創(chuàng)建和管理的完整測試環(huán)境。它還允許用戶在主機和目標端為任何 SCADE 應用程序自動執(zhí)行測試案例、測量覆蓋范圍和管理測試結果。
測試創(chuàng)建和維護以及測試的執(zhí)行和覆蓋分析,都是十分耗時的工作。采用 SCADE 測試進行檢驗和驗證 (V&V) 活動,可在基于模型的方法和具有成本效益的測試環(huán)境中提供最佳的技術,從而大幅降低測試工作量。
主要功能和特點:
需求驗證
SCADE Test 快速原型可以使用預定義的小部件(按鈕、滑塊等)創(chuàng)建交互式面板,與正在測試的應用程序進行交互。它支持模型模擬,包括與 SCADE Suite、SCADE Display、Twin Builder 及許多其他工具進行連接。
在主機上測試控制軟件應用程序
SCADE 主機測試環(huán)境提供了一個交互式的批處理用戶界面用于使用 SCADE Display 開發(fā)的圖形用戶界面應用程序。通過交互式界面,您可以創(chuàng)建和管理測試數據、設置和啟動測試執(zhí)行,以及獲取匯總和詳細的測試執(zhí)行報告。
模型和代碼覆蓋率分析
SCADE Test Model Coverage 擴展了 SCADE Suite 應用程序的開發(fā),涵蓋了模型和生成代碼的覆蓋率測量。此功能依賴于基于需求的高級別測試套件。在主機上創(chuàng)建和執(zhí)行測試案例后,SCADE 主機測試環(huán)境會與 SCADE Test Model Coverage 配合,實現測試案例模型覆蓋率的測量。
目標測試執(zhí)行
SCADE Test Target Execution 會自動生成 COTS 工具(IBM Rational? Test RealTime、LDRA TestBed?、Vector Software VectorCAST?)的目標測試工具。它支持使用 SCADE Suite 開發(fā)的應用程序。
SCADE Test Target Execution 會將模型測試案例轉換為測試工具。工具可定制化生成,從而與任何內部或 COTS 目標測試基礎架構集成。
SCADE Test Target Execution 被鑒定為符合 DO-178B 要求的工具,以及符合 DO-178C 的 DO-330 TQL-5 要求的工具。
系統(tǒng)級環(huán)路測試
SCADE 主機測試環(huán)境提供了一款測試服務 API,使用戶能夠在系統(tǒng)級環(huán)路測試環(huán)境中執(zhí)行軟件測試。用戶可使用 SCADE Test Services API 在測試軟件模型覆蓋率的同時測試整個系統(tǒng)。利用 Test Services API,您可訪問在快照文件 (.sns) 中保存/加載應用程序狀態(tài)的功能??煺帐且环N存儲 SCADE 應用程序狀態(tài)的文本文件,包括輸入/輸出值、內存、傳感器和周期數。此文件是系統(tǒng)級環(huán)路測試環(huán)境中記錄序列的結果。包含覆蓋率測量值的快照文件將被加載到 SCADE 測試環(huán)境中以報告覆蓋率結果。