ANSYS SCADE Test

SCADE Test可為您提供一個(gè)完整的環(huán)境，用來(lái)創(chuàng)建和管理測(cè)試案例、測(cè)量覆蓋范圍、管理測(cè)試結(jié)果，并在主機(jī)和目標(biāo)端為SCADE應(yīng)用自動(dòng)執(zhí)行測(cè)試案例。

測(cè)試的創(chuàng)建和維護(hù)以及測(cè)試的執(zhí)行和覆蓋分析，都是非常耗時(shí)的工作。工程師采用SCADE Test進(jìn)行確認(rèn)和驗(yàn)證（V&V）工作，可從基于模型方法和低成本測(cè)試環(huán)境的較佳技術(shù)中受益，從而能夠顯著地減少其工作時(shí)間和費(fèi)用。

產(chǎn)品概覽

利用SCADE Test進(jìn)行確認(rèn)和驗(yàn)證(V&V)工作的測(cè)試工程師，現(xiàn)在可以受益于模型化方案以及高成本效率的測(cè)試環(huán)境，能夠顯著減少測(cè)試工作。

SCADE Test包含的模塊可用于：

? 原型設(shè)計(jì)和測(cè)試創(chuàng)建
? 主機(jī)執(zhí)行和模型覆蓋
? 目標(biāo)執(zhí)行
? 應(yīng)用程序生命周期管理

功能特點(diǎn)

SCADE Test快速原型構(gòu)建器

SCADE Test快速原型構(gòu)建器讓您能夠使用預(yù)先定義的小工具（按鈕、滑塊等）創(chuàng)建交互式面板，以便與待測(cè)應(yīng)用進(jìn)行交互。它能進(jìn)行模型仿真，包括與SCADE Suite、SCADE Display、ANSYS Simplorer和很多其它工具的連接。它具備易于設(shè)計(jì)的交互式圖形化面板，能利用這些特性實(shí)現(xiàn)早期需求驗(yàn)證功能：

SCADE Test Environment for Host

SCADE Test Environment for Host模塊能讓使用SCADE Suite的嵌入式軟件開(kāi)發(fā)人員自動(dòng)創(chuàng)建和管理測(cè)試案例。SCADE Test Environment for Host還允許用戶(hù)在主機(jī)上運(yùn)行模型化驗(yàn)證活動(dòng)中所創(chuàng)建的測(cè)試案例。合規(guī)性報(bào)告的生成以及模型覆蓋檢測(cè)都是自動(dòng)執(zhí)行，與手動(dòng)測(cè)試相比能節(jié)省大量時(shí)間和成本。

SCADE Test Model Coverage

SCADE Test Model Coverage模塊提供對(duì)模型和所生成代碼的覆蓋范圍測(cè)量，以便對(duì)SCADE Test環(huán)境進(jìn)行擴(kuò)展，這依賴(lài)于基于需求的高級(jí)測(cè)試套件。創(chuàng)建并在主機(jī)上執(zhí)行測(cè)試案例后，Test Environment for Host以及SCADE Test Model Coverage就可以測(cè)量測(cè)試案例的模型覆蓋。

SCADE Test Target Execution

SCADE Test Target Execution能自動(dòng)生成面向COTS工具（IBM Rational? TestRealTime、LDRA TestBed?、Vector Software VectorCAST?）的目標(biāo)測(cè)試裝置。它包含一個(gè)Test Harness Generator，該工具可實(shí)現(xiàn)自定義，以集成到任何組織內(nèi)部的或COTS目標(biāo)測(cè)試基礎(chǔ)架構(gòu)中。Test Harness Generator可將模型測(cè)試案例轉(zhuǎn)換為測(cè)試裝置，已認(rèn)證成為符合DO-178B標(biāo)準(zhǔn)的驗(yàn)證工具以及符合DO-178C標(biāo)準(zhǔn)的DO-330 TQL-5工具。SCADE Test Target Execution支持在SCADE Suite中開(kāi)發(fā)的應(yīng)用。