一种获取Web结构切片的方法及其应用

程序切片是一种程序分析方法,在软件的理解、调试、维护、测试以及逆向工程中发挥中着重要的作用.Web应用程序的编码特性与传统程序有着较大的区别,因此,传统的切片方法难以适用.在分析Web应用程序语句特征的基础上,定义了由页面引起的Web页面间的各种依赖关联,并构建了Web应用结构依赖图WAStrDG.基于WAStrDG所实现的Web结构切片算法有助于获取Web结构层次的信息,可以有效提高Web的测试和维护效率.     

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

切片在组件系统回归测试中的应用

在组件系统的回归测试中,为了确定修改所影响的部分,需要建立组件系统的依赖模型.组件系统具有高复用性和高复杂性,现有的依赖模型已经不适应描述组件系统,所以提出一种描述组件系统的层次依赖模型.通过对该模型中修改点的向前切片,得到修改所影响的部分,然后遍历该部分得到修改所影响的测试路径,进而有效地选择回归测试用例,提高了回归测试的效率.     

XML文档切片技术

XML文件作为一种数据存储与数据交换的文件,其应用日益广泛,但目前对于信息量大、结构复杂的文档要获取其中有用信息的操作效率较低。现提出一种新的基于程序切片技术对XML文档进行切片的方法。对给定的XML文档,可根据给定的切片规则对文档进行切片,从而得到一个用户感兴趣信息集合的新XML文档。同样,也可以对给定的XML文档对应的DTD或XML模式文档进行切片,根据给定的切片规则生成新的DTD或XML模式文档切片,同时,也会生成对应的XML文档切片,且切片获得的新文档是符合新的DTD或XML模式规范的有效文档。     

基于动态程序切片的软件水印方案

针对中间码中水印信息抗逆向工程差的问题，提出基于动态程序切片的软件水印方案，利用动态程序切片技术将系统分割为隐秘部分与公开部分，然后改变交互模块间数据依赖关系嵌入水印信息，记录执行历史中的数据依赖关系提取水印信息，恢复隐秘部分复杂性实验证明算法对逆向工程攻击是鲁棒的；系统分割前后的运行时间对比实验证明算法对系统效率的影响在合理范围内，隐秘部分放在安全主机中确保水印系统的安全性，该方案适用于对移动计算与分布式软件进行保护。     

程序切片常用算法研究

程序切片是一种有效的程序分析技术,它能根据给定的切片准则从源程序中提取出所需部分进行分析,如进行程序调试、测试、程序重构分析等。本文主要研究程序切片的准则以及相关算法。     

切片技术在代码味道识别中的研究

程序切片技术作为一种良好的代码分析技术,可以用来改善软件质量.基于程序切片技术这一特点,本文提出了一种切片度量代码味道的方法,用其识别代码味道,促进全自动化重构技术发展.     

并发程序切片方法综述

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

基于层次切片模型的JAVA相互作用耦合度量

在Eder等人提出的三维耦合度量框架基础上,基于层次切片模型对JAVA中的相互作用耦合进行了研究,得到了JAVA中存在的相互作用耦合类型,并建立了一系列形式化的相互作用耦合度量公式.相对传统的耦合性度量,基于层次切片技术的耦合性度量更加精确,它不仅描述了度量对象之间的耦合关系,并在一定程度上描述了度量对象之间的耦合程度,从而为程序分析和理解等软件活动提供更多有用的信息.     

一种组合式基于调用栈的程序切片方法

通过调用栈提取当前调用上文信息,对传统的静态程序切片约简,可获得基于调用栈的程序切片,进行有效的程序调试.针对目前该切片计算需构造系统依赖图(SDG)而造成大程序分析效率较低等问题,提出相关子程序分析算法,通过仅分析程序中部分与切片标准相关的子程序,而不是所有子程序来提高分析效率,同时提出一种组合式基于调用栈的程序切片...     

聚乙二醇切片技术及其应用

介绍一种应用聚乙二醇包埋动物组织的新切片制作方法。结果表明，ＰＥＧ切片与传统的石蜡切片相比，有操作步骤简单，快速等优点，将ＰＥＧ切片应用在神经解剖和免疫组织化学实验中，也能获得较好的结果。     

肺组织石蜡切片技术的改良

目的探讨提高制作肺组织石蜡切片质量的方法。方法在常规的组织切片制作时,改进普通石蜡切片固定、脱水程序,用AAF液替代甲醛固定,脱水时进行不同程度的减压抽气。结果用AAF液固定标本可以明显缩短固定时间,肺组织的脱水也比常规方法充分,切片质量明显提高。结论用AAF固定液、用抽气减压脱水法,有助于制作出优质肺组织石蜡切片。     

改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题, 提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖, 获得程序整体框架, 再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖, 以此得到程序切片。该算法减少了计算控制流的工作量, 避免计算谓词依赖集的过程, 减少了存储资源开销, 提高了切片的效率。     

植物冰冻切片技术的改进

以五味子叶柄、叶片、根和茎为试材进行冰冻切片,过程简单有效且所得图版清晰,在1天内即可获得高质量图片。其关键步骤是选择合适的甘油浓度、切片时的温度及展片技术。     

基于程序执行轨迹与动态切片的错误定位研究

为解决程序调试过程中的错误定位问题, 将程序执行轨迹和动态切片技术应用于错误定位。程序执行轨迹中包含与错误无关语句, 影响错误定位的准确度。在执行轨迹的基础上, 通过使用动态切片技术降低不相关语句在错误定位时的影响。建立基于程序执行轨迹和动态切片的语句怀疑度计算模型, 使用该模型计算每条语句的怀疑度, 并根据怀疑度对每条语句进行排序, 给出查错的推荐方案。通过实验对比其他算法, 证明了基于程序执行轨迹与动态切片的错误定位方法是有效的。     

三维地震数据体的切片播放算法

目前三维数据可视化技术已经广泛应用于地震解释中,而绝大多数的三维地震解释,是通过数据体的切片实行的。切片显示步骤是:确定切面多边形、对数据体的重采样和图像合成、切片的图像绘制。并且通常需要对切片实现播放、缩放等操作,此时,对于有限的内存采用传统的方法实现庞大的三维地震数据体的切片播放是相当的困难的。文章提出了一种将三维地震数据进行分块存储及显示的技术,即三维数据的砖块组织结构,并建立了快速索引机制,及砖块结构的调度算法。实验证明,该算法对三维地震数据切片的播放具有实时性及高效性。     

三谱切片在调速阀故障诊断中的应用

为了解决液压元件调速阀故障诊断难的问题,采用三谱及其切片分析的方法,针对调速阀阀体正常和故障时的振动信号,分别绘制出其双谱切片和三谱切片图.比较和分析结果表明,正常时,三谱二维切片的幅值在以2个频率构建的平面中心处为零,而故障时不等于零;从对角切片分析发现,三谱对角切片能表现出比对应的双谱更多的幅值信息.三谱能更有效地提取非线性信息,为获得故障特征提供有效的依据.     

面向对象模型语言MOOL静态切片系统的实现

以一种自定义的模型面向对象语言MOOL为例, 采用分层切片和逐步求精的混合算法, 使用Perl语言设计并实现了一个完整的MOOL静态切片工具MST.实验结果表明, 切片后的程序更加简化, 对调试程序有一定的辅助作用.     

用冰冻切片法制作家兔眼球切片

用Szent——Ggorgyri液固定,冰冻切片法制作家兔眼球切片,取得了眼球壁各部结构的理想切片.     

STL文件毗邻关系的建立与切片算法研究

通过对ＳＴＬ文件结构的分析,引入无向图数据结构,建立了三角形网格之间的毗邻关系,以顺利进行三角形网格的查寻,实现分层切片,对分层切片算法进行了研究,讨论了切片过程中可能出现的问题,提出了相应的解决办法,最后建立了双向链表来表示切片后的ＣＡＤ模型截面轮廓。