澳门人·威尼斯(中国)官方网站

公司一直致力于嵌入式软件开发技术的研究和推广，随着软件工程在安全关键领域逐渐被重视，特别是以载人航天为代表的重大项目将嵌入式软件测试提到非常重要的地位，澳门人威尼斯3966凭借对嵌入式软件开发技术的深厚积累，对嵌入式软件测试的流程、方法和技术进行了持续的深入研究。经过多年的发展，目前已经在嵌入式软件测试领域拥有核心技术和领军人才，特别是在软件编程规范、软件目标码测试和基于DO-178C适航要求的软件验证等方面，具有深厚的技术积累和经验。另外，随着FPGA在嵌入式系统中的广泛应用，澳门人威尼斯3966在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调试器

软件代码静态分析

软件架构分析

软件动态测试