基于模型的動態測試工具TPT
TPT特性
PikeTec公司是全球知名的基于模型的嵌入式系統測試工具TPT的軟件供應商，總部位于德國柏林，其創始人均在戴姆勒公司擁有十多年的軟件測試經驗。TPT作為針對嵌入式系統的基于模型的動態測試工具，支持眾多業內主流的工具平臺和測試環境，可應用于整個嵌入式軟件開發周期，實現各種異構環境下的自動化測試。無論是在測試建模，測試環境還是測試評估，測試報告方面，都占據強大優勢。
北匯信息作為PikeTec的中國合作伙伴，將幫助中國客戶借助TPT提升嵌入式控制系統的開發效率。
TPT自動化測試過程
1、測試用例建模
TPT是針對嵌入式系統開發的測試驗證工具，圖形化建立測試用例的方式易于閱讀維護，針對MATLAB/Simulink/Stateflow、TargetLink及ASCET模型支持自動生成測試用例。
1）手動搭建測試用例
- 列表型測試用例：并行結構、條件語句、循環語句、Excel導入、信號預覽等。
- 適合于復雜模型的圖形化狀態機型測試用例
列表型測試用例 狀態機型測試用例
2）自動生成測試用例
- 獨立測試平臺Dashboard：對被測系統創建用戶界面，以執行手動測試和觀測系統，同時記錄交互內容，自動生成測試用例。
- TASMO工具箱：基于CC/DC原則自動搜索Simulink/Stateflow和TargetLink模型進行結構分析，生成最少的測試用例，實現最全面的結構覆蓋。
- 基于等價類自動生成測試用例：將輸入信號分成若干等價區間，并在各等價區間隨機取值，自動生成測試用例，遍歷測試場景。
- 基于變種自動生成測試用例：用戶指定或自動選擇狀態機模型中states、transitions和path組合生成測試用例，自動覆蓋所有測試場景，極大的提高測試建模效率。
- 基于數值范圍自動生成測試用例：將所有輸出信號取值排列批量生成測試用例，支持自定義信號最值及步長，TPT專門設計的默認代表值模式適用于邊界值測試。
- 外部測試數據導入生成測試用例：支持多個測量文件同時導入、背靠背測試與回歸測試。
Dashboard測試界面 TASMO工具箱
2、測試評估與報告生成
- 支持使用GUI評估函數自動評估測試用例，如Trigger Rule,、Min/Max、 Signal Comparison、Script、Condition Tree、Sequence check、Equivalence classes check。
- Signal Viewer：觀測信號進行手動評估，支持導入/導出測量文件、同步采樣信號與測試信號時間，同時觀測多個測試用例等。
- 支持背靠背測試、回歸測試、模型內部信號觀測、容差設置。
- 自動生成高度可配置測試報告：Contents、Figures、Paragraph、Signal Table、Section等。
Signal Viewer評估界面 定制化測試報告
3、測試環境
TPT支持汽車電子主流的工具鏈來覆蓋產品開發的整個V模式（MiL、SiL、PiL、HiL、ViL）下所有的測試階段，并實現測試用例的復用，無需更換測試工具。強大的Fusion平臺使用戶可以輕松創建包含不同組件的仿真環境。
TPT在不同測試階段所支持的工具鏈：
TPT支持的主流開發工具
1）Model-in-the-Loop and Software-in-the-Loop (MiL-SiL) 模型在環及軟件在環
Simulink/TargetLink/ASCET/AUTOSAR Model
- 支持Simulink/TargetLink/ASCET/AUTOSAR模型的MiL、SiL與背靠背測試。
- 支持從Simulink/TargetLink/ASCET/AUTOSAR模型中自動讀取所有的接口信息，支持手動修改及導入模型內部接口信號，確保模型搭建的便捷與準確，為開發過程的測試用例復用提供保證。
- 自動生成測試框架，包含一個完整的輸入輸出定義模型以及特殊的TPT執行引擎。測試模型框架形成閉環測試，以準確評估測試用例執行結果的正確性。
- 支持開環和閉環測試（支持DYNA4/CarMaker/Carsim等）。
Simulink模型測試
TPT集成ASCET執行測試
2）Processor-in-the-Loop (PiL) 處理器在環
TPT支持集成調試器，在實際目標硬件上進行測試。
- 集成PLS-UDE：AURIX、Tricore、ARM Cortex etc.
- 集成Lauterbach TRACE 32：ARM、Power Architecture etc.
3）Hardware-in-the-loop（HiL）硬件在環測試
- 支持XiL-API接口與HiL設備進行集成：VT System/ dSPACE HiL/ Veristand/ ETAS LCO/ Concurrent iHawk/ Speedgoat等。
- 發送測試用例到 HiL 執行，接收測試數據進行評估。
- 支持實時測試、故障注入 (FIU)。
TPT集成VT System執行HiL測試
4）Vehicle-in-the-Loop (ViL) 實車在環測試
TPT支持與CANape/INCA/VN1640集成進行ViL測試。Autotester為TPT的自動化ViL測試工具，通過GUI界面觸發在TPT中編寫好的測試用例，同時告知駕駛員進行動作觸發，TPT通過VN1640采集報文并進行自動化判斷評估。
- 為沒有駕駛經驗的測試人員提供便捷驅動命令
- 自動進行同一測試用例的多次執行
- 圖像顯示及語音提示測試用例執行過程
- 同時觀察多個測試步驟及測試用例執行狀態
- 自動評估并生成測試報告
AutoTester 測試界面
4、測試需求跟蹤
- 支持與IBM Rational DOORS/Polarion/PTC等工具集成，實現測試需求導入/導出
- 跟蹤需求變更、沖突分析
- 與需求管理工具同步測試用例
- 將測試用例-測試需求-評估鏈接進行測試
- 自動生成需求覆蓋分析報告
測試需求跟蹤界面
5、資質認證
TPT支持ISO26262標準要求產品開發的所有測試活動。根據ISO26262的要求，當使用軟件工具進行安全相關的開發活動時，需要對使用的軟件工具進行資質審核。
目前，TPT通過了SGS-TüV Saar的第三方認證，可以滿足ISO26262 ASIL-A到ASIL-D對軟件的測試要求。TPT提供Qualification Package，以最佳和最有效的方式實現項目的功能安全的認證。
TPT主要客戶
國內客戶
