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