程序切片技术综述

程序切片技术在软件维护、程序调试、测试、代码理解及逆向工程等方面有许多应用。文章介绍了目前已有的程序切片技术及其应用领域，提出了面向对象程序应用该技术时需要考虑的问题及相应的解决方法。     

程序切片技术综述

程序切片技术在软件维护、程序调试、测试、代码理解及逆向工程等方面有许多应用。文章介绍了目前已有的程序切片技术及其应用领域，提出面向对象程序应用技术时需要考虑的问题及相应的解决方法。     

软件测试中的程序切片技术

程序切片是一种程序分析和理解技术,在软件测试中使用程序切片技术可根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率。同时由于程序切片考虑了程序存在的各种依赖关系,使得测试的准确性得到提高。本文介绍了目前的切片技术,探讨了程序切片技术在软件测试中的应用。     

基于程序理解的遗产软件系统重构

文章介绍了遗产软件开发的相关概念，给出了常用的遗产软件开发模型。分析了遗产软件开发中所要解决的主要问题，其中程序理解在开发流程中具有举足轻重的作用。通过一个实例详细解释了如何对程序进行理解，并介绍了在程序理解基础上如何对遗产软件进行重构。     

基于程序切片的软件测试技术初探

程序切片是一种软件调试、测试、理解和维护技术,通过寻找程序内部的相关性来分解程序,从而达到快速错误定位的目的。对程序切片的基本概念、分类、切片准则、切片算法和基于程序切片的软件测试等方面进行了初步探讨。提出了基于程序切片的软件测试的基本方法,并分析了程序切片技术的发展方向和面临的问题。     

逆向工程在软件开发中的作用和应用现状

逆向工程已成为目前国际、国内软件工程领域的一个研究热点，文章介绍了逆向工程的基本概念及其在遗产系统的演化、软件复用、大型软件的开发等领域所起的重要作用，以及一些典型的逆向工程工具的应用。     

基于面向对象程序切片的软件度量

软件质量是软件开发的重要指标．软件度量是保证软件质量的重要方法。深入分析程序切片技术的发展及其在软件工程各个领域的广泛应用,重点探讨面向对象程序切片技术,并将该技术运用于软件度量领域,实现了软件度量的一种新方法．最后利用实验证明该方法的可行性。     

基于面向对象程序切片的软件度量

软件质量是软件开发的重要指标,软件度量是保证软件质量的重要方法.深入分析程序切片技术的发展及其在软件工程各个领域的广泛应用,重点探讨面向对象程序切片技术,并将该技术运用于软件度量领域,实现了软件度量的一种新方法,最后利用实验证明该方法的可行性.     

错误模式和程序切片的软件漏洞检测

提出了结合错误模式和切片技术的软件漏洞检测方法。错误模式库主要由软件的历史错误模式和一些常见的错误模式组成。然后将函数的入口参数作为前置条件,将建立好的错误模式作为后置条件,求得满足前置条件和后置条件的基于规约的切片,即可得到一条可能潜在漏洞的可疑路径。在得到这些可疑路径集合之后,使用符号执行和约束求解技术来进行可疑路径的验证,并自动产生可以触发该漏洞的测试例输入。该方法可以快速地进行漏洞可能产生的区域定位,并能自动产生触发漏洞的输入。     

基于程序切片和BiGRU的代码搜索

代码复用可以有效缩短软件开发的时间,而代码搜索是代码复用的主要途径.提出了一种基于程序切片和BiGRU的代码搜索方法,该方法通过构建源代码的程序依赖图,以程序依赖图中出度最大的节点作为兴趣点构建前向切片.将程序切片与源代码的其他相关特征一起构成代码特征.把代码特征和代码的功能描述通过嵌入模块输入到BiGRU网络中,结合注意力机制训练BiGRU模型.用户输入功能查询语句,模型返回向量值最接近的代码.为了验证该模型的可行性和有效性,从开源代码库下载了Java项目,构建了数据集并进行实验.实验结果表明,提出的基于程序切片和BiGRU的方法在代码搜索的准确率和相关性排名等方面都有所改进.     

基于程序切片的一种耦合度量改进算法

程序切片能够提取出程序中影响关注点变量值的所有语句。程序切片分为粗粒度切片和细粒度切片。程序切片用在耦合性度量中能够估算信息流的总量,相比只查看有没有信息流存在的方法更精确。文中对基于切片的耦合度量算法进行了改进。提高了耦合度量算法的准确性。     

微型振荡器在超薄切片样品制备技术中的应用

在实验工作中,我们引用微型振荡器对生物样品的固定与浸透作了一些研究和技术改进,收到较好效果。具体操作方法如图所示:将放有冰水的圆形容器B先固定在微型振荡器的振台(北京海淀电子医疗仪器厂生产)上,再将放有样品和试剂的样品杯A插入B盘的孔中,即可开启微型振荡器C,振荡频率可视样品而定。我们先后用植物材料(叶)、动物材料(肺)和游离细胞(精子)为实验材料,整个固定脱水和浸透的时间可缩短     

一种改进的用于并发程序静态切片的程序依赖图

分析了Krinke切片算法，发现当对程序循环体内嵌套有一个或多个线程的结构时会产生切片不精确的现象．原因是Krinke算法的数据结构所定义的线程间数据依赖关系过于粗糙，相应的切片算法对程序执行路径的合法性约束不够严格。提出一种改进的并发程序依赖图，引入跨线程边界循环一承载数据依赖关系。给出了添加跨线程边界循环一承载数据依赖关系的算法。实例分析表明，作用在新的并发程序依赖图上的切片算法克服了Krinke算法的切片不精确现象。     

编译技术研究与逆向工程实践

计算机科学的发展离不开编译技术的支持,编译技术是计算机领域发展非常成熟的一个分支。逆向工程是软件工程中一个新的发展方向,近年来开始被人们关注,成为一个引人入胜的研究领域。反汇编是软件逆向工程中十分重要的内容,通过对编译原理的透彻理解,可以更加科学规范地分析和理解软件系统,从而更加敏捷地实施逆向工程。通过深入探讨编译原理,及通过编译技术进行逆向工程实践,提出了程序理解的一般思路,探索出一条进行逆向工程实践的较好方法。     

一种粗粒度并发程序切片方法

并发程序切片是并发程序分析、理解、调试、测试和维护的重要手段。文章在针对Ada任务机制讨论通信Petri网的基础上，分析了由任务间的同步活动所引起的控制依赖关系，提出了一种粗粒度的切片方法，为人们从较高的抽象层次上理解并发程序提供了一种有效的手段。     

连续切片三维重构技术在细胞超微结构研究中的应用

目的:探究三维重构技术在细胞超微结构研究中的重要性.方法:收集Hela细胞,样品经OTO制样方法处理后进行连续切片,并通过扫描电镜收集序列切片背散射电子信号.通过Amira软件对图片集进行对中、分割处理及三维展示.结果:获得细胞三维重构图,对线粒体长度、宽度和厚度进行了测定和统计,着重对线粒体内质网偶联三维结构进行了观...     

并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多。但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决。文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用。     

一种基于程序切片算法的软件故障诊断策略

针对软件纠错性维护问题，文章提出了一种基于程序切片和专家系统相结合的软件故障诊断策略。软件故障诊断策略是首先详细分析故障信息，了解系统功能缺陷的特征；其次进行粗诊断，确定最有可能出现故障的模块；在此基础上进行细诊断，详细分析故障代码，以确定最可能存在故障的程序语句集合；最后排除故障后确认修改的语句对相关模块没有影响。     

多媒体内容理解技术在电信行业中的应用

本文首先对多媒体内容理解技术进行概要介绍,然后重点结合电信行业实际情况,提出该技术在电信行业的具备较高商业价值的应用,最后介绍一种创新性的基于内容理解技术的商业搜索平台。