PRQA——用静态分析方法保证嵌入式软件的质量

Harry Dehaly

PRQA公司;

摘要：

@@ 在嵌入式系统中很多软件是采用C或C++语言编写的,但C或C++语言并不是安全的编程语言.来自英国的编程研究公司PR(Programming Research Ltd)公司提供了一种很好的对代码进行检测的工具,其QAC/QAC++产品是专业的进行C和C++语言规则检查的工具,它采用了静态分析的方法,在过去的十几年里,QAC/QAC++一直处于静态编程规则检查领域的领先地位.在中国,北京旋极信息技术股份有限公司(WaterTek)引进并全面代理PR公司的产品,目前在军工行业已大量应用.

机标关键词：静态分析方法、嵌入式软件、C++语言、规则检查、股份有限公司、编程语言、嵌入式系统、分析的方法、信息技术、军工行业、工具、产品、Research、中国、英国、检测、地位、代码、代理、编写

分类号：TM7;TP3

在线出版日期：2009-12-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共1页

页码：48