日本福利一区_最近中文高清在线观看_免费黄色电影在线观看_亚洲天堂成人在线 - 91人人

用戶中心
· 企業空間 首頁 | 資訊 | 技術 | 產品 | 企業 | 直播 | 專題 | 智能制造 | 論壇| 在線研討會
北京經緯恒潤科技股份有限公司
  • 符合功能安全要求的動態測試工具-TESSY  
  • 發布時間:2022/3/7 9:37:39   修改時間:2022/3/11 9:38:36 瀏覽次數:1148
  • 符合功能安全要求的動態測試工具-TESSY
  •        Tessy是一個專門針對嵌入式軟件的C/C++代碼進行單元、集成測試的工具,它可以自動化地執行測試、評估測試結果并生成測試報告。

           Tessy的目標就是:通過自動化整個測試周期,支持針對C語言的單元測試/集成測試,同時,Tessy也同樣關注測試組織和測試管理。

           Tessy軟件源自戴姆勒-奔馳公司的軟件技術實驗室,在戴姆勒-奔馳公司得到廣泛的使用,1997年之后獨立成為專業的軟件測試工具公司Razorcat,由德國Hitex負責銷售及技術支持服務。

           北京經緯恒潤作為Hitex/Razorcat公司的中國合作伙伴,將為中國汽車客戶提供Tessy軟件及軟件測試服務。

     

    產品介紹

           在以V模型為例的開發模式中,Tessy主要應用在單元/模塊測試,集成/組件測試。在V模型的開發模式中,單元測試是第一個動態測試活動。通過函數級測試,有效檢查出每一類錯誤,比如算法錯誤、邊界控制錯誤、數據溢出等。通過單元測試,可以盡可能早得發現Bug,防止到后面的測試過程或者到最終用戶那里才被發現。在整個項目開發測試周期中,越早發現Bug越好,事實證明,開展詳盡規范的單元測試能夠有效減少系統測試和回歸測試時間,降低開發成本。

     

           另外,Tessy也可以滿足各類標準(ISO26262、IEC 61508、 EN 50128/50129、 DO-178B、汽車SPiCE或FDA的軟件驗證通用原則)對測試的需求,比如ISO26262中各個測試等級中對模塊測試的要求可以使用Tessy來滿足,當然Tessy本身也通過了Tuev的認證,可以在安全相關性的軟件研發過程中被使用。

     

    功能介紹

    自動生成測試環境 

           Tessy可以自動生成測試環境驅動,選擇自動或者手動打樁以及自動生成測試用例模板,幫助客戶提高測試用例設計效率。

     

    多種測試用例確定方式

           除了可以在簡潔的界面中手動輸入測試用例之外,還支持從Excel中導入測試數據,也可以通過腳本編輯器編寫測試用例。另外,Tessy里集成了CTE軟件,根據分類樹的方法,將每個接口的等價類進行劃分,半自動化的生成測試用例,降低用例冗余度,提高測試效率。

    用例設計

     

    用例腳本編輯器

     

    CTE分類樹設計

     

    支持動態測試的各階段

           Tessy可以支持從單元測試到系統測試的動態測試過程各個階段,通過單元測試檢查每個函數的功能完整性,通過集成測試對各個子模塊進行功能驗證以及模塊間接口測試,可以通過與目標板集成進行系統功能驗證。

           另外Tessy可以自動識別被測對象的接口變更,提示我們需要更新測試用例;版本迭代時,可重用測試用例和測試數據,節約大量回歸測試需要的工作和時間,在接口不變的情況下,Tessy可以自動化地執行不需要用戶介入的回歸測試。

     

    全自動地測試執行及評估

           Tessy檢查源文件并且通過分析程序代碼來確定函數以及他們的接口,這些信息將被保存在特定的數據庫中供隨時檢索,接口信息和測試數據的分離實現了結構和數據之間的明確劃分,一方面,接口的測試使首先顯示變化成為可能;另一方面,如果發生變化,通常也只有要測試的函數接口的幾個元素要發生變化,在Tessy中接口發生變化時的處理相當簡單。

     

    測試報告生成

           管理測試數據并生成在測試報告,Tessy提供輸入參數/執行測試和評估結果和報告文檔,Tessy可以生成各種類型的測試報告,包括詳細報告、概況報告以及覆蓋度報告等。

     

    覆蓋率統計

           Tessy提供C1覆蓋,即分支覆蓋branch coverage或者判定覆蓋decision coverage ;條件覆蓋,即多條件覆蓋MCC(Multiple Condition Coverage)和修正條件判定覆蓋MC/DC(Modified Condition/Decision Coverage),Tessy是通過測試應用程序來獲取測試覆蓋信息的。

     

    故障注入測試

           故障注入可以實現傳統方法無法實現的測試用例輸入,例如跳出無限循環,先寫后讀功能以及防御性編程測試。可以在選定的分支位置注入專用的測試代碼,以便可以操縱決策結果。這確保了正確的操作以及正常的測試用例不會由故障注入引起副作用。

     

    支持測試用例有效性自動評估

           除了傳統的測試用例執行結果統計和覆蓋率統計,TESSY還支持自動化的用例有效性評估,檢驗測試用例對邊界測試和特殊場景的覆蓋情況,防止由于測試用例不充分對測試效果的影響,影響程序運行可靠性。同時,對于測試項目管理者來說,也可以通過該指標對團隊的整個測試結果有更全面的了解和把控。

    支持各種開發環境

           Tessy現在可以支持超過130種微控制器、編譯器和調試器的組合;這確保了Tessy能夠處理交叉編譯器生成的非標準C(ANSI-C)微控制器特定的代碼;一旦Tessy和不同的開發環境完成集成,就可以在實際芯片中運行測試用例了。

     

    支持ASAP2

           在Tessy中設計測試用例之前選擇與ASAP2標準的集成功能,確定需要導入的ASAP2文件,使用ASAP2轉換規則自動地將測試用例中設計的測試數據物理值轉換為在目標板中執行測試對象的整數值,從而簡化測試用例設計的理解和實現,并且可以在Tessy中顯示其他ASAP2信息,例如單位,最大/最小值等。

     

    插入需求

           所有的測試活動都是基于功能規格和需求變更的。支持插入需求,隨著需求的變化自動變更需求版本,實現需求可溯性。可通過插入需求宏觀把握測試工作的進度。

     

    應用 & 案例

           Tessy被廣泛應用于汽車、鐵路、醫療和工業應用領域當中,眾多汽車整車廠、零部件供應商都在使用Tessy。

    汽車行業

     

    安全關鍵性領域

     

    醫療行業、白色家電等領域

  • 企業介紹
經緯恒潤成立于2003年,股票代碼688326。專注于為汽車、無人運輸等領域的客戶,提供電子產品、研發服務和高級別智能駕駛整體解決方案。公司總部位于北京,在天津、南通、馬來西亞建有研發中心和現代化工廠,形成了完善的研發、生產、營銷、服務…  更多>>
  • 聯系方式

北京經緯恒潤科技股份有限公司

聯系人:經緯恒潤

地址:北京朝陽區酒仙橋路14號1幢4層

郵編:100000

電話:010-64840808-6117

傳真:

公司網址:http://www.hirain.com

  • 該空間手機版

掃描此二維碼即可訪問該空間手機版

  • 在線反饋
1.我有以下需求:



2.詳細的需求:
姓名:
單位:
電話:
郵件:
您還沒有登錄,請登陸,
如果您還沒有注冊,點擊這里注冊.
  • 網友反饋
  • 王水 在2024/12/17 16:55:00留言
  • 留言類型:得到貴公司產品的價格信息,
  • 詳細留言:再寫一個車輛相關的項目預算。想使用貴司的ModelBase仿真工具進行多體動力學建模仿真。想咨詢一下價格
  • 黃鎮江 在2024/12/5 11:43:00留言
  • 留言類型:貴公司產品銷售人員聯系我,貴公司技術支持人員聯系我,
  • 詳細留言:我方需貴方提供電子油門傳感器以適配我方自研的防誤踩油門踏板。
  • 龍高 在2024/9/10 9:06:00留言
  • 留言類型:得到貴公司產品的價格信息,
  • 詳細留言:Compact6_GBus TE, CN5.2.05
  • 在2024/8/6 10:13:00留言
  • 留言類型:貴公司產品銷售人員聯系我,
  • 詳細留言:了解一下這款軟件價格
  • 毛先生 在2024/6/28 14:14:00留言
  • 留言類型:我想得到貴公司產品詳細資料,我讓貴公司產品銷售人員聯系我,
  • 詳細留言:實時仿真機
更多請進入空間管理中心查看
關于我們 | 網站地圖 | 聯系我們
© 2003-2018    經營許可編號:京ICP證120335號
公安機關備案號:110102002318  服務熱線:010-82053688
我要反饋