摘要:为了检测软件系统中存在错误参数的函数调用，提出了一种基于关联分析和N-Gram语言模型的静态检测方法（ANiaD）.基于海量开源代码，构建了关联分析模型以挖掘参数间存在的强关联规则.针对参数间存在强关联规则的函数调用构建N-Gram语言模型.基于训练过的N-Gram模型，计算给定函数调用语句正确的概率.低概率的函数调用被报告为异常函数调用.基于10个开源Java项目对该方法进行实验验证.实验结果表明，该方法检测的查准率约43.40%，显著高于现有的基于相似度的检测方法（查准率25%）.
Abstract:To detect the method calls with incorrect arguments in software systems, an association analysis and N-Gram based static anomaly detection approach (ANiaD) is proposed. Based on the massive open source code, an association analysis model is constructed to mine the strong association rules between arguments. An N-Gram model is constructed for method calls with strong association rules between arguments. Using the trained N-Gram model, the probability of a given method call statement is calculated. Low probability method calls are reported as potential bugs. The proposed approach is evaluated based on 10 open-source Java projects. The results show that the accuracy of the proposed approach is about 43.40%, significantly greater than that of similarity-based approach (25% accuracy).
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/5531
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
一种基于关联分析与N-Gram的错误参数检测方法
本站小编 Free考研考试/2022-01-02
相关话题/实验 概率 语言 计算 代码
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19代码文件贡献组成模式的分析
摘要:软件开发过程中，同一代码文件经常由多名开发者共同开发和维护，各个开发者向文件贡献了不同的代码量，使之形成特有的贡献组成.代码文件的贡献组成是否合理，直接影响开发者的任务分配，进而影响软件质量和开发效率.对于不同类型的代码文件，如何刻画并确定其合理的贡献组成模式，成为一个亟待解决的问题.协同开发 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于限定自然语言需求模板的AADL模型生成方法
摘要:随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用，其失效将会导致财产的损失、环境的破坏甚至人员的伤亡，使得保障软件安全性成为系统开发过程中的重要部分.传统的安全性分析方法主要应用在软件的需求分析阶段和设计阶段，然而需求与设计之间的鸿沟却一直是软件工程领域的一大难题.正是由于 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于语义分析的情感计算技术研究进展
摘要:随着机器学习和大数据技术的应用发展，基于语义分析的情感计算与分析技术在研究人类的感知、注意力、记忆、决策、社会交流等诸多方面起着重大作用，它不仅影响到了人工智能技术的发展，还影响到了人/机交互的方式，并受到学术界以及企业界的广泛关注.在针对情感定义以及相关90多种情感模型分析的基础上，归纳并提 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02同态加密技术及其在云计算隐私保护中的应用
摘要:云计算技术的快速发展使得云服务模式具备了广阔的应用空间，这种模式使用户具备了过往无法比拟的计算能力和存储空间等优势.在云服务模式下用户的隐私安全问题是其推广和应用中面临的首要问题，如何在计算数据的过程中，既保证数据的隐私性，又保证其可用性，是面临的一大难题，同态加密技术作为解决这一问题的关键手 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02公平理性委托计算协议
摘要:传统委托计算的验证过程计算和通信开销较高，且参与者要么诚实，要么邪恶；理性委托计算是引入理性参与者，通过效用函数来保障计算结果的可靠性.首先在委托计算中引入博弈论，给出了唯一稳定均衡解.其次，基于比特币和Micali-Rabin的随机向量表示技术，设计一种新的理性委托计算协议.针对协议的公平性 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于SMT的时钟约束语言CCSL的形式化分析方法与工具
摘要:时钟约束语言CCSL是一种用于描述实时嵌入式系统中事件之间约束的形式化语言，它是UML针对实时嵌入式系统建模的扩展包MARTE（modelingandanalysisofreal-timeandembeddedsystems）中用于对时间建模的一个子语言.给定一组由CCSL定义的时钟约束条件， ...中科院软件研究所 本站小编 Free考研考试 2022-01-02普适计算应用时空性质的运行时验证
摘要:运行时验证是提升普适计算应用可靠性的重要手段.这类应用的很多性质同时涉及时间关系和空间位置关系，这样的时空性质给运行时的验证带来了特有挑战：一方面，传统的时态逻辑难以描述空间性质；另一方面，适合描述空间性质的AmbientLogic在真值不确定等情况下不能很好地支持有限轨迹中时间性质的描述.为 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于条件概率模型的缺陷定位方法
摘要:缺陷定位是软件调试的重要阶段，依赖程序频谱信息实现软件缺陷定位，是当前比较行之有效的方法.基于频谱缺陷定位方法应用的前提是，程序频谱和执行结果之间存在的潜在关联.通过经验性分析两者之间的内在关联，借助于统计学的条件概率思想，构建了用以量化分析两者关系强弱的P模型，并基于此提出了基于条件概率的缺 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02大规模源代码增量式资源泄漏检测方法
摘要:资源泄漏是影响软件质量和可靠性的一种重要软件缺陷，存在资源泄漏的程序长时间运行会由于资源耗尽而发生异常甚至崩溃.静态代码分析是进行资源泄漏检测的一种有效的技术手段，能够基于源代码或者二进制代码有效地发现程序中潜在的资源泄漏问题.然而，精确的资源泄漏检测算法的复杂性会随着程序规模的增加呈指数级增 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02医学影像计算机辅助检测与诊断系统综述
摘要:计算机辅助检测/诊断（computer-aideddetection/diagnosis，简称CAD）能够提高诊断的准确性，减少假阳性的产生，为医生提供有效的诊断决策支持.旨在分析计算机辅助诊断工具的最新发展.以CAD研究较多的四大致命性癌症的发病医学部位为主线，按照不同的成像技术和病类，对目 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
