時間分割測試
開發者 | PikeTec GmbH |
---|---|
當前版本 | 16(November 2020) |
作業系統 | 跨平台, Windows |
語言 | 英語 |
許可協議 | 專利所有 |
網站 | TPT product page |
TPT(Time Partition Testing 分時段測試,以下簡稱 TPT)是一種採用分時段測試方法進行軟體測試和軟體驗證的自動化工具軟體,主要應用於嵌入式系統中基於模型或者代碼的模塊測試,集成測試,系統測試和回歸測試。
TPT的主要功能:
- 搭建測試模型和測試用例
- 各種系統平台,如Matlab/Simulink, ASCET, Targetlink, C/Code,CAN, LIN,和各個開發階段,如MiL, SiL, PiL, HiL 和 ViL的自動化測試運行
- 自動化測試評估
- 測試建檔及歸檔(測試計劃,測試規格,測試報告)
- 測試管理
- 測試用例及其相關測試需求的管理和追溯
反饋測試
[編輯]TPT適用於測試具有連續行為的實時系統(實時系統,即在規定時間內對外部請求作出反應,交換物理數字數據和信號的系統,大部分開環控制系統和反饋控制系統均屬於實時系統)。在使用TPT進行測試的過程中,每一個測試用例都能有針對性的對某類系統反饋作出反應。一方面測試信號隨著系統狀態的變化而發生改變,另一方面改變後的測試信號也會激發系統下一步的狀態變化。
圖形化測試建模
[編輯]與通過腳本激勵被測系統(System Under Test,SUT)的測試方法不同, TPT採用圖形化測試用例建模進行測試。在TPT中,測試用例流程可以用專門的狀態自動機建模。這種測試用例的建模方式非常適合嵌入式系統,因為這類系統的測試用例一般都由某時間點/段上的單個或多個且在時間上連續的步驟組成。由此生成的複雜測試用例,具有很強的可讀性和復用性。
系統化的測試用例
[編輯]具有連續反應行為的嵌入式實時系統一般比較複雜,對其進行完整測試需要大量的測試用例。TPT能自動且系統化生成一系列測試用例,不僅直觀清晰,而且能針對被測試系統的薄弱位置運用有效的測試用例進行測試。TPT系統化測試的基本思想是,區分共性,強調異性,有針對性的產生測試用例。測試用例大多大同小異,具有類似或者重複性的測試流程,主要區別在於一些數量不多但是關鍵的細節。TPT充分利用這一點,搭建統一的測試架構,一方面可以避免不必要的冗餘,另一方面,能迅速找出各個測試用例之間的差別,即各自的測試側重點,增強了測試用例之間的可比較性。
測試用例除了具有系統化特點之外,還有等級性。通過測試用例的等級性,可將複雜的測試問題劃分成幾個子問題,不僅提高測試用例的可讀性,而且細化測試問題,提高了測試的質量。
以上兩種建模技巧有助於測試者找尋測試用例之間的相關性,避免冗餘,將側重點集中在測試用例間的異性上。
測試運行
[編輯]生成的測試用例幾乎可在所有系統平台上自動獨立運行/復用,如Matlab/Simulink ,Targetlink, ASCET, CAN, LIN, AUTOSAR等。
TPT可以生成任意測試信號,所以它也可用作軟體研發過程中的輸入信號產生器,以檢驗模型的可執行性,提高研發質量。
可程式的自動化測試評估
[編輯]通過TPT自帶的基於Python程式語言編寫評估腳本,不僅能嚴格地從量上對測試對象的時間行為和功能行為,並且能從質上進行自動有效的評估。
運用範圍
[編輯]TPT主要用於汽車業。最早是Daimler AG und Mercedes Benz為自身汽車研發所開發的軟體,第一版本研自2000年。此後,PikeTec GmbH建立並獨立發布TPT,並一直致力於對該軟體的後續研發和迭代,使之更好的應用於汽車軟體市場。TPT現在已經被大量的OEM,如Volkswagen,Audi,BMW,Daimler,PSA Group等,以及諸多Tier 1供應商和服務商,例如Bosch, Hella, Conti, Temic等應用在各個軟體開發的測試環節中。
外部連結
[編輯]需求的可追蹤性
[編輯]安全系統的國際標準IEC 61508, DO-178B, EN 50128 und ISO 26262需要需求和測試的可追蹤性。TPT可以導入需求系統中(MS Excel,IBM DOORS,Siemens Polarion)的需求,連結對應的測試用例,並進行同步
參考資料
[編輯]- Bringmann, Krämer: Systematic testing of the continuous behavior of automotive systems In: International Conference on Software Engineering: Proceedings of the 2006 international workshop on Software, Shanghai, China, 2006
- Springer Berlin / Heidelberg[永久失效連結]
- Eckard Bringmann, Andreas Krämer. Model-Based Testing of Automotive Systems, In: ICST, pp.485-493, 2008 International Conference on Software Testing, Verification, and Validation, 2008. (頁面存檔備份,存於網際網路檔案館)
- Grossmann, Müller: A Formal Behavioral Semantics for TestML[永久失效連結]
- Justyna Zander-Nowicka, Abel Marrero Pérez, Ina Schieferdecker, Zhen Ru Dai: Test Design Patterns for Embedded Systems, In: 10th International Conference on Quality Engineering in Software Technology, CONQUEST 2007, Potsdam, Germany, September 2007