说明:只是对QAC这种静态分析测试工具的一个简单介绍,如果对静态分析感兴趣可以看看 ———
QAC/QAC++是英国编程研究公司(Programming Research Ltd)专业进行C和C++语言规则的检查工具。在十几年里,QAC/QAC++产品一直处于静态编程规则检查
领域的领先地位,PR 公司有多名专家参与MISRA 和其它标准的起草和编写工作。PR 公司积累了深厚的经验,因为其对编程语言的理解非常精深,其产品在汽车、通信、航天航空、军工等领域拥有大量的用户。QAC/QAC++以其能全面而准确的发现软件中存在的潜在问题的能力得到客户的认可和赞赏。
1