最新动态

一、PGRelief嵌入式代码静态检测工具

PGRelief®  C/C++是富士通（南京）软件与日本富士通合作开发的静态代码检测软件。通过对C/C++源代码的检测和分析，能够快速检查出代码的错误和缺陷。从而提高软件开发品质，缩短开发周期，降低软件开发成本。同时支持MISRA、SEC、CERT编码规范检查。广泛地应用于汽车电子、医疗、家电等多种行业的嵌入式软件开发。

二、BTC模型/代码自动化测试工具平台

BTC的主要经营产品

• 功能测试套件
• 背靠背测试套件
• 形式测试套件
• 形式验证套件

三、Parasoft®   C/C++test®

C/C++test 是专业针对C和C++语言的开发测试方案，经广泛证明能提高软件开发效率和代码质量的自动化最佳实践解决方案。

四、Doors Next Genearation需求管理

IBM ®Rational ®DOORS ®Next Generation是在IBM Rational Jazz 平台技术上运行的需求管理工具。Rational DOORS Next Generation 包括服务器应用程序和 Web 客户机。这些组件一起为制成品行业和面向   系统的行业中的系统和软件工程项目提供需求定义和管理功能。相比传统的DOORS，DNG更快、更响应，这意味着你可以更快地处理需求、更快地响应变更、更快地 看到项目成果 。

五、SQTRACER功能安全管理工具

SQTRACER是一款满足ISO26262规范的文档管理工具，可以直接兼容Office及其他工具进行汽车电子领域研发成果物管理。该工具提供条目级、全流程需求管理、方便快捷的成果物关联和追溯以及灵活可控的协同审批等功能，助力企业快速通过ISO26262功能安全流程认证。