摘要：面向对象的程序设计语言,如C++,引入了"类"的概念。相似的对象通过归入某一"类"而联系起来。"类"使数据与程序的封装成为可能,让代码更加安全。由此引发的继承等概念,更是大大提高了语言的灵活性。然而使用类的时候,需要十分小心,以免带来潜在的安全隐患。misra C++指出了避免这些陷阱的方法。

摘要：当前,嵌入式系统已发展成为汽车电子行业的焦点,鉴于其自身设计特性,为保证软件质量可靠性,软件测试必不可少。在介绍软件测试基本概念的基础上,针对ISO 26262功能安全标准,从静态测试和动态测试解决方案上介绍了相关嵌入式软件测试工具,并根据测试结果分析工具的有效性。结果表明,软件测试工具可以将代码质量进行量化,直观得到修改意见,极大提高软件开发效率,同时减少产品开发后期问题出现率。

摘要：软件测试是保障软件质量最有效的手段，而代码规则检查能够透过征兆直接看到问题本质，快速找到缺陷，发现30％～70％的逻辑设计和编码缺陷，是所有测试手段中最高效的。由于此方法要求测试人员熟悉软件编程，因此对测试人员有较高要求。且读懂对方代码，也是一项耗时、费力的工作，严重影响测试效率。代码规则检查工具实现了对代码是否符合国军标相关标准的规则检查，能按照代码规则自动、快速验证代码与相关标准的复合性，同时检查代码的可读性、代码与设计的一致性、代码逻辑表达的正确性及代码结构的合理性等。通过对几种主流的代码规则检查工具的对比分析，探讨了各个工具的优缺点及选择的诸多因素，对于软件测试人员如何选择合适的该类测试工具，具有实际参考价值。