基于模型的動態(tài)測試工具TPT

TPT特性

PikeTec公司是全球知名的基于模型的嵌入式系統(tǒng)測試工具TPT的軟件供應(yīng)商，總部位于德國柏林，其創(chuàng)始人均在戴姆勒公司擁有十多年的軟件測試經(jīng)驗(yàn)。TPT作為針對嵌入式系統(tǒng)的基于模型的動態(tài)測試工具，支持眾多業(yè)內(nèi)主流的工具平臺和測試環(huán)境，可應(yīng)用于整個嵌入式軟件開發(fā)周期，實(shí)現(xiàn)各種異構(gòu)環(huán)境下的自動化測試。無論是在測試建模，測試環(huán)境還是測試評估，測試報(bào)告方面，都占據(jù)強(qiáng)大優(yōu)勢。

北匯信息作為PikeTec的中國合作伙伴，將幫助中國客戶借助TPT提升嵌入式控制系統(tǒng)的開發(fā)效率。

TPT自動化測試過程

1、測試用例建模

TPT是針對嵌入式系統(tǒng)開發(fā)的測試驗(yàn)證工具，圖形化建立測試用例的方式易于閱讀維護(hù)，針對MATLAB/Simulink/Stateflow、TargetLink及ASCET模型支持自動生成測試用例。

1）手動搭建測試用例

• 列表型測試用例：并行結(jié)構(gòu)、條件語句、循環(huán)語句、Excel導(dǎo)入、信號預(yù)覽等。
• 適合于復(fù)雜模型的圖形化狀態(tài)機(jī)型測試用例

列表型測試用例                                   狀態(tài)機(jī)型測試用例

2）自動生成測試用例

• 獨(dú)立測試平臺Dashboard：對被測系統(tǒng)創(chuàng)建用戶界面，以執(zhí)行手動測試和觀測系統(tǒng)，同時記錄交互內(nèi)容，自動生成測試用例。
• TASMO工具箱：基于CC/DC原則自動搜索Simulink/Stateflow和TargetLink模型進(jìn)行結(jié)構(gòu)分析，生成最少的測試用例，實(shí)現(xiàn)最全面的結(jié)構(gòu)覆蓋。
• 基于等價(jià)類自動生成測試用例：將輸入信號分成若干等價(jià)區(qū)間，并在各等價(jià)區(qū)間隨機(jī)取值，自動生成測試用例，遍歷測試場景。
• 基于變種自動生成測試用例：用戶指定或自動選擇狀態(tài)機(jī)模型中states、transitions和path組合生成測試用例，自動覆蓋所有測試場景，極大的提高測試建模效率。
• 基于數(shù)值范圍自動生成測試用例：將所有輸出信號取值排列批量生成測試用例，支持自定義信號最值及步長，TPT專門設(shè)計(jì)的默認(rèn)代表值模式適用于邊界值測試。
• 外部測試數(shù)據(jù)導(dǎo)入生成測試用例：支持多個測量文件同時導(dǎo)入、背靠背測試與回歸測試。

Dashboard測試界面                                                       TASMO工具箱

2、測試評估與報(bào)告生成

• 支持使用GUI評估函數(shù)自動評估測試用例，如Trigger Rule,、Min/Max、 Signal Comparison、Script、Condition Tree、Sequence check、Equivalence classes check。
• Signal Viewer：觀測信號進(jìn)行手動評估，支持導(dǎo)入/導(dǎo)出測量文件、同步采樣信號與測試信號時間，同時觀測多個測試用例等。
• 支持背靠背測試、回歸測試、模型內(nèi)部信號觀測、容差設(shè)置。
• 自動生成高度可配置測試報(bào)告：Contents、Figures、Paragraph、Signal Table、Section等。

Signal Viewer評估界面                                                   定制化測試報(bào)告

3、測試環(huán)境

TPT支持汽車電子主流的工具鏈來覆蓋產(chǎn)品開發(fā)的整個V模式（MiL、SiL、PiL、HiL、ViL）下所有的測試階段，并實(shí)現(xiàn)測試用例的復(fù)用，無需更換測試工具。強(qiáng)大的Fusion平臺使用戶可以輕松創(chuàng)建包含不同組件的仿真環(huán)境。

TPT在不同測試階段所支持的工具鏈：

TPT支持的主流開發(fā)工具

1）Model-in-the-Loop and Software-in-the-Loop (MiL-SiL) 模型在環(huán)及軟件在環(huán)

Simulink/TargetLink/ASCET/AUTOSAR Model

• 支持Simulink/TargetLink/ASCET/AUTOSAR模型的MiL、SiL與背靠背測試。
• 支持從Simulink/TargetLink/ASCET/AUTOSAR模型中自動讀取所有的接口信息，支持手動修改及導(dǎo)入模型內(nèi)部接口信號，確保模型搭建的便捷與準(zhǔn)確，為開發(fā)過程的測試用例復(fù)用提供保證。
• 自動生成測試框架，包含一個完整的輸入輸出定義模型以及特殊的TPT執(zhí)行引擎。測試模型框架形成閉環(huán)測試，以準(zhǔn)確評估測試用例執(zhí)行結(jié)果的正確性。
• 支持開環(huán)和閉環(huán)測試（支持DYNA4/CarMaker/Carsim等）。

Simulink模型測試

 

TPT集成ASCET執(zhí)行測試

2）Processor-in-the-Loop (PiL) 處理器在環(huán)

TPT支持集成調(diào)試器，在實(shí)際目標(biāo)硬件上進(jìn)行測試。

• 集成PLS-UDE：AURIX、Tricore、ARM Cortex etc.
• 集成Lauterbach TRACE 32：ARM、Power Architecture etc.

3）Hardware-in-the-loop（HiL）硬件在環(huán)測試

• 支持XiL-API接口與HiL設(shè)備進(jìn)行集成：VT System/ dSPACE HiL/ Veristand/ ETAS LCO/ Concurrent iHawk/ Speedgoat等。
• 發(fā)送測試用例到 HiL 執(zhí)行，接收測試數(shù)據(jù)進(jìn)行評估。
• 支持實(shí)時測試、故障注入 (FIU)。

TPT集成VT System執(zhí)行HiL測試

4）Vehicle-in-the-Loop (ViL) 實(shí)車在環(huán)測試

      TPT支持與CANape/INCA/VN1640集成進(jìn)行ViL測試。Autotester為TPT的自動化ViL測試工具，通過GUI界面觸發(fā)在TPT中編寫好的測試用例，同時告知駕駛員進(jìn)行動作觸發(fā)，TPT通過VN1640采集報(bào)文并進(jìn)行自動化判斷評估。

• 為沒有駕駛經(jīng)驗(yàn)的測試人員提供便捷驅(qū)動命令
• 自動進(jìn)行同一測試用例的多次執(zhí)行
• 圖像顯示及語音提示測試用例執(zhí)行過程
• 同時觀察多個測試步驟及測試用例執(zhí)行狀態(tài)
• 自動評估并生成測試報(bào)告

AutoTester 測試界面

4、測試需求跟蹤

• 支持與IBM Rational DOORS/Polarion/PTC等工具集成，實(shí)現(xiàn)測試需求導(dǎo)入/導(dǎo)出
• 跟蹤需求變更、沖突分析
• 與需求管理工具同步測試用例
• 將測試用例-測試需求-評估鏈接進(jìn)行測試
• 自動生成需求覆蓋分析報(bào)告

測試需求跟蹤界面

5、資質(zhì)認(rèn)證

TPT支持ISO26262標(biāo)準(zhǔn)要求產(chǎn)品開發(fā)的所有測試活動。根據(jù)ISO26262的要求，當(dāng)使用軟件工具進(jìn)行安全相關(guān)的開發(fā)活動時，需要對使用的軟件工具進(jìn)行資質(zhì)審核。

目前，TPT通過了SGS-TüV Saar的第三方認(rèn)證，可以滿足ISO26262 ASIL-A到ASIL-D對軟件的測試要求。TPT提供Qualification Package，以最佳和最有效的方式實(shí)現(xiàn)項(xiàng)目的功能安全的認(rèn)證。

TPT主要客戶

國內(nèi)客戶