论文部分内容阅读
将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术。该方法考虑了数据依赖和控制依赖,能实现准确快速的错误定位。
基于关键谓词的程序错误定位方法
【摘 要】
：
将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句
【机 构】
：
中国矿业大学计算机科学与技术学院
【出 处】
：
计算机工程
【发表日期】
：
2010年14期
【基金项目】
：
教育部科学技术研究基金资助重点项目（108063）, 江苏省自然科学基金资助项目（BK2008124）, 中国矿业大学研究基金资助项目（0D080310）
其他文献
国家形象是一国软实力的象征,良好的国家形象是促进国家发展的有利条件。在西方媒体的报道中,中国形象时好时坏,地位或高或低,其原因既有意识形态和文化上的差异等外部因素,
传统联合查询通常需要空间数据库对2个索引进行检索,通过集合运算得到最终结果,运算效率较低。针对该缺陷,提出基于空间和属性数据的联合索引技术,在索引目录项中加入属性数
一、设计相关画面 ,创设学习情景建构主义认为 ,学习者的知识是在一定的情境下 ,借助他人的帮助 ,如人与人之间的协作、交流 ,利用必要的信息等等 ,通过意义建构而实现。理想
近几年,由于人民币升值和中美利差扩大,同时,随着我国房价和股价的大幅上涨,许多专家和学者开始思考热钱投机我国房地产和股票问题,并做出以下三种解释：(1)热钱流入我国房地产
“文学生活”成为近期学术界的一个热点,与温儒敏先生的大力提倡有关。2009年他在“中国现当代文学60年国际学术研讨会”上,建议“学者们像‘田野调查’那样深入读者群的‘田
私人公众用财产是一种由私主体提供而为公众使用的财产，不同于私有公物，其公用性并不稳定。当该类财产遭遇行政权力不当干预以致公用性遭受损害时．公民对该类财产享有的利益被认