准遵循并发现软件缺陷。.PDFVIP

PRQA 公司成立于1986 年,总部在英国。PRQA 被世界范围内的高级软件开发人员、行 业专家、标准团体认可为编程标准专家。其一直致力于通过静态分析来自动化地检查编程标 准的遵循并发现软件的缺陷。 PRQA 的主要产品包括：QAC/QAC++ ，QA.MISRA C/QA.MISRA C++ ，QA Verify 。 QAC/QAC++是用于代码规则检查的自动化工具。 代码审查主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码的逻辑表达 的正确性，代码结构的合理性等方面；可以发现违背程序编写标准的问题，程序中不安全、 不明确和模糊的部分，找出程序中不可移植部分、违背程序编程风格的问题，包括变量检查、 命名和类型审查、程序逻辑审查、程序语法检查和程序结构检查等内容。 MISRA Compliance 模块为QAC 可选组件，执行MISRA 2004 准则检查，在MISRA Compliance 模块的帮助下，分析源代码查找不符合MISRA 的结构。QAC 的警告信息直接通 过HTML 连接到被分析的源代码，同时也与MISRA 相关规则参考信息连接。这些参考信息 包括MISRA 兼容代码中解释性的例子和标准描述。  主要功能:  支持C, C++, Java 和Fortran 应用的静态分析  确定并增强代码的标准化(工业级以及自定义)  通过代码审查度量软件质量  软件编程规则评估  MISRA C 准则检查  支持的平台:  Solaris、HPUX、Linux、Windows (NT, 95, 98, 2000) PRQA 参与和遵从以下标准指定：  ISO C 委员会成员  ISO C++ 决策成员  MISRA C 创始人  MISRA C++创始人 提供的产品和服务的领域包括：  航空航天、汽车、国防、半导体、金融、工业应用、医疗设备、通信 PRQA QAC 市场领先的QAC 是为在项目编码阶段的工程师设计的，以确保开发高质量的C 代码。 QA.C 也可以在开发过程的任何阶段用于减少代码 bug ，并且快速、自动执行、易用、可用 于任何规模的开发环境。 地址：上海市浦东新区张江高科张衡路200 号3 栋3207E 室 成都市高新区盛和一路88 号康普雷斯B 座1914 室 电话： 021（上海办公室） 创提信息科技（上海）有限公司 028（成都办公室） 邮箱: info@ QAC 提供了高效的、稳定的、完全自动化的环境创建和执行编码规范。QAC 快速有 效的检测和报告软件的缺陷、语言执行错误、冲突、危险用法和编码规范错误，防止错误进 入产品导致开发延期。QAC 能够监视和限制复杂度，开发可测试和可维护代码。QAC 可 以报告代码对特定的编程规范的符合程度。 QAC 检查的范围例子 未定义的行为 QAC 检测众所周知的未定义行为——空指针释放、除零、缓存溢出——以及其他罕见领域。 QAC 的数据流引擎提供变量的数值分析以检测未定义的行为。 约束错误 语言的误用——检查 159 个语法正确但是语义错误的代码问题。QAC 能够检测的范围从众 所周知的编译问题到通过了编译的其他问题。 模块交互分析 QAC 发现未定义的行为，比如使用外部链接时对象/ 函数重复定义，链接器不能检