基于模型的動態(tài)測試工具TPT
TPT特性
PikeTec公司是全球知名的基于模型的嵌入式系統(tǒng)測試工具TPT的軟件供應(yīng)商,,總部位于德國柏林,,其創(chuàng)始人均在戴姆勒公司擁有十多年的軟件測試經(jīng)驗,。TPT作為針對嵌入式系統(tǒng)的基于模型的動態(tài)測試工具,,支持眾多業(yè)內(nèi)主流的工具平臺和測試環(huán)境,,可應(yīng)用于整個嵌入式軟件開發(fā)周期,,實現(xiàn)各種異構(gòu)環(huán)境下的自動化測試,。無論是在測試建模,,測試環(huán)境還是測試評估,,測試報告方面,,都占據(jù)強大優(yōu)勢。
北匯信息作為PikeTec的中國合作伙伴,,將幫助中國客戶借助TPT提升嵌入式控制系統(tǒng)的開發(fā)效率,。
1、測試用例建模
TPT是針對嵌入式系統(tǒng)開發(fā)的測試驗證工具,,圖形化建立測試用例的方式易于閱讀維護,,針對MATLAB/Simulink/Stateflow、TargetLink及ASCET模型支持自動生成測試用例,。
1)手動搭建測試用例
列表型測試用例:并行結(jié)構(gòu),、條件語句、循環(huán)語句,、Excel導(dǎo)入,、信號預(yù)覽等。
TPT列表型測試用例
列表型測試用例 狀態(tài)機型測試用例
2)自動生成測試用例
獨立測試平臺Dashboard:對被測系統(tǒng)創(chuàng)建用戶界面,,以執(zhí)行手動測試和觀測系統(tǒng),,同時記錄交互內(nèi)容,自動生成測試用例,。
TASMO工具箱:基于CC/DC原則自動搜索Simulink/Stateflow和TargetLink模型進行結(jié)構(gòu)分析,,生成最少的測試用例,實現(xiàn)最全面的結(jié)構(gòu)覆蓋,。
基于等價類自動生成測試用例:將輸入信號分成若干等價區(qū)間,,并在各等價區(qū)間隨機取值,自動生成測試用例,,遍歷測試場景,。
基于變種自動生成測試用例:用戶指定或自動選擇狀態(tài)機模型中states、transitions和path組合生成測試用例,,自動覆蓋所有測試場景,,極大的提高測試建模效率。
基于數(shù)值范圍自動生成測試用例:將所有輸出信號取值排列批量生成測試用例,,支持自定義信號最值及步長,,TPT專門設(shè)計的默認代表值模式適用于邊界值測試。
外部測試數(shù)據(jù)導(dǎo)入生成測試用例:支持多個測量文件同時導(dǎo)入、背靠背測試與回歸測試,。
2,、測試評估與報告生成
支持使用GUI評估函數(shù)自動評估測試用例,如Trigger Rule,,,、Min/Max、 Signal Comparison,、Script,、Condition Tree、Sequence check,、Equivalence classes check,。
Signal Viewer:觀測信號進行手動評估,支持導(dǎo)入/導(dǎo)出測量文件,、同步采樣信號與測試信號時間,,同時觀測多個測試用例等。
支持背靠背測試,、回歸測試,、模型內(nèi)部信號觀測、容差設(shè)置,。
自動生成高度可配置測試報告:Contents,、Figures、Paragraph,、Signal Table,、Section等。
3,、測試環(huán)境
TPT支持汽車電子主流的工具鏈來覆蓋產(chǎn)品開發(fā)的整個V模式(MiL,、SiL、PiL,、HiL,、ViL)下所有的測試階段,并實現(xiàn)測試用例的復(fù)用,,無需更換測試工具。強大的Fusion平臺使用戶可以輕松創(chuàng)建包含不同組件的仿真環(huán)境,。
TPT在不同測試階段所支持的工具鏈:
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)部接口信號,,確保模型搭建的便捷與準確,為開發(fā)過程的測試用例復(fù)用提供保證。
自動生成測試框架,,包含一個完整的輸入輸出定義模型以及特殊的TPT執(zhí)行引擎,。測試模型框架形成閉環(huán)測試,以準確評估測試用例執(zhí)行結(jié)果的正確性,。
支持開環(huán)和閉環(huán)測試(支持DYNA4/CarMaker/Carsim等),。
TPT集成ASCET執(zhí)行測試
2)Processor-in-the-Loop (PiL) 處理器在環(huán)
TPT支持集成調(diào)試器,在實際目標硬件上進行測試,。
集成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è)備進行集成:VT System/ dSPACE HiL/ Veristand/ ETAS LCO/ Concurrent iHawk/ Speedgoat等,。
發(fā)送測試用例到 HiL 執(zhí)行,接收測試數(shù)據(jù)進行評估,。
支持實時測試,、故障注入 (FIU)。
TPT集成VT System執(zhí)行Hil測試
4)Vehicle-in-the-Loop (ViL) 實車在環(huán)測試
TPT支持與CANape/INCA/VN1640集成進行ViL測試,。Autotester為TPT的自動化ViL測試工具,,通過GUI界面觸發(fā)在TPT中編寫好的測試用例,同時告知駕駛員進行動作觸發(fā),,TPT通過VN1640采集報文并進行自動化判斷評估,。
為沒有駕駛經(jīng)驗的測試人員提供便捷驅(qū)動命令
自動進行同一測試用例的多次執(zhí)行
圖像顯示及語音提示測試用例執(zhí)行過程
同時觀察多個測試步驟及測試用例執(zhí)行狀態(tài)
自動評估并生成測試報告
4、測試需求跟蹤
支持與IBM Rational DOORS/Polarion/PTC等工具集成,,實現(xiàn)測試需求導(dǎo)入/導(dǎo)出
跟蹤需求變更,、沖突分析
與需求管理工具同步測試用例
將測試用例-測試需求-評估鏈接進行測試
自動生成需求覆蓋分析報告
5、資質(zhì)認證
TPT支持ISO26262標準要求產(chǎn)品開發(fā)的所有測試活動,。根據(jù)ISO26262的要求,,當(dāng)使用軟件工具進行安全相關(guān)的開發(fā)活動時,需要對使用的軟件工具進行資質(zhì)審核,。
目前,,TPT通過了SGS-T?V Saar的第三方認證,可以滿足ISO26262 ASIL-A到ASIL-D對軟件的測試要求,。TPT提供Qualification Package,,以最佳和最有效的方式實現(xiàn)項目的功能安全的認證。
北匯信息成立于2010年,,是一家技術(shù)驅(qū)動的創(chuàng)新型服務(wù)企業(yè),。公司總部位于上海,在北京,、重慶,、慈溪,、長春、廣州等地設(shè)有分公司和辦事處?,F(xiàn)有員工300余名,,70%以上是工程技術(shù)人員。
北匯信息始終專注于汽車電子領(lǐng)域的新技術(shù)和新產(chǎn)品,,為整車廠和零部件企業(yè)提供完整的研發(fā),、測試解決方案。從測試工具,、專用測試設(shè)備,、完整測試方案到實車測試服務(wù),我們與我們的客戶一起努力,,讓中國的汽車變得越來越安全,、越來越舒適、越來越智能,。
與此同時,,北匯信息通過國際合作努力學(xué)習(xí)歐美先進技術(shù)和理念,提供智能工廠(工業(yè)4.0)整體解決方案,?;谛乱淮畔⒓夹g(shù),我們致力于為離散制造業(yè)客戶提供高效,、可靠的數(shù)字智能·制造運營管理(MOM)解決方案和專屬服務(wù),。
本著“價值創(chuàng)造、共享成功”的理念,,北匯信息與行業(yè)內(nèi)的很多重要客戶建立了長期合作關(guān)系,,形成了完善的技術(shù)開發(fā)和服務(wù)體系,得到了廣泛好評,。目前,,我們的客戶包括上汽、一汽,、吉利,、廣汽、長安,、北汽,、長城、比亞迪,、蔚來,、小鵬、理想等OEM客戶,,以及博世,、大陸、TRW,、華域,、延峰、華為等國際,、國內(nèi)知名供應(yīng)商,。
更多信息可以來這里獲取==>>電子技術(shù)應(yīng)用-AET<<