检索结果-内蒙古大学图书馆

软件学报 2019年第1期30卷 80-109页

作者：张健张超玄跻峰熊英飞王千祥梁彬李炼窦文生陈振邦陈立前蔡彦计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049 清华大学网络科学与网络空间研究院北京100084 武汉大学计算机学院湖北武汉430072 高可信软件技术教育部重点实验室(北京大学) 北京100871 华为技术有限公司北京100095 中国人民大学信息学院北京100872 中国科学院计算技术研究所北京100190 国防科技大学计算机学院湖南长沙410073

在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析... 详细信息

在信息化时代,人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一,日益受到学术界和产业界的重视.介绍了若干基本程序分析技术(抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等),特别是最近10余年的研究进展.进而介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法.最后展望了程序分析未来的研究方向和所面临的挑战.

关键词：程序分析软件质量保障静态分析动态分析

来源：评论

学校读者我要写书评

暂无评论

贝叶斯程序分析

引用

电子学报 2024年第4期52卷 1155-1172页

作者：张昕王冠成吴宜谦陈逸凡李天驰张羿凡熊英飞高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学计算机学院北京100871

程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,... 详细信息

程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,其特征是在传统逻辑分析的基础上结合概率信息来捕获软件系统中的不确定性.通过总结和抽象这些已有工作,本文提出了贝叶斯程序分析框架,其核心思想是结合程序分析和贝叶斯统计推断,通过建模和更新关于程序的概率分布来推断有关程序行为的信息.贝叶斯程序分析采用概率逻辑编程来同时处理概率信息和逻辑信息,用统一的方式捕获了现有的多项不同工作,也能泛化到程序缺陷定位和差异调试等非传统程序静态分析任务上.本文给出了贝叶斯程序分析框架的定义,展示了该框架在程序分析和相关领域的应用,并展望了未来发展方向.

关键词：程序分析逻辑编程概率逻辑编程贝叶斯网络贝叶斯推断

来源：评论

学校读者我要写书评

暂无评论

程序分析的专家模型与方法学

引用

计算机科学 1996年第6期23卷 87-90页

作者：刘宗田姜川合肥工业大学微机所合肥经济技术学院

在源代码级上分析程序是软件逆向工程的最基本的任务,其目的是从程序文本中了解程序的高层概念,这主要用于对软件维护的支持,软件可重用知识和部件的获取,以及探测已存在的软件产品等.

关键词：软件工程程序分析专家模型方法学

来源：评论

学校读者我要写书评

暂无评论

程序分析原理

引用

丛书名：计算机科学丛书

2022年

作者： (丹) 弗莱明·尼尔森 (丹) 汉内·里斯·尼尔森 (英) 克里斯·汉金

本书主要介绍4种程序分析方法—数据流分析、基于约束的分析、抽象解释、类型和作用系统，涵盖基本语义属性和高级算法。全书共6章，第1章为概述，第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算... 详细信息

ISBN: (纸本)9787111706885

本书主要介绍4种程序分析方法—数据流分析、基于约束的分析、抽象解释、类型和作用系统，涵盖基本语义属性和高级算法。全书共6章，第1章为概述，第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。

关键词：程序分析

来源：内蒙古大学图书馆图书评论

学校读者我要写书评

暂无评论

程序分析方法

引用

2013年

作者：刘磊 ... [等]

本书共7章，包括：程序设计语言的历史以及未来的发展趋势；元程序设计，包括元程序的概述、元程序系统及其应用；信息流分析技术；别名分析的相关知识；程序分片的基础知识和方法；形式概念分析的相关知识和应用；部分求值技术的相关... 详细信息

ISBN: (纸本)9787111422525

本书共7章，包括：程序设计语言的历史以及未来的发展趋势；元程序设计，包括元程序的概述、元程序系统及其应用；信息流分析技术；别名分析的相关知识；程序分片的基础知识和方法；形式概念分析的相关知识和应用；部分求值技术的相关内容。

关键词：程序分析

来源：内蒙古大学图书馆图书评论

学校读者我要写书评

暂无评论

基于类跟踪的程序分析技术

引用

小型微型计算机系统 2000年第7期21卷 682-685页

作者：袁琦刘磊金成植吉林大学计算机科学系吉林130023

本文基于信息流分析技术 ,提出了对对象式语言进行程序分析的类跟踪技术和类跟踪的实现方法 ,并基于此技术给出了一种针对对象式语言程序的程序分析和程序分片方法 ,对于程序分析和程序理解及程序文档化具有一定意义 .

关键词：类跟踪程序分析软件逆向工程面向对象

来源：评论

学校读者我要写书评

暂无评论

程序分析在镀锌钢板生产中的应用

引用

工业工程 2011年第1期14卷 101-104页

作者：吕秀杰辽宁工程技术大学机械工程学院辽宁阜新123000

运用程序分析法对镀锌钢板生产流程进行了分析,删除了多余工序,调整了工艺;并结合布置和经路分析重新布置了加工设备,使加工路线缩短,生产周期减少23%,提高了生产率。

关键词：程序分析镀锌钢板生产设施布局

来源：评论

学校读者我要写书评

暂无评论

程序分析在摩托车曲轴生产车间的应用

引用

工业工程 2009年第4期12卷 111-115页

作者：周康渠翟雪云刘纪岸张瑞娟重庆理工大学汽车学院重庆400050 汽车零部件制造及检测技术教育部重点实验室重庆400050

用工艺程序分析方法对左、右曲轴及总成的工艺流程进行了分析,删除了左、右曲轴加工完毕后的多余清洗工序;用制造流程程序分析方法对左、右曲轴及总成的制造过程进行了分析,并结合布置和经路分析,得知曲轴制造过程中搬运路线较长;按照... 详细信息

用工艺程序分析方法对左、右曲轴及总成的工艺流程进行了分析,删除了左、右曲轴加工完毕后的多余清洗工序;用制造流程程序分析方法对左、右曲轴及总成的制造过程进行了分析,并结合布置和经路分析,得知曲轴制造过程中搬运路线较长;按照工艺流程来重新布置加工设备,可以使左、右曲轴加工路线分别缩短44.8%和54%。

关键词：程序分析曲轴制造设施布局

来源：评论

学校读者我要写书评

暂无评论

程序分析中的设计模式应用

引用

微电子学与计算机 2006年第11期23卷 130-132,136页

作者：任春德陈平彭安斋西安电子科技大学软件工程研究所陕西西安710071

基于反射原理和开放编译技术的软件植入方法是程序的动态分析,准确获取理解面向对象软件系统运行时信息的有效手段,文章提出的软件触发器植入算法是在应用设计模式扩展开放编译器功能的基础上实现的,以提高可复用性和可扩展性,并通过实... 详细信息

基于反射原理和开放编译技术的软件植入方法是程序的动态分析,准确获取理解面向对象软件系统运行时信息的有效手段,文章提出的软件触发器植入算法是在应用设计模式扩展开放编译器功能的基础上实现的,以提高可复用性和可扩展性,并通过实验验证了该算法实现的有效性。

关键词：程序分析设计模式软件植入开放编译

来源：评论

学校读者我要写书评

暂无评论

程序分析法在产线平衡中的应用

引用

机械设计与制造 2005年第5期 148-150页

作者：孙建华高广章蒋志强施进发郑州航空工业管理学院郑州450015

从生产线平衡的基本概念出发,分析了某笔记本电脑的企业生产表面贴片技术SMT生产线作业能力及其平衡状况,针对整条生产线上的瓶颈,提出程序分析的改良措施,降低了其作业时间,从而提升了整条生产线的平衡性。最后指出程序分析法在企业生... 详细信息

从生产线平衡的基本概念出发,分析了某笔记本电脑的企业生产表面贴片技术SMT生产线作业能力及其平衡状况,针对整条生产线上的瓶颈,提出程序分析的改良措施,降低了其作业时间,从而提升了整条生产线的平衡性。最后指出程序分析法在企业生产流程设计及作业标准化过程中的重要作用。

关键词：产线平衡率程序分析基础工业工程

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：