基于程序行为特征比较的谓词切换排序

来源 :计算机系统应用 | 被引量 : 0次 | 上传用户：xwp1024

【摘要】

：

谓词切换（Predicate Switching）通过动态改变程序中的谓词判断语句状态观察程序运行结果的变化，分析可能与错误相关的关键谓词判断语句，从而实现辅助错误定位．谓词判断语句排序算

【作者】

：

苏欣缪力

【机构】

：

湖南大学信息科学与工程学院

【出处】

：

计算机系统应用

【发表日期】

：

2012年11期

【关键词】

：

谓词切换动态切片程序特征 predicate switching dynamic slicing program spectra

【基金项目】

：

湖南大学“青年教师成长计划”

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

谓词切换（Predicate Switching）通过动态改变程序中的谓词判断语句状态观察程序运行结果的变化，分析可能与错误相关的关键谓词判断语句，从而实现辅助错误定位．谓词判断语句排序算法决定了谓词切换定位关键谓词判断语句的效率．已有的排序算法如LEFS算法定位效率较低；PRIOR算法虽然提高了定位效率，但必须首先做程序动态切片找寻与错误相关的谓词判断语句集合，而后建立程序依赖图以定义谓词判断语句的优先级，这个过程需要花费大量的时间，且算法复杂度较高．在这两种算法基础上提出一种新的改进排序算法，首先通过

其他文献

影响水利工程施工质量的因素和措施

从影响水利工程施工质量的主要因素入手,探讨提高水利工程施工质量的措施。

期刊

水利工程施工质量影响因素措施

试述影响沥青混合料配合比设计的因素

在实际生产中,综合考虑各种因素的影响,对优化沥青混合料配合比设计,保证沥青路面的质量具有十分重要的意义。结合实际,从不同角度阐述了影响沥青混合料配合比设计的因素。

期刊

沥青混合料配合比设计影响因素

浅谈如何构建股份制企业财务管理体系

企业财务管理是整个企业管理的核心组成部分，尤其是股份制企业有其自己的独立性。针对如何构建股份制企业财务管理体系进行了论述。

期刊