检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

Petri网动态切片的最小变化域分析方法

计算机科学与探索 2016年第4期10卷 516-523页

作者：赵芳方贤文方欢安徽理工大学理学院信息与计算科学系安徽淮南232001

在业务流程管理中,确定流程模型的最小变化域是一项重要的问题。已有的方法主要是从整个模型的角度去分析考察它的最小变化域,计算量比较复杂,具有一定的局限性。为了尽快查找到目标模型中的最小变化域,提出了Petri网动态切片的方法。... 详细信息

在业务流程管理中,确定流程模型的最小变化域是一项重要的问题。已有的方法主要是从整个模型的角度去分析考察它的最小变化域,计算量比较复杂,具有一定的局限性。为了尽快查找到目标模型中的最小变化域,提出了Petri网动态切片的方法。首先通过对比分析源模型和目标模型的结构图得出目标模型的可疑区域,接着依据行为轮廓的思想在目标模型可疑区域中搜索出变化域,然后通过Petri网动态切片的方法得到目标模型的最小变化域。最后通过具体的电子购物实例,验证了该方法的有效性。

关键词：最小变化域 Petri网动态切片可疑区域行为轮廓变化域

基于并行Java程序动态切片的Concolic测试

在线全文

学校读者我要写书评

暂无评论

华中科技大学学报（自然科学版） 2009年第10期37卷 21-24页

作者：濮方琍卢炎生华中科技大学计算机科学与技术学院湖北武汉430074

为了减少分析和存储信息,提高测试效率,针对Concolic测试中存在同一同步串运行多次的现象及测试效率不高的问题,提出了基于并行Java程序动态切片的Concolic测试方法.该方法运用并行程序动态切片确定测试同步串,无需分析和存储同步串每... 详细信息

为了减少分析和存储信息,提高测试效率,针对Concolic测试中存在同一同步串运行多次的现象及测试效率不高的问题,提出了基于并行Java程序动态切片的Concolic测试方法.该方法运用并行程序动态切片确定测试同步串,无需分析和存储同步串每个执行点的信息,并保证不运行相同的同步串.实验证明,基于并行Java程序动态切片的Concolic测试方法极大地提高了Concolic测试的性能和效率,具有较高的实际可操作性.

关键词：并行Java程序动态切片 Concolic测试并行测试软件测试

在线全文

学校读者我要写书评

暂无评论

状态图描述的动态切片技术

计算机科学 2014年第5期41卷 204-207,214页

作者：苗春雨陈丽娜浙江师范大学行知学院金华321004 浙江师范大学数理与信息工程学院金华321004

众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的Statechart描述的动态切片概念,正式... 详细信息

众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的Statechart描述的动态切片概念,正式定义了动态切片准则、动态切片生成算法和最小动态切片的概念,解释了如何提供有效的动态切片准则,并提出一种简单实用的、借助可观察语义生成最小动态切片的近似算法。

关键词： Statechart描述动态切片切片准则可观察语义

在线全文

学校读者我要写书评

暂无评论

一种基于前向计算的动态程序切片方法

计算机科学 2014年第1期41卷 250-253,278页

作者：王兴亚姜淑娟鞠小林邵浩然中国矿业大学计算机科学与技术学院徐州221116 南通大学计算机科学与技术学院南通226019

动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句... 详细信息

动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句的直接动态依赖关系,最后计算当前执行语句中变量的动态切片。根据该方法设计并实现了一个Java动态程序切片系统,基于一组基准测试程序开展了切片实验,并与已有的切片方法进行了比较。实验结果表明,该方法可以得到比较精确的动态程序切片结果。

关键词：动态切片前向计算程序依赖性三地址码

在线全文

学校读者我要写书评

暂无评论

基于动态切片的错误定位方法研究

基于动态切片的错误定位方法研究

作者：滕庆亚南京邮电大学

学位级别：硕士

软件维护工作约占软件开发周期成本的一半以上,其中最耗时、代价最昂贵的任务之一就是软件调试过程,此过程包括对程序进行错误进行定位和改正。使用错误定位方法,可以从若干可疑度语句中,迅速找出影响程序健壮性或者程序执行结果的可疑... 详细信息

软件维护工作约占软件开发周期成本的一半以上,其中最耗时、代价最昂贵的任务之一就是软件调试过程,此过程包括对程序进行错误进行定位和改正。使用错误定位方法,可以从若干可疑度语句中,迅速找出影响程序健壮性或者程序执行结果的可疑语句或语句块,将此语句或语句块交给开发调试人员做进一步的比较分析,辅助开发人员更快、更准的定位程序的错误。错误定位效果的提高,可以为软件开发节约大量的时间和人力成本。现有的错误定位方法,是从程序频谱或者程序切片分别进行分析。用频谱分析,会丢失依赖信息,但速度快。用切片分析,会包含依赖信息,结果更精炼和精确,但是花费的时间更长。本文结合了两者的特点,首先收集程序执行的频谱信息,得到根据频谱信息算出的可疑度语句,然后和传统的后向动态切片信息做比较,再结合前向切片和后向切片(双向切片),从可疑度语句(关键语句)出发,向下找出其影响的语句,向上找出其受影响的语句,得到关于此可疑度语句的双向切片,再根据双向切片计算出每条语句的可疑度,并与基于频谱的方法和传统的后向动态切片方法对比。最后,通过权重调整公式,调整语句的可疑度,使错误定位的结果更接近实际情况。实验研究表明:1、本文的错误定位方法和传统的基于频谱的错误定位方法或者基于后向切片的错误定位方法相比,其效率能得到一定提高。2、在本文实验中,增加可疑度调整权重可以在一定程度上提高某些可疑度计算方法,如wong2方法的精确度。论文最后,本文作者根据论文中实验结果的不足之处,提出了往后的工作方向和研究内容。

关键词：错误定位频谱动态切片关键语句可疑度双向切片

基于动态切片和关联规则的软件故障诊断系统的设计与实现

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于动态切片和关联规则的软件故障诊断系统的设计与实现

作者：陈娣华中科技大学

学位级别：硕士

由于软件的复杂性越来越高,软件发生故障的可能性也就越来越大。因此,软件发生故障后,如何快速有效地定位故障是一个很重要的研究问题。针对传统的故障定位方法的定位效率低的问题,设计并实现了一个软件故障诊断系统,可以对包含单故障的... 详细信息

由于软件的复杂性越来越高,软件发生故障的可能性也就越来越大。因此,软件发生故障后,如何快速有效地定位故障是一个很重要的研究问题。针对传统的故障定位方法的定位效率低的问题,设计并实现了一个软件故障诊断系统,可以对包含单故障的Java程序进行故障诊断。该系统基于动态切片和关联规则,设计了动态切片算法来缩小故障检查的规模,设计了关联规则算法来对被检查语句进行排序,从而提高故障定位的效率。该系统主要包括数据采集、动态切片生成、动态切片后处理、关联规则分析以及故障报告生成等模块。数据采集模块首先对源程序进行规范化处理,然后利用Java编译优化框架Soot获取程序的定义使用分析结果和静态依赖分析结果。动态切片生成模块首先根据测试用例集执行源程序,同时利用Java调试接口JDI获取执行轨迹和执行结果,然后根据定义使用分析结果和静态依赖分析结果,采用动态切片算法计算执行轨迹中所有执行实例的动态切片,最后根据切片准则生成动态切片结果集。动态切片后处理模块首先统计动态切片结果集的覆盖信息,然后结合执行结果构造覆盖向量矩阵。关联规则分析模块首先采用关联规则算法计算语句的可疑度,然后结合覆盖向量矩阵构造可疑度矩阵。故障报告生成模块负责生成按语句可疑度降序排列的故障报告,完成软件故障诊断的工作流程。在测试数据集Siemens Suite上进行了实验,并与传统的软件故障定位方法Tarantula、Jaccard以及Ochiai进行了对比分析。实验结果表明,基于动态切片和关联规则的方法提高了软件故障定位的效率。

关键词：软件故障诊断软件故障定位动态切片关联规则可疑度

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种基于模块单子语义的动态程序切片方法

计算机学报 2006年第4期29卷 526-534页

作者：张迎周徐宝文东南大学计算机科学与工程系

提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片... 详细信息

提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片算法.据此,可直接在抽象语法结构上计算动态切片,不必记录程序执行历史;相应单子切片器也无需显式地构造诸如依赖图的中间结构.这种模块化抽象机制使得文中的动态切片算法具有很强的可扩展性和重用性.

关键词：程序切片动态切片单子单子转换器模块单子语义

在线全文

学校读者我要写书评

暂无评论

基于动态切片和惰性计算的服务组合动态演化

基于动态切片和惰性计算的服务组合动态演化

作者：符炜南京邮电大学

学位级别：硕士

如今的Web服务数量已经越来越多，然而随着用户对Web服务功能的需求，Web服务资源却越来越不能满足用户的要求。为了解决Web服务匮乏问题，Web服务组合技术被提出，很多单体服务通过Web服务组合技术被组合成具有新功能的组合服务。组合... 详细信息

如今的Web服务数量已经越来越多，然而随着用户对Web服务功能的需求，Web服务资源却越来越不能满足用户的要求。为了解决Web服务匮乏问题，Web服务组合技术被提出，很多单体服务通过Web服务组合技术被组合成具有新功能的组合服务。组合服务中的每一个单体服务时刻处于演化中，所以Web服务组合者需要时刻对Web组合服务进行监控，以便能够及时地对Web服务组合进行演化。然而实时监控的演化方法在实现效果上不够灵活。为了实现灵活地对Web服务组合进行演化，本文提出了Web服务组合动态演化的方法，其基本思想是如果被更新的单体服务被BPEL流程调用到的时候，则该组合服务进行更新，否则不进行更新。本文所做工作包括：（1）分析BPEL执行流程，将其转化为C语言代码;（2）对C语言代码进行分析，生成函数依赖图;（3）根据组合服务的初始输入值，对函数依赖图进行动态切片，得到切片后的依赖图和切片后的C语言代码;（4）以Tomcat中的Axis2为发布平台，发布Web服务，并进行了组合，然后演示了对组合服务进行动态演化的过程，对本文所做工作进行了验证。论文的创新点如下：设计了BPEL语言到C语言的转化方法。BPEL语言与C语言在结构上有着较多的相似之处，为了能够更好地对BPEL语言进行分析，将BPEL语言转化为C语言，将对BPEL语言的分析转化为对C语言的分析。设计了基于C语言函数依赖图的BPEL服务依赖图生成算法。为了研究组合服务内部单体服务之间的服务依赖关系，本文通过分析由BPEL代码转化后的C代码，对C代码的函数依赖图进行生成，此时的函数依赖图就是组合服务的服务依赖图。设计了基于Web服务初始输入值的对C代码的动态切片算法。组合服务的输入参数值不同，则其执行的路径会发生变化，为了得到特定输入参数值的具体执行路径，需要对组合服务进行动态切片，由于组合服务的BPEL代码已经转化为Ｃ代码，所以对Ｃ代码进行动态切片，就可以得到组合服务的动态执行路径。利用惰性计算性质，对组合服务进行运行。通过对BPEL代码转化后的C代码的分析，可以确定组合服务的唯一执行路径，然后通过对C代码的动态切片，得到切片代码，只对切片代码进行运行，可以提高运行效率以及运行的准确性。

关键词： Web服务组合依赖图动态切片惰性计算动态演化

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于UML图和动态切片的回归测试研究

计算机工程与设计 2011年第11期32卷 3734-3737页

作者：宋建生钱雪忠江南大学物联网工程学院江苏无锡214122

重点将UML图和动态切片应用于回归测试中。针对现在应用于软件开发的UML图不能很好地满足软件测试的要求,引入了时序状态图和改进后的状态图,对两种图进行形式化定义,并且通过实例说明定义内容,其中时序状态图用于类间测试,改进后的状... 详细信息

重点将UML图和动态切片应用于回归测试中。针对现在应用于软件开发的UML图不能很好地满足软件测试的要求,引入了时序状态图和改进后的状态图,对两种图进行形式化定义,并且通过实例说明定义内容,其中时序状态图用于类间测试,改进后的状态图用于类内测试。对定义的图进行切片分析,形成测试步骤和测试算法。网上购物实例表明时序状态图和改进状态图可以提高回归测试效率。

关键词：动态切片回归测试软件测试时序状态图 UML状态图