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