 |
介绍 |
ECLAIR的主要功能：
- 编码标准的自动检查：ECLAIR支持自动检查一些广泛使用的编码标准的符合性，包括
MISRA-C:1998、MISRA-C:2004、MISRA C:2012、MISRA C++:2008等；
- 不需要编写编译器特定的文件
- 报告自动生成：ECLAIR可配置为自动生成符合合同义务和工业标准(如ISO 26262)的合规报告。
- 强大的图形化人机界面，ECLAIR支持的所有验证任务都可以通过方便的图形用户界面逐步指定和细化
- 嵌入式C代码规则检查
- HIS代码度量：ECLAIR可以提供关于代码的全面的度量，包括HIS源代码度量，文档定义的基本集，以及SQALE Method质量模型的许多需求。
- 检查溢出、除零、空指针、死循环等常见bug
|
BUGSENG_ECLAIR产品资料