【摘 要】
：
时至今日,调试仍然占据软件开发过程中近70%的时间;以断点的设置和检查为基础的传统交互式调试依旧是实际工作中最常用的错误定位手段.日常调试过程中,断点的选择和调试的效
【机 构】
：
计算机体系结构国家重点实验室（中国科学院计算技术研究所）
【基金项目】
：
国家自然科学基金(61100011,60921002);国家重点基础研究发展计划(973)(2011CB302504);国家高技术研究发展计划(863)(2012AA010901);国家核高基重大专项(2011ZX01028-001-002)
论文部分内容阅读
时至今日,调试仍然占据软件开发过程中近70%的时间;以断点的设置和检查为基础的传统交互式调试依旧是实际工作中最常用的错误定位手段.日常调试过程中,断点的选择和调试的效率主要依赖于调试人员自身的经验以及对所调试程序的理解程度.提出一种基于最小调试边界的断点自动生成方法.最小调试边界描述了一个由程序执行轨迹上一组轨迹点构成的结合.该集合具有对错误传播的阻隔性,以及所对应的程序状态规模最小化的特征.受益于最小调试边界(minimum debugging frontier set,简称MDFS)的错误阻隔性,一旦查明其上的程序状态是否符合设计预期,即可确定错误触发位置与该MDFS在程序执行轨迹上的先后顺序,将错误触发的范围限定在MDFS的一侧.而状态规模的最小化也减轻了用户检查断点处语句实例的开销.为评价断点质量,还制定了一组断点评价标准,用于考量断点与程序失效之间的关联性、断点本身的易判性以及对调试收敛的帮助.实验结果表明,采用该方法生成的断点具有检查开销低、加速调试收敛等优势;采用所提供的断点的调试流程,与基于经典错误定位方法的流程相比,能以更低的人工开销定位更多的错误.
其他文献
对柠檬酸稀土饲料添加剂生产中的酸度，原料比，温度，沉淀条件等进行了研究，经测定，有机稀土饲料添加剂中稀土氧化物的含量为４０．７％（〉３５％）对动物有害的元素Ｐｂ，Ｈｇ，Ｃｄ，Ａｓ的含量分别小于２０，０．５，１．０，３．５μｇ／ｇ。对动物的急性毒理
阅读是重要的外语学习策略,是外语教学探索中的重点和核心。本文透过阅读的本质,分析了中学生学习上的差异。提出因材施教,分层教学、动态管理阅读档案等策略,以期改善提高中
法国AGT公司设计和开发了Vigibat2800系统,用于管理各种供暖系统(燃气、燃油、电力),通风及照明系统,可以显著节省能源。 Vigibat2800可以探知是否有人的存在。系统通过一个
近年来,七台河市打造联动工作格局,探索行之有效的"五位一体"金融精准扶贫模式。在多方努力下,省级贫困县勃利县实现脱贫摘帽,充分验证了金融精准扶贫工作质效。但对金融助推
针对淮南矿区顾桥煤矿巷道底鼓问题进行全面分析,制定出系统性的深部巷道底板治理方案,并在顾桥煤矿、丁集煤矿等井下巷道进行了实践应用,治理效果显著。
本文基于全国投入产出表和区域间投入产出表,对我国42个产业部门间的产业关联效应和8大区域17个产业部门的区域间产业关联效应进行了分析。结果显示,我国主导产业仍集中在以
<正> 第二届细胞和组织培养专题讨论会通过 1.Anchorage-dependent cells or cultures贴壁依赖性细胞或培养物由它们繁衍出来的细胞或培养物只有贴附于不起化学作用的物体(如
安源路矿,是萍乡煤矿和株萍铁路的合称。株萍铁路是专为运输萍乡煤矿的煤炭而建的。萍乡煤矿是当时中国最大的工业企业——汉冶萍公司的主要厂矿之一。汉冶萍公司是当时最大
关键层在顶板裂隙演化以及瓦斯异常集聚等矿井开采中起着关键性作用,因此覆岩关键层准确位置的快速判别对矿井开采具有现实意义。根据钱鸣高院士提出的关键层理论,通过关键层
<正>广东电网公司是中国南方电网公司最大的全资子公司,处于改革开放和创新驱动的前沿阵地,具有百年悠久的历史,企业资产规模2438亿元,现有员工超10.1万人。面对这样一个体量