软件工程组开放讨论班（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相关工作的调研，我们最近的工作进
展和将来的计划等，欢迎大家参与讨论，一起探讨。 |
