传统的算法是通过建立程序的依赖图得到动态切片,但依赖图需要占用大量的空间,因此算法效率较低。
Traditional algorithms usually get dynamic program slices by building dependence graphs of the programs, but dependence graphs take lots of memory space, so they are inefficient.
文中提供的动态切片方法还克服了以往动态切片方法的缺点,即动态切片不会因切片标准变化而重新计算。
Besides efficiency, our approach overcomes the limitations of previous dynamic slicing methods, which have to redo if slicing criterion changes.
介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的,讨论了动态切片在程序调试和软件测试中的应用。
The basic conceptions of dynamic slicing are introduced, to which the program dependence graph arithmatic is tried to apply, thus reducing the scope of program analysis.
介绍了动态切片的基本概念,并将程序依赖图算法应用于动态切片,从而达到缩小程序分析范围的目的,讨论了动态切片在程序调试和软件测试中的应用。
The paper discusses basic concepts in dynamic slicing at first, then presents a dynamic slicing method based-on dynamic flow, it′s application in software test and program debugg.
结合受应力作用的岩样切片的微观观察,对应力裂纹、裂纹的动态分叉现象进行了分析讨论。
Then, combining with microscopic observation of rock specimen sections under compressive loads, the phenomena of stress crack and the dynamic branch have been analysed and discussed.
利用极性迭代算法可减小计算量的优点,提出了基于四阶累积量对角切片极性迭代的自适应动态谱线增强快速算法。
Based on the advantage of the sign algorithm, a fast algorithm of FOC diagonal slice sign iterative adaptive dynamic line enhancer is proposed.
提出了基于四阶累积量不同切片的间接自适应动态线谱增强算法。
Fourth order cumulant (FOC) different slice-based adaptive dynamic line enhancement algorithms are presented.
与计算机及相应的软件技术组合,LSCM实现了连续光学切片,广泛应用于生物三维结构重组及动态分析。
Combining with computer and corresponding software, LSCM realizes series optical sectioning and is applied in 3dimensional reconstruction and dynamic assay of biological specimens widely.
与计算机及相应的软件技术组合,LSCM实现了连续光学切片,广泛应用于生物三维结构重组及动态分析。
Combining with computer and corresponding software, LSCM realizes series optical sectioning and is applied in 3dimensional reconstruction and dynamic assay of biological specimens widely.
应用推荐