模型功能測試軟件(MQTester)

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

MQTester的優(yōu)勢：

建立測試環(huán)境

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

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

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

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

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

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

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

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

提供免費試用，歡迎來電或來郵咨詢