软件工程组开放讨论班(No.7)
时 间:2013年11月05日18:30 地 点:计算机楼229
主持人:张天
报告一:基于线性拟合的MC/DC测试用例自动生成算法
报告人:欧建生
简介: MC/DC(修改后的条件/判定覆盖)是一种结构覆盖准则,它的查错能
力高于SC(语句覆盖)、DC(判定覆盖)和C/DC(条件/判定覆盖)。它不仅要
求程序能够执行到函数中任何一条语句,经过分支节点的所有出口,判定中条
件取值为真或为假各至少一次,还要求条件能够独立的影响判定。同时,它比
M-CC(多条件覆盖)具有更低的时间复杂度,因此MC/DC测试通常运用于对软件
安全要求很高的行业中,如航空航天,医药,金融等等。现有的MC/DC测试方
法并不多,主要有通过静态分析源程序,设定目标函数,将寻找测试用例转化
为目标函数的优化问题,经典的方法有模拟退火、基因遗传等方法。但这些方
法不但需要对源程序做深入分析,而且可能导致局部最优。为减少对程序的分
析,尽可能利用程序运行时释放的隐藏信息,本次报告将介绍一种基于线性拟
合的MC/DC测试用例自动生成算法。它通过输出程序运行的隐藏信息,利用线
性拟合逼近条件的实际函数,从而获取要求的输入参数。
本次报告将阐述线性拟合的思想,MC/DC相关工作的调研,我们最近的工作进
展和将来的计划等,欢迎大家参与讨论,一起探讨。 |