模型功能測(cè)試軟件(MQTester)

MQTester是針對(duì)嵌入式系統(tǒng)的基于模型的測(cè)試工具，支持所有的測(cè)試過(guò)程：包括測(cè)試建模、測(cè)試執(zhí)行、測(cè)試評(píng)估以及測(cè)試報(bào)告的生成。在模型測(cè)試中，測(cè)試環(huán)境生成、測(cè)試用例編寫(xiě)及測(cè)試結(jié)果評(píng)估是常見(jiàn)的難點(diǎn)， MQT在這三個(gè)方面做出了優(yōu)化的解決方案，使得測(cè)試過(guò)程變得簡(jiǎn)單迅速。

MQTester的優(yōu)勢(shì)：

建立測(cè)試環(huán)境

只要被測(cè)對(duì)象位于一個(gè)子系統(tǒng)中，并且模型能夠仿真，MQTester就能檢測(cè)到模型的各項(xiàng)參數(shù)，包括所用參數(shù)、所調(diào)用庫(kù)路徑、所使用的數(shù)據(jù)字典等，只需要指定被測(cè)子系統(tǒng)，MQTester就能自動(dòng)生成測(cè)試環(huán)境。MQTester既能為開(kāi)環(huán)系統(tǒng)生成測(cè)試環(huán)境，也能為閉環(huán)系統(tǒng)生成測(cè)試環(huán)境，在閉環(huán)測(cè)試中可以只關(guān)心被測(cè)對(duì)象的結(jié)果、覆蓋度等指標(biāo)，并且在SIL測(cè)試時(shí)能只為被測(cè)對(duì)象建立SIL模塊。

測(cè)試用例生成
MQTester提供兩種生成測(cè)試用例的方式，一種是按照需求使用自定義的腳本語(yǔ)言生成測(cè)試用例，這種情況下，系統(tǒng)會(huì)自動(dòng)分析被測(cè)對(duì)象接口，所有的信號(hào)及參數(shù)信息都呈現(xiàn)到使用者面前。另一種是按照模型的架構(gòu)自動(dòng)生成滿足最大覆蓋度的測(cè)試用例，MQTester中使用一個(gè)命令即可自動(dòng)生成用例。

測(cè)試結(jié)果評(píng)估
MQTester提供多種評(píng)估方式，適用于各種規(guī)模的測(cè)試項(xiàng)目：
人工評(píng)估： 通過(guò)人工查看輸入輸出信號(hào)判斷模型是否滿足需求
信號(hào)比較：通過(guò)配置自動(dòng)進(jìn)行MIL SIL PIL 及參考信號(hào)之間的比較，自動(dòng)給出比較結(jié)果
期望值：在定義輸入信號(hào)時(shí)為輸出信號(hào)定義期望值，系統(tǒng)自動(dòng)和模型輸出比較
評(píng)估函數(shù)：按照需求書(shū)寫(xiě)函數(shù)以計(jì)算輸出信號(hào)隨輸入信號(hào)變化的期望值，自動(dòng)和系統(tǒng)輸出比較，給出評(píng)估結(jié)果。

評(píng)估函數(shù)的自動(dòng)生成
在定義輸入信號(hào)值時(shí)使用MQTester提供的期望值函數(shù)可以由系統(tǒng)自動(dòng)生成評(píng)估函數(shù)。MQTester提供了多種期望值函數(shù)，覆蓋測(cè)試工作中的大多數(shù)需求。

信號(hào)查看
信號(hào)查看器提供對(duì)測(cè)試過(guò)程中各種輸入輸出信號(hào)的查看、比較，任意放大縮小，可以任意選擇多個(gè)信號(hào)顯示在同一個(gè)視圖中以方便細(xì)節(jié)對(duì)比。

測(cè)試質(zhì)量監(jiān)測(cè)
一個(gè)完整的測(cè)試需要各項(xiàng)測(cè)試的工作都按照標(biāo)準(zhǔn)的要求完成應(yīng)有的工作，例如，需要要被測(cè)試用例全部覆蓋，各項(xiàng)工作都要進(jìn)行相應(yīng)的審核工作，測(cè)試結(jié)果要全部進(jìn)行評(píng)估，結(jié)構(gòu)覆蓋度達(dá)到一定要求等。 MQTester提供完整的檢測(cè)指標(biāo)對(duì)測(cè)試工作進(jìn)行評(píng)估。

需求追蹤
需求是測(cè)試人員執(zhí)行測(cè)試的輸入條件，測(cè)試的目的就是保證設(shè)計(jì)完成的系統(tǒng)最終能夠符合需求，所以對(duì)于一個(gè)優(yōu)秀的測(cè)試軟件而言，與需求系統(tǒng)之間的關(guān)聯(lián)以及追蹤是一個(gè)必不可缺的特性，現(xiàn)在眾多的標(biāo)準(zhǔn)都對(duì)需求管理有著嚴(yán)格的要求，例如IEC 61508、DO-178B、EN50128以及ISO 26262。

持續(xù)集成支持
MQTester支持在Jenkins中的持續(xù)集成，通過(guò)配置可以在jenkins中通過(guò)多種方式觸發(fā)MQTester的執(zhí)行，從而達(dá)到模型測(cè)試的自動(dòng)執(zhí)行，節(jié)省時(shí)間，提高效率。

提供免費(fèi)試用，歡迎來(lái)電或來(lái)郵咨詢(xún)