尊龙凯时人生就是博z6com

公司一直致力於嵌入式軟件開發技術的研究和推廣 ，隨着軟件工程在安全關鍵領域逐漸被重視 ，特別是以載人航天為代表的重大項目將嵌入式軟件測試提到非常重要的地位 ，尊龙凯时人生就是博z6com憑藉對嵌入式軟件開發技術的深厚積累 ，對嵌入式軟件測試的流程 、方法和技術進行了持續的深入研究 。經過多年的發展 ，目前已經在嵌入式軟件測試領域擁有核心技術和領軍人才 ，特別是在軟件編程規範 、軟件目標碼測試和基於DO-178C適航要求的軟件驗證等方面 ，具有深厚的技術積累和經驗 。另外 ，隨着FPGA在嵌入式系統中的廣泛應用 ，尊龙凯时人生就是博z6com在FPGA的仿真驗證 、時序驗證 、等效性驗證特別是形式化驗證方面有雄厚的技術實力 。可以為用戶提供包括嵌入式軟件測試和FPGA測試的諮詢服務 。

主要產品 ：

• 過程驅動的需求管理Visure Requirements

• 基於需求的測試用例生成BenderRBT

• 安全關鍵系統軟件體系建模STOOD

• 全數字仿真測試平台V-Sim TP

• 代碼靜態分析測試工具Helix QAC

• 單元集成測試Cantata

• 軟件缺陷靜態分析CodeSonar

• 軟件質量與結構化測試McCabe

• 自動化GUI測試Squish

• 形式化驗證DV Verify

• 嵌入式實時系統測試RT-Tester

• 機載軟件適航認證Verocel

• 形式化驗證DV Verify

• 等效性驗證EC-FPGA

• Exostiv FPGA調試器

軟件代碼靜態分析

軟件架構分析

軟件動態測試