【摘 要】
：
谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法（PBSD）的定位效果.文中主要围绕两个问题进行研究：（1）是否可以通过增加谓词的执行信息量来提高算法的定位精
【机 构】
：
北京航空航天大学自动化科学与电气工程学院
【基金项目】
：
本课题得到国家自然科学基金（60904066,91018001）资助.
论文部分内容阅读
谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法（PBSD）的定位效果.文中主要围绕两个问题进行研究：（1）是否可以通过增加谓词的执行信息量来提高算法的定位精度？（2）执行信息量与算法定位精度有什么关系？在此基础上,设计了一种基于谓词执行序列的软件缺陷定位算法,通过引入谓词执行序列增大算法使用的谓词执行信息量.实验表明,增大谓词执行信息量确实可以提高缺陷定位精度,且当程序中谓词执行信息量充足时,定位精度会随信息量的增加不断提高.
其他文献
时下，硬盘式MP3的百花齐放，向我们展现了—种诱惑力十足的随身音乐终极解决方案。它能存储上千首歌曲，可以方便地作为移动硬盘使用，它的出现让MP3迷们能把全部“精神食粮”带在身
文中基于补库所理论提出了活性控制器设计方法．首先，利用容量函数K将原Petri网N转变为有限容量网丙，再通过逐一增加K值得到具有最大可达集的容量函数Kmax，然后根据Kmax添加一组补
目的探讨先天性人巨细胞病毒(HCMV)感染所致的肝损伤及相关血清标志物的意义,为早期诊断及防治提供参考。方法孕鼠腹腔注射HCMV悬液,以其子鼠为先天性HCMV感染模型,健康大鼠
该文针对两大类循环分别给出了非终止性判定的数学方法．首先，针对基本迭代关系为线性或几何性的循环提出了基于递推链代数的分析方法．通过递推链代数将循环变量进行统一表示，根据
<正>2016年新年以来,虽然受春节备货预期支撑,国内鸡蛋现货市场呈现偏强状态,报价较为坚挺,但期货市场主力1605合约走势较为疲弱。随着前期的利多因素被市场消化,春节前鸡蛋
构建结果子树是XML关键字查询得以完成的关键步骤之一.针对已有方法求解子树效率低的问题,文中提出一种自顶向下的子树构建算法——TDTMS.TDTMS以自顶向下、深度优先的方式求
符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.