基于LDRA Testbed的软件静态测试研究与实现

介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究。最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告。

浅谈如何借鉴MISRA规范减少DSP程序设计的隐患

实时性强、算法复杂的数字信号处理技术已大规模采用DSP(数字信号处理器)编程实现,为兼顾汇编语言和C语言两者的优点,往往采用混合编程的方式。在安全性要求和长时间可靠工作要求高的系统中,DSP程序的健壮性是很关键的。本文从MISRA(汽车工业软件可靠性联合会)-C规范对安全性的理解出发,结合具体的DSP芯片开发,介绍了因代码开发的不规范、程序员的失误、程序员对编译器和语言本身的误解而埋下隐患,导致程序执行结果错误和程序崩溃等问题。另一方面,MISRA-C规范因为注重安全性而放弃了C语言中高效、占用资源少的"联合体",对此,本文提出在明确联合体各个实现细节的前提下,仍可谨慎使用联合体。

智能电能表软件可信保障技术白盒静态测试模型与编码规范探索

智能电能表软件质量越来越成为影响产品质量的关键因素,其目前黑盒测试技术在测试广度与深度方面度都存在客观的技术局限性,本文探索了软件可信保障白盒测试技术,提出一种智能电能表软件白盒静态测试模型。重点详细分析了电能表软件白盒静态测试的编码规范应用,采用著名的汽车工业软件MISRA-C编码规范,利用嵌入式软件白盒测试工具LDRA Testbed进行了电能表软件编码规范测试的有效性的分析。该内容的推广可为表计企业软件人员提高软件编写质量提供参考,为行业内制定智能电能表软件规范,提高软件可信性提供方法的借鉴。

MISRA C++:2008讲座(3) 类的封装与继承

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