【摘 要】
：
软件错误定位与错误理解是软件调试过程中的重要步骤,然而调试人员利用基于覆盖分析的软件错误定位获取的可疑度,从高到低静态分析每条程序语句的检查方式,与实际软件调试过
【机 构】
：
武汉大学计算机学院,武汉大学空天信息安全与可信计算教育部重点实验室
【基金项目】
：
本文受国家自然科学基金（61303213,61373169）,国家高技术研究发展计划（863计划）（2015AA016004）,信息保障技术重点实验室开放基金（KJ-13-104）资助.
论文部分内容阅读
软件错误定位与错误理解是软件调试过程中的重要步骤,然而调试人员利用基于覆盖分析的软件错误定位获取的可疑度,从高到低静态分析每条程序语句的检查方式,与实际软件调试过程并不相符.为了能够筛选更有助于理解错误根源的测试执行,尤其是致使程序失效的失效执行,帮助调试人员进行动态差异化分析,针对失效执行提出基于高可疑度覆盖率、揭示错误潜力和覆盖语句可疑度离散特征的3种优先级策略,针对成功执行提出加权余弦相似度匹配策略.通过将3种失效执行优先级策略与随机选择在常用错误定位技术中进行实验对比,验证了基于覆盖语句可疑度离散
其他文献
对HIRFL束流发射度测量系统中以图形图像技术为基础的多孔屏法进行了研究,在图像处理过程中引入了高斯拟合、图像轮廓跟踪等技术.并以此为基础开发了一套软件系统, 实现对束
农作物病害是我国主要的农业灾害之一,准确识别病害类型是防治农作物病害的关键。因此,首先采集了小麦、玉米、花生、棉花4种农作物的22种常见叶部病害的441张图像;然后,在对
针对文档图像超分辨率重建问题,在传统双边全变差(Bilateral Total Variation,BTV)正则化超分辨率算法的基础上,提出了一种基于改进BTV的文档图像超分辨率算法。该算法引入一个新的正则项,即笔画宽度的方向,并根据字符笔画的局部宽度和局部方向自适应地进行平滑处理;然后通过分析输入的低分辨率图像及其插值,使输出图像的局部笔画宽度接近于局部的笔画方向。这种信息被压缩到基于笔画宽度的
针对在样本类别分布不平衡场景下，现有的主动学习算法普遍失效及训练时间过长等问题，提出采用建模速度更快的极限学习机，即ELM(ExtremeLearningMachine)作为主动学习的基分类器，
三维自动工作台是多功能X射线断层分析装置中的关键部件;介绍了多功能X射线断层分析装置的工作原理和三维自动工作台的机械结构;工作台控制系统采用开环控制方式;采用运动控
对雷达应答器的工作原理进行了分析,为了使应答器收发协调工作、产生应答器标识信号以及触发应答器延时模块,根据应答器工作原理和CPLD(Complex Programmable Logic Device)
基于深度学习的特征抽取是目前数据降维问题的研究热点，堆叠自编码器作为一种较为常用的模型，无法对混有噪声及较稀疏的数据进行良好的特征表达。面向微博情感分析，通过在堆叠降
结合计算机辅助测试CAT和虚拟仪器技术,阐述了数字散斑相关方法DSCM(DigitalSpeckleCorrelationMethod)测量刚体位移的理论与过程。同时针对求解三参数相关系数最大值点提出了一种"编程简单、时间节省、精度良好"的实用新算法,即"正方体爬山搜索法"。并利用仿真实验进行了成功验证,仿真实验效果非常理想,测量值与给定理论值相比很接近,计算速度也比较快。