基于模型的動(dòng)態(tài)測(cè)試工具TPT

　　TPT特性

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

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

　　TPT自動(dòng)化測(cè)試過(guò)程

　　1、測(cè)試用例建模

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

　　1）手動(dòng)搭建測(cè)試用例

　　列表型測(cè)試用例：并行結(jié)構(gòu)、條件語(yǔ)句、循環(huán)語(yǔ)句、Excel導(dǎo)入、信號(hào)預(yù)覽等。

　　適合于復(fù)雜模型的圖形化狀態(tài)機(jī)型測(cè)試用例

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

　　2）自動(dòng)生成測(cè)試用例

　　獨(dú)立測(cè)試平臺(tái)Dashboard：對(duì)被測(cè)系統(tǒng)創(chuàng)建用戶界面，以執(zhí)行手動(dòng)測(cè)試和觀測(cè)系統(tǒng)，同時(shí)記錄交互內(nèi)容，自動(dòng)生成測(cè)試用例。

　　TASMO工具箱：基于CC/DC原則自動(dòng)搜索Simulink/Stateflow和TargetLink模型進(jìn)行結(jié)構(gòu)分析，生成最少的測(cè)試用例，實(shí)現(xiàn)最全面的結(jié)構(gòu)覆蓋。

　　基于等價(jià)類自動(dòng)生成測(cè)試用例：將輸入信號(hào)分成若干等價(jià)區(qū)間，并在各等價(jià)區(qū)間隨機(jī)取值，自動(dòng)生成測(cè)試用例，遍歷測(cè)試場(chǎng)景。

　　基于變種自動(dòng)生成測(cè)試用例：用戶指定或自動(dòng)選擇狀態(tài)機(jī)模型中states、transitions和path組合生成測(cè)試用例，自動(dòng)覆蓋所有測(cè)試場(chǎng)景，極大的提高測(cè)試建模效率。

　　基于數(shù)值范圍自動(dòng)生成測(cè)試用例：將所有輸出信號(hào)取值排列批量生成測(cè)試用例，支持自定義信號(hào)最值及步長(zhǎng)，TPT專門設(shè)計(jì)的默認(rèn)代表值模式適用于邊界值測(cè)試。

　　外部測(cè)試數(shù)據(jù)導(dǎo)入生成測(cè)試用例：支持多個(gè)測(cè)量文件同時(shí)導(dǎo)入、背靠背測(cè)試與回歸測(cè)試。

　　Dashboard測(cè)試界面 TASMO工具箱

　　2、測(cè)試評(píng)估與報(bào)告生成

　　支持使用GUI評(píng)估函數(shù)自動(dòng)評(píng)估測(cè)試用例，如Trigger Rule，、Min/Max、 Signal Comparison、Script、Condition Tree、Sequence check、Equivalence classes check。

　　Signal Viewer：觀測(cè)信號(hào)進(jìn)行手動(dòng)評(píng)估，支持導(dǎo)入/導(dǎo)出測(cè)量文件、同步采樣信號(hào)與測(cè)試信號(hào)時(shí)間，同時(shí)觀測(cè)多個(gè)測(cè)試用例等。

　　支持背靠背測(cè)試、回歸測(cè)試、模型內(nèi)部信號(hào)觀測(cè)、容差設(shè)置。

　　自動(dòng)生成高度可配置測(cè)試報(bào)告：Contents、Figures、Paragraph、Signal Table、Section等。

　　Signal Viewer評(píng)估界面 定制化測(cè)試報(bào)告

　　3、測(cè)試環(huán)境

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

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

　　TPT支持的主流開(kāi)發(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與背靠背測(cè)試。

　　支持從Simulink/TargetLink/ASCET/AUTOSAR模型中自動(dòng)讀取所有的接口信息，支持手動(dòng)修改及導(dǎo)入模型內(nèi)部接口信號(hào)，確保模型搭建的便捷與準(zhǔn)確，為開(kāi)發(fā)過(guò)程的測(cè)試用例復(fù)用提供保證。

　　自動(dòng)生成測(cè)試框架，包含一個(gè)完整的輸入輸出定義模型以及特殊的TPT執(zhí)行引擎。測(cè)試模型框架形成閉環(huán)測(cè)試，以準(zhǔn)確評(píng)估測(cè)試用例執(zhí)行結(jié)果的正確性。

　　支持開(kāi)環(huán)和閉環(huán)測(cè)試（支持DYNA4/CarMaker/Carsim等）。

　　Simulink模型測(cè)試

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

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

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

　　集成PLS-UDE：AURIX、Tricore、ARM Cortex etc.

　　集成Lauterbach TRACE 32：ARM、Power Architecture etc.

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

　　支持XiL-API接口與HiL設(shè)備進(jìn)行集成：VT System/ dSPACE HiL/ Veristand/ ETAS LCO/ Concurrent iHawk/ Speedgoat等。

　　發(fā)送測(cè)試用例到 HiL 執(zhí)行，接收測(cè)試數(shù)據(jù)進(jìn)行評(píng)估。

　　支持實(shí)時(shí)測(cè)試、故障注入 （FIU）。

　　TPT集成VT System執(zhí)行Hil測(cè)試

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

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

　　為沒(méi)有駕駛經(jīng)驗(yàn)的測(cè)試人員提供便捷驅(qū)動(dòng)命令

　　自動(dòng)進(jìn)行同一測(cè)試用例的多次執(zhí)行

　　圖像顯示及語(yǔ)音提示測(cè)試用例執(zhí)行過(guò)程

　　同時(shí)觀察多個(gè)測(cè)試步驟及測(cè)試用例執(zhí)行狀態(tài)

　　自動(dòng)評(píng)估并生成測(cè)試報(bào)告

　　AutoTester 測(cè)試界面

　　4、測(cè)試需求跟蹤

　　支持與IBM Rational DOORS/Polarion/PTC等工具集成，實(shí)現(xiàn)測(cè)試需求導(dǎo)入/導(dǎo)出

　　跟蹤需求變更、沖突分析

　　與需求管理工具同步測(cè)試用例

　　將測(cè)試用例-測(cè)試需求-評(píng)估鏈接進(jìn)行測(cè)試

　　自動(dòng)生成需求覆蓋分析報(bào)告

　　測(cè)試需求跟蹤界面

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

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

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

　　TPT主要客戶

　　國(guó)內(nèi)客戶

　　北匯信息成立于2010年，是一家技術(shù)驅(qū)動(dòng)的創(chuàng)新型服務(wù)企業(yè)。公司總部位于上海，在北京、重慶、慈溪、長(zhǎng)春、廣州等地設(shè)有分公司和辦事處。現(xiàn)有員工300余名，70%以上是工程技術(shù)人員。

　　北匯信息始終專注于汽車電子領(lǐng)域的新技術(shù)和新產(chǎn)品，為整車廠和零部件企業(yè)提供完整的研發(fā)、測(cè)試解決方案。從測(cè)試工具、專用測(cè)試設(shè)備、完整測(cè)試方案到實(shí)車測(cè)試服務(wù)，我們與我們的客戶一起努力，讓中國(guó)的汽車變得越來(lái)越安全、越來(lái)越舒適、越來(lái)越智能。

　　與此同時(shí)，北匯信息通過(guò)國(guó)際合作努力學(xué)習(xí)歐美先進(jìn)技術(shù)和理念，提供智能工廠（工業(yè)4.0）整體解決方案?；谛乱淮畔⒓夹g(shù)，我們致力于為離散制造業(yè)客戶提供高效、可靠的數(shù)字智能·制造運(yùn)營(yíng)管理（MOM）解決方案和專屬服務(wù)。

　　本著“價(jià)值創(chuàng)造、共享成功”的理念，北匯信息與行業(yè)內(nèi)的很多重要客戶建立了長(zhǎng)期合作關(guān)系，形成了完善的技術(shù)開(kāi)發(fā)和服務(wù)體系，得到了廣泛好評(píng)。目前，我們的客戶包括上汽、一汽、吉利、廣汽、長(zhǎng)安、北汽、長(zhǎng)城、比亞迪、蔚來(lái)、小鵬、理想等OEM客戶，以及博世、大陸、TRW、華域、延峰、華為等國(guó)際、國(guó)內(nèi)知名供應(yīng)商。