动态切片相关论文
程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型。能够......
动态程序切片能够在程序运行出现异常的情形下有效地捕获到导致该异常出现的错误代码以及传播错误数据的程序运行路径。动态切片技......
随着软件的需求和规模的增大,软件的质量变得日益重要。软件测试是软件质量的最重要解决方案,而测试用例的生成则是软件测试中最重......
动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集,在程序理解、测试、调试、集成和软件维......
为了提高程序调试的效率,本文提出一种基于概率推演自动计算动态程序切片中每条语句的正确概率并赋予优先度的方法。首先从程序运......
程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实......
Petri net is an important tool to model and analyze concurrent systems,but Petri net models are frequently large and com......
为了减少分析和存储信息,提高测试效率,针对Concolic测试中存在同一同步串运行多次的现象及测试效率不高的问题,提出了基于并行Jav......
众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述.首先规范定......
动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软......
在业务流程管理中,确定流程模型的最小变化域是一项重要的问题。已有的方法主要是从整个模型的角度去分析考察它的最小变化域,计算......
针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的个基于覆盖测试的动态依赖图,它既利用动态执......
提出一种基于程序模块单子语义的新动态切片方法--模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的......
针对面向对象并发程序给出一种基于依赖标识的动态切片方法.使用面向对象并发程序依赖图（COOPDG）作为中间图表示,然后对不同类型依赖......
错误定位就是寻找程序错误的位置.现有的错误定位方法大多利用测试用例的覆盖信息,以标识一组导致程序失效的可疑语句,却忽视了这......
为解决程序调试过程中的错误定位问题,将程序执行轨迹和动态切片技术应用于错误定位.程序执行轨迹中包含与错误无关语句,影响错误......
摘要：针对C语言程序的评价问题，给出了执行点和执行历史相关概念的描述，讨论了执行点之间的关系，给出了关于单变量和执行点的动态切片......
回归测试指对修改后的软件进行测试。为提高回归测试错误分析效率，基于目前热路径思想在程序分析里的应用，结合程序切片方法，提出一种......
错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以提高调试效率,降低调试成本.该文提出一种把动态切片、关联分......
谓词切换（Predicate Switching）通过动态改变程序中的谓词判断语句状态观察程序运行结果的变化，分析可能与错误相关的关键谓词判断语......
程序切片是一种软件调试、测试、理解和维护技术。通过寻找程序内部的相关性来分解程序，从而达到快速错误定位的目的。对程序切片的......
ATLAS(Abbreviated Test Language for All Systems)是一个被广泛应用于军事和电子测试的通用标准测试语言。在国外航空航天、大型......
重点将UML图和动态切片应用于回归测试中。针对现在应用于软件开发的UML图不能很好地满足软件测试的要求，引入了时序状态图和改进后......
近年来,随着数字信息技术的高速发展,诸如高清视频,虚拟现实等新兴数据业务呈现出爆发式增长,并对移动通信基础网络性能提出更高的......
为了提高国土管理部门对土地及地籍资源综合业务的管理水平,增强地籍管理的科学性、实时性,通过对国土资源综合业务系统建设中数据......
近年来,社会发展对软件测试和调试技术提出了新的挑战。不断变化的环境和需求对软件系统提出了更高的要求,保证软件质量变得至关重......
在软件生命周期过程中,软件测试是保证软件质量的关键环节之一。随着并行分布式系统和网络技术的不断发展,并行程序得到广泛应用。......
研究和设计了数字城市电子地图瓦片更新系统,实现了电子地图数据、服务、瓦片的一体化管理与动态切片等功能,减少了地图服务运维代......
动态程序切片技术是一种重要的程序分析技术，在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方......
