以偶然正确性概率为基础的测试充分度准则

提出了一种基于偶然正确性概率的测试充分度准则。考虑偶然正确性问题对测试的充分度衡量带来的影响,设计了一种算法来计算程序中的一个错误因为偶然正确性的发生而使输出结果正确的概率。根据动静态数据流信息分析,追溯了动态语句实例之间的定义-使用依赖关系,并据此建立了定义-使用依赖关系图。对不同语句结构和跳转条件定义各种影响因子,量化这些影响因子对错误的掩盖程度。给出了一种算法来计算程序的一次执行过程的测试充分度。选取五个C语言程序作为实验对象,计算基于偶然正确性的测试充分度准则与错误发现效率之间的关系,并与语句覆盖度的错误发现率进行了比较。实验结果显示基于偶然正确性的测试充分度准则能较好地发现错误。

变异测试在嵌入式软件中的应用

航天器软件属于高可靠软件,对软件测试要求较高。作为一种基于故障的软件测试方法,变异测试能力较强,至今未在航天器软件中得到有效应用。Opencxx是一种基于反射机制的C++语言的扩展语言,详细剖析了C++语言的各个成份,在其基础上定义了部分适用于计算类软件的变异算子,设计了变异测试的流程,实现了C语言变异测试软件的设计。通过对实际的模块程序测试,获取实际软件的测试充分度,揭示现有软件测试用例的不足。