【摘 要】
：
程序中通常会隐含大量编程规则,若在程序编写过程中违反此类规则,则可能引发软件缺陷。函数调用规则是其中一类常见的程序隐含规则,常见的函数调用规则挖掘工作将整个函数体
【机 构】
：
北京信息科技大学计算机学院,计算机软件新技术国家重点实验室（南京大学）,华为技术有限公司南京研究所
【基金项目】
：
国家重点研发计划（2016YFC0801407）, 计算机软件新技术国家重点实验室开放课题（KFKT2016B12）, 北京信息科技大学学校科研基金（1625008）, 计算机学院大类人才培养模式改革项目（5111623409）资助
论文部分内容阅读
程序中通常会隐含大量编程规则,若在程序编写过程中违反此类规则,则可能引发软件缺陷。函数调用规则是其中一类常见的程序隐含规则,常见的函数调用规则挖掘工作将整个函数体内的函数调用作为一个项集来进行分析,未使用程序中函数调用先后顺序等约束信息,导致软件缺陷挖掘结果的误报率较高。通过简单的静态分析即可获取函数调用序列信息,如在缺陷挖掘过程中充分利用函数调用序列信息,将有效提高缺陷挖掘精度。基于上述思路,提出了一种基于函数调用序列模式挖掘的缺陷检测方法,该方法自动检测程序中违反函数调用序列模式的疑似缺陷,并报告可疑
其他文献
针对恶劣环境下的系统稳定运行，高端工业计算机领导厂商凌华科技推出新一PC-based控制器General Embedded Machine Engines（简称GEME）-GEME-4000及GEME-5000。延续凌华GEME系列
软件测试的核心是设计和执行测试用例。为了提高软件测试的效率,实现不同单位测试用例的共享和复用,提出面向不同数据模式的测试用例检索方法。该方法首先对测试用例进行刻面
粒子群优化算法(PSO)因具有参数少、易于实现等优点,在解决优化问题时表现出很好的性能。有限长单位脉冲响应(FIR)数字滤波器因具有稳定的结构、易于实现等优点,在实际中有着
现有的访问控制机制大多局限在用户个人空间内的数据,难以控制个人空间以外的数据,例如用户不能对其在朋友空间中发布的评论进行访问控制,不能对共有的资源进行联合访问控制等。面向社交网络的多方授权模型MRuleSN采用单一所有、多方共有的方法处理所有权问题,采用扩展的w-Datalog规则表达授权,具有更强的灵活性、访问细粒度和表达能力。分析并说明了模型的规则结构、授权语言的语法和语义,最后通过示例说明了
支持向量机(SVM)作为一种新颖的人工智能技术,已越来越广泛地运用于各个学科领域。同伦正则化方法也是近几年新兴的一种正则化方法,在数理方程反问题中得到了广泛的应用。将同伦正则化的思想应用到支持向量机中,建立了一种新的支持向量机模型,并对最常用的核函数——高斯核进行了修改。与传统的正则化方法相比,新模型最大的优点就是正则化参数的取值范围由无限区间变成了有限区间(0,1),从而大大缩短了正则化参数的优
在分析Logistic混沌序列遍历性的基础上,将Logistic混沌序列映射到多极点目标函数的搜索区间来搜索全局最优解。研究混沌优化算法的一般步骤和算例分析,并将混沌优化算法应用
近年来,高光谱图像的分类受到了广泛的关注。许多机器学习的方法都在高光谱图像上得到了应用,如SVM、神经网络、决策树等。但光谱图像可能存在"同物异谱"和"同谱异物"的情况,这给高光谱图像的精确分类带来了一定挑战。针对该问题,提出了利用分水岭分割得到的空间信息与稀疏表示来得到更精确的分类结果。首先利用分水岭得到图像区域信息,然后以区域为单位,对每个区域的样本进行分类。在两幅图像上对该方法的有效性进行了
在软件测试中,测试用例生成是其关键环节,也对软件测试的自动化有着重要影响.为了提高测试用例生成的效率,提高其自动化的程度,从不 同角度对软件测试用例选择策略进行介绍,
提出一种新型的优化消谐技术并应用于链式多电平STATCOM脉冲发生器的设计；利用一般微分方程法求得超越方程的估算解，并且在此基础上通过Newton—Raphson迭代进行离线计算获得精
针对多输入多输出（Multiple-Input Multiple-Output,MIMO）场景下的对流层散射通信信道损耗进行了研究.在设计远距离MIMO通信系统时,链路损耗估计是其中的关键技术,而现有技术在