论文部分内容阅读
程序切片是一种程序分析技术，它主要应用在程序的调试和逆向工程。文中介绍了笔者设计并实现的一个C＋＋程序切片系统。其中包括系统的总体框架，系统中使用的数据结构以及切片生成算法。本系统已经成功应用到了X型导弹指挥软件的故障诊断中。
一种C＋＋程序切片系统的设计与实现
【摘 要】
：
程序切片是一种程序分析技术，它主要应用在程序的调试和逆向工程。文中介绍了笔者设计并实现的一个C＋＋程序切片系统。其中包括系统的总体框架，系统中使用的数据结构以及切片生成
【机 构】
：
第二炮兵工程学院
【出 处】
：
计算机技术与发展
【发表日期】
：
2006年7期
其他文献
1998年,奥尔布在缄默群体理论和视角理论的基础上,运用现象学方法建立了共文化理论,为“共文化群体成员在主流社会结构中和企图使他们缄默的人协商”提供一个框架。本文旨在
摘 要:在习近平同志关于治国理政的系列重要讲话精神指导下,以消灭绝对贫困作为贫困治理的目标,以“协调”作为贫困治理的第一“要诀”,以精准扶贫作为贫困治理的“关键一招
随着网络的蓬勃发展和社交媒体的广泛应用,舆论传播已进入“后真相”时代。疫情期间,大部分人都通过网络媒体了解疫情进展,然而扑朔迷离的事实和真相容易让公众迷失在他者建
谣言传播伴随信息交流产生,成为一种普遍现象,重大疫情事件中的谣言传播给疫情防控带来了不利影响。本文以新冠肺炎疫情为例,结合当时疫情防控状态、社会信息公开、疫情防控
讨论了本体与国际专利分类表的内在联系。在专利信息服务系统中，以国际专利分类表为基础，提出了符合专利信息特点的IPC本体；设计了采用本体检索与关键字检索有效结合的组合检索
互联网时代谣言、流言等虚假信息愈发多见,辟谣工作不可避免地成为了信息传播过程中必不可少的一部分。本文基于微博辟谣平台筛选出超过1400条辟谣文本,对辟谣内容的文本构成
比较片上总线与传统总线的体系结构，介绍了并发多主设备总线体系；同时通过对SoC，SOPC设计中常用的两种片上总线：AMBA和Avalon的详细分析、比较，针对它们的不同特性及具体应用形式
在电力传输过程中，由于大量无功功率的存在，不可避免地导致线路损耗的增加，给用电设备安全运行带来了隐患。因此，改善和提高电网运行质量，必须对电网进行无功功率补偿。采用电容器
在社会生活各领域中,存在着含有大量数字信息的文件,实现计算机对数字的自动识别已经成为当今社会的一种需求。基于此,文中提出了一种神经网络的方法来实现数字识别。经实验结果表明,该系统取得了较好的识别精度。