Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
11月5日讨论班
软件工程组开放讨论班(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相关工作的调研,我们最近的工作进

展和将来的计划等,欢迎大家参与讨论,一起探讨。