Injected versus Actual Interface Errors 资料下载：www.1ppt.com/ziliao/ PPT课件下载：www.1ppt.com/kejian/ 范文下载：www.1ppt.com/fanwen/ 试卷下载：www.1ppt.com/shiti/ Word教程： www.1ppt.com/word/ Excel教程：www.1ppt.com/excel/ 优秀PPT下载：www.1ppt.com/xiazai/ PPT教程： www.1ppt.com/powerpoint/ 节日PPT模板：www.1ppt.com/jieri/ PPT素材下载：www.1ppt.com/sucai/ PPT背景图片：www.1ppt.com/beijing/ PPT图表下载：www.1ppt.com/tubiao/ PPT模板下载：www.1ppt.com/moban/ 行业PPT模板：www.1ppt.com/hangye/ 教案下载：www.1ppt.com/jiaoan/ An Empirical Study of Injected versus Actual Interface Errors Anna Lanzaro, Roberto Natella DIETI, Federico II University of Naples, Italy Stefan Winter DEEDS Group, Dept. of CS, TU Darmstadt, Germany ISSTA ’14
Goal 分析错误如何传播到组件的接口处
Instance
Instance
Instance
Instance
Approach 找到目标库中分配和释放的内存区域。
Approach 找到用户程序中分配的内存区域和目标库中分配的内存区域的指向关系。
Approach 识别主程序可达的内存被写的区域
Approach 执行程序后得到 tuple sequence trace Tuple: <instruction address, memory address, store size, stored value>.
Experiment
Experiment
Experiment
Int gsl_sf_ellint_E_e(double phi, double k) {… { const double sin_phi = sin(phi); const double sin2_phi = sin_phi * sin_phi; const double x = 1.0 - sin2_phi; const double y = 1.0 - k*k*sin2_phi; else {… const int rfstatus = gsl_sf_ellint_RF_e(x, y, 1.0, mode, &rf); … } gsl_sf_ellint_RF_e(double x, double y, double z, gsl_mode_t mode, gsl_sf_result * result) /*original: const double lolim = 5.0 * GSL_DBL_MIN;*/ // GSL_DBL_MIN=0 const double lolim = 5.0 * 0.1; else if(x+y < lolim || x+z < lolim || y+z < lolim) { DOMAIN_ERROR(result); <- failure execute
程序结构影响failure region 程序结构：Mutation语句和程序中的条件判断语句的位置关系 Mutation语句通过影响特定条件判断语句影响failure region的形状 Mutation语句只能决定failure region形状的某些属性，如长度，宽度，斜率，曲率 Mutation改变变量值的大小，变量值的大小影响特定条件是否被触发