德國BTC

<track id="jjnj1"><ruby id="jjnj1"><b id="jjnj1"></b></ruby></track>

<p id="jjnj1"><mark id="jjnj1"><thead id="jjnj1"></thead></mark></p>

<del id="jjnj1"><mark id="jjnj1"><progress id="jjnj1"></progress></mark></del>

Solution

解決方案

首頁解決方案

德國BTC

德國BTC公司于1999年成立、專注于嵌入式軟件自動測試、基于模型的開發和測試、以及安全關鍵系統測試。公司使命為面向基于模型的開發技術和嵌入式軟件開發、使用自動測試和形式驗證技術、幫助客戶在縮短的設計周期內提高產品品質。主要應用領域為汽車、航空、工程機械、軌道交通及醫療等、領先的驗證和確認技術曾獲得圖靈獎。

方案系列

形式驗證套件： (動態窮舉形式驗證) 對dSpace TargetLink模型C代碼的內部狀態進行反例求證、檢查系統是否滿足形式化需求的解決方案。
形式測試套件： (動態形式測試) 自動生成關聯需求的測試用例、自動執行測試并判定仿真結果是否違反需求、生成測試報告。
Back-to-Back測試套件： (包含功能測試套件) 全自動行模型和C代碼的等效性測試、并可檢查C代碼的隱藏缺陷、生成測試報告。
功能測試套件：通過便利的手寫測試用例編輯器、對模型、C代碼進行測試、并無縫集成調試環境、生成測試報告。
ECU軟件：開發流程咨詢以及工程服務 : 需求工程、模型架構、建模規范、模型及代碼測試(MIL/SIL/PIL) 、功能安全, AutoSAR。

下載中心

請聯系我們，威柏會在第一時間幫您解決!

香港九龍官塘成業街7號寧晉中心33樓A-B室

(852) 2763 5991

深圳市福田區車公廟天安創新科技廣場二期東座1302

0755-8826 7606

上海市徐匯區龍華中路596號綠地中心A座 612室

021-5489 1460

成都市高新區吉瑞三路99號環球時代中心1棟4單元1618號

028-8554 0368

湖北省武漢市洪山區群光中心2011-2012室

027-8713 9838

青島市黑龍江南路2號萬科中心A座909

0532-8582 3798

北京市朝陽區十里堡東恒時代三期17號樓2單元202

010-5963 0698

西安市高新區科技路金橋國際廣場B座1113室

029-8938 1667

L欧美日韩在线无码一区

<track id="jjnj1"><ruby id="jjnj1"><b id="jjnj1"></b></ruby></track>

<p id="jjnj1"><mark id="jjnj1"><thead id="jjnj1"></thead></mark></p>

<del id="jjnj1"><mark id="jjnj1"><progress id="jjnj1"></progress></mark></del>