<var id="tppfn"></var>

    <pre id="tppfn"></pre>

    <sub id="tppfn"><dfn id="tppfn"></dfn></sub>
        <progress id="tppfn"></progress>
          Solution
          解決方案
          德國BTC
          德國BTC公司于1999年成立、專注于嵌入式軟件自動測試、基于模型的開發和測試、以及安全關鍵系統測試。公司使命為面向基于模型的開發技術和嵌入式軟件開發、使用自動測試和形式驗證技術、幫助客戶在縮短的設計周期內提高產品品質。主要應用領域為汽車、航空、工程機械、軌道交通及醫療等、領先的驗證和確認技術曾獲得圖靈獎。
          方案系列
          • 形式驗證套件: (動態窮舉形式驗證) 對dSpace TargetLink模型C代碼的內部狀態進行反例求證、檢查系統是否滿足形式化需求的解決方案。
          • 形式測試套件: (動態形式測試) 自動生成關聯需求的測試用例、自動執行測試并判定仿真結果是否違反需求、生成測試報告。
          • Back-to-Back測試套件: (包含功能測試套件) 全自動行模型和C代碼的等效性測試、并可檢查C代碼的隱藏缺陷、生成測試報告。
          • 功能測試套件: 通過便利的手寫測試用例編輯器、對模型、C代碼進行測試、并無縫集成調試環境、生成測試報告。
          • ECU軟件: 開發流程咨詢以及工程服務 : 需求工程、模型架構、建模規范、模型及代碼測試(MIL/SIL/PIL) 、功能安全, AutoSAR。
          下載中心
          請聯系我們,威柏會在第一時間幫您解決!
          聯系我們
          亚洲精品国产自在久久老牛,麻豆精品国产剧情在线观看,中文字幕一区2区,国产真实伦正在播放

          
          <var id="tppfn"></var>

            <pre id="tppfn"></pre>

            <sub id="tppfn"><dfn id="tppfn"></dfn></sub>
                <progress id="tppfn"></progress>