模型功能測試軟件(MQTester)

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

MQTester的優勢：

建立測試環境

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

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

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

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

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

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

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

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

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