摘要:在信息化时代，人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一，日益受到学术界和产业界的重视.介绍了若干基本程序分析技术（抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等），特别是最近10余年的研究进展.进而介绍了针对不同类型软件（移动应用、并发软件、分布式系统、二进制代码等）的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.
Abstract:In the information age, people are increasingly demanding high quality of software systems. Program analysis is one of the important approaches to guarantee the quality of software, and has been receiving attentions from academia and industry. This article mainly focuses on the research progress in program analysis in the last decade. First, the article introduces the basic program analysis techniques, including abstract interpretation, data flow analysis, summary-based analysis, symbolic execution, dynamic analysis, machine learning-based program analysis, etc. Then, it summarizes program analysis approaches for different types of software systems, including mobile applications, concurrent software, distributed systems, binary code, etc. Finally, the article discusses potential research directions and challenges of program analysis in the future.
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/5651
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
程序分析研究进展
本站小编 Free考研考试/2022-01-02
相关话题/软件 程序 介绍 质量 技术
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19程序理解:现状与未来
摘要:程序理解是软件工程中的关键活动，在软件开发、维护、重用等任务中发挥着重要的作用.程序理解自软件工程出现以来，就一直是该领域的研究热点.随着软件应用的日益复杂和不断普及，程序理解研究的需求发生了新的变化，程序的自理解或自认知逐渐成为新的关注点，有必要对程序理解进行重新审视.从工程、学习和认知以及 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向智能制造的业务过程管理与服务技术专题前言
摘要:业务过程管理(businessprocessmanagement,简称BPM)致力创新企业业务过程管理、分析、控制与改进的系统化与结构化方法,其目标在于改进产品质量、提升服务水平,是现代信息系统的共性基础技术.当今全球产业结构正呈现由“工业型经济”向“服务型经济”加速转型.智能制造是实施《中国 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02支持软件过程可信评估的可信证据
摘要:近年来，软件可信一直是人们争论的焦点.一种比较共识的观点认为，软件可信是软件行为符合预期的程度.质量形成于过程，显然，建立质量信心的证据也散布于过程.软件开发过程中，主体、行为和各种保障手段则是建立软件可信的基本依据.基于证据的决策和管理是现代质量理论的核心，基于证据、数据驱动的软件工程都是试 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于SOM神经网络的服务质量预测
摘要:服务质量预测在服务计算领域中是一个热点研究问题.在历史QoS数据稀疏的情况下，设计一个满足用户个性化需求的服务质量预测方法成为一项挑战.为了解决这一挑战问题，提出一种基于SOM神经网络的服务质量预测方法SOMQP.首先，基于历史QoS数据，应用SOM神经网络算法分别对用户和服务进行聚类，得到用 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02数据驱动的双层次软件过程挖掘方法
摘要:为了解决软件过程数据因活动信息及案例属性的缺失而无法应用传统过程挖掘方法的问题，以软件过程数据为研究对象，提出了一种双层次的软件过程挖掘方法.在活动层，提出加权结构连接向量模型对过程日志进行向量化，通过平均活动熵来确定过程日志模糊聚类的结果，将聚类结果作为活动信息支持后续挖掘工作的开展；在过程 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于可变性模型的可复用与可定制SaaS软件开发方法
摘要:云计算环境下，软件通过互联网向租户提供服务，这种基于互联网的软件交付模式称为SaaS（软件即服务）.与传统软件交付模式相比，SaaS软件通常运行于软件供应商的服务器端，同时为多个租户提供服务.由于需要支持不同租户的个性化需求，SaaS软件应具备足够的灵活性，以应对快速变化的租户需求；而且针对某 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向对象软件内聚度度量数据分布的实证研究
摘要:度量数据的分布信息对于理解和使用面向对象软件度量有重要意义.人们对面向对象软件规模度量、耦合度度量乃至继承维度的度量数据的分布都有研究，但对除内聚度缺乏度LCOM之外的内聚度度量数据的分布却缺乏研究.已有的实证研究表明，LCOM并不是好的内聚度度量，因此探讨其他内聚度度量数据分布很有必要.对包 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02流量混淆技术及相应识别、追踪技术研究综述
摘要:流量混淆技术是目前审查规避系统常用技术之一.为了提升网络流量识别精度和监管能力，针对混淆流量的识别和追踪技术也备受关注.通过深入分析随机化、拟态和隧道这3类主流的流量混淆技术，对比了其技术框架、隐蔽性、易用性和应用场景；分析了深度包检测、机器学习等两类识别技术，对比了其识别精度；分析对比了被动 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于混合智能优化算法的复杂软件可靠性分配
摘要:软件可靠性是系统设计、研究和运行过程中必须考虑的关键因素之一.与目前大多数软件可靠性分配的研究主要局限于简单的串并联模型不同，是将最优化算法应用于大型复杂软件系统的可靠性分配.针对分布估计算法收敛速度快、全局搜索能力强但易于陷入局部最优，且差分进化算法局部搜索能力强，但搜索速度略慢的问题，提出 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件定义无线传感器网络研究综述
摘要:研究了分布式无线传感器网络在异构互连和资源管理等方面存在的问题，深入分析了软件定义网络与无线传感器网络结合的必要性，在总结大量软件定义无线传感器网络架构后，给出了通用架构，并对应用面、控制面和数据面进行了详细阐述.进一步，从异构互连、资源管理、可靠控制、网络安全这4个方面梳理出当前存在的挑战及 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
