您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. unravel程序切片工具

  2. 程序切片的工具,在Unix下运行,能分析标准C语言的源程序
  3. 所属分类:C

    • 发布日期:2009-08-06
    • 文件大小:244736
    • 提供者:zhangluzheng
  1. code slicer

  2. 资源描述(需要大于20个字符):程序切片器,jar文件
  3. 所属分类:Java

    • 发布日期:2009-09-05
    • 文件大小:7168
    • 提供者:mayingkmcti
  1. 程序切片技术.pdf

  2. 程序切片是一种分析和理解程序的技术:是通过对源程序中每个兴趣点分别计算切片来达到对程序的分 析和理解=程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关:而且与影响该变量的值的语句和 谓词以及受该变量的值影响的语句和谓词有关=文中详细阐述了程序切片技术的研究与进展情况:并对目前存在 各种程序切片方法和工具进行了比较C简单介绍了文中提出的面向对象的分层切片方法及其算法的思想C最后分 析了程序切片技术目前还存在的一些问题及其发展趋势
  3. 所属分类:C

    • 发布日期:2010-07-14
    • 文件大小:491520
    • 提供者:company1986
  1. unravel 程序分析 程序切片所用的东西

  2. unravel 程序分析 程序切片所用的东西 开源的 包括原代码 可自行编译修改
  3. 所属分类:专业指导

    • 发布日期:2010-10-03
    • 文件大小:244736
    • 提供者:kunou
  1. 《MATLAB 7.X程序设计》

  2. 假设管道中轴线与每张切片有且只有一个交点,球半径固定,切片间距以及图像象素尺寸均为1。 切点间距尺寸为1,则假设相继切片间连续,即相继的切片与中轴线的交点是连续的。
  3. 所属分类:专业指导

    • 发布日期:2011-08-13
    • 文件大小:9437184
    • 提供者:huxiaoyonglan
  1. 程序切片技术在软件测试中的应用

  2. 程序切片时一项非常有用的软件测试技术,本文详细介绍了程序切片的各项主要的技术,非常有用~!
  3. 所属分类:软件测试

    • 发布日期:2013-01-10
    • 文件大小:295936
    • 提供者:www12138
  1. 静态程序切片工具

  2. 静态分析工具,可以对java程序进行静态切片,获取相关程序静态信息。
  3. 所属分类:其它

    • 发布日期:2018-01-04
    • 文件大小:524288
    • 提供者:dianaxiaoya
  1. 面向方面程序切片技术及其在测试数据生成中的应用

  2. 面向方面程序切片技术及其在测试数据生成中的应用,切片
  3. 所属分类:网络基础

    • 发布日期:2018-04-23
    • 文件大小:3145728
    • 提供者:anitachiu_2
  1. 程序动态切片论文

  2. 基于程序切片的测试用例生成系统研究与实现,基于增量式技术的程序静态分析器的研究
  3. 所属分类:互联网

    • 发布日期:2018-04-23
    • 文件大小:66060288
    • 提供者:anitachiu_2
  1. 基于程序切片的软件测试研究

  2. 基于程序切片的软件测试研究,基于谓词动态切片技术的AOP测试用例生成方法研究
  3. 所属分类:C++

    • 发布日期:2018-04-23
    • 文件大小:109051904
    • 提供者:anitachiu_2
  1. 微信小程序前端开发者工具-小程序切片-小程序定制开发神器

  2. 微信小程序前端开发者工具(小程序切片)是一款根据效果图像画画一样来设计微信小程序,自动生成导出前端页面的快速开发工具。可以很方便、快速地生成小程序的wxml,wcss,js文件。可以大大提高您的工作效率,减少前端布局的编写工作。 功能如下: 1.切片功能:原来手工写的这部分工作,可以用切片软件的方法来切。切好后,可以自动生成wxml,wcss,js文件。 2.文字识别功能:效果图上的文字可以通过自动文字自动识别识别出来,提高录入速度,减轻工作量。 3.存档功能:设计好的切片文件可以存档,以便下
  3. 所属分类:HTML5

    • 发布日期:2018-05-30
    • 文件大小:66060288
    • 提供者:qq_42218843
  1. 微信小程序前端超速开发工具

  2. 微信小程序前端开发者工具(小程序切片)是一款根据效果图像画画一样来设计微信小程序,自动生成导出前端页面的快速开发工具。可以很方便、快速地生成小程序的wxml,wcss,js文件。可以大大提高您的工作效率,减少前端布局的编写工作。 功能如下: 1.切片功能:原来手工写的这部分工作,可以用切片软件的方法来切。切好后,可以自动生成wxml,wcss,js文件。 2.文字识别功能:效果图上的文字可以通过自动文字自动识别识别出来,提高录入速度,减轻工作量。 3.存档功能:设计好的切片文件可以存档,以便下
  3. 所属分类:其它

    • 发布日期:2018-06-26
    • 文件大小:67108864
    • 提供者:qq_42218843
  1. 十分经典的静态程序切片工具

  2. 静态程序切片工具.zip
  3. 所属分类:其它

    • 发布日期:2020-03-24
    • 文件大小:534528
    • 提供者:ZR__MaNong
  1. 基于模块单子语义的动态程序切片

  2. 基于模块单子语义的动态程序切片,张迎周,徐宝文,本文提出了一种新的动态切片方法──模块单子动态切片,它基于程序的模块单子语义。首先通过单子转换器,将切片这一类计算抽象成
  3. 所属分类:其它

    • 发布日期:2020-02-01
    • 文件大小:357376
    • 提供者:weixin_38609571
  1. 并发程序切片原型系统的设计与实现

  2. 并发程序切片原型系统的设计与实现
  3. 所属分类:其它

    • 发布日期:2021-03-01
    • 文件大小:2097152
    • 提供者:weixin_38666230
  1. 单子程序切片器

  2. 单子程序切片器
  3. 所属分类:其它

    • 发布日期:2021-02-24
    • 文件大小:701440
    • 提供者:weixin_38687904
  1. 含指针程序的单子切片方法

  2. 传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性.
  3. 所属分类:其它

    • 发布日期:2021-02-23
    • 文件大小:417792
    • 提供者:weixin_38733885
  1. 并发程序切片方法综述

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

    • 发布日期:2021-02-23
    • 文件大小:816128
    • 提供者:weixin_38642864
  1. 一种基于模块单子语义的动态程序切片方法

  2. 一种基于模块单子语义的动态程序切片方法
  3. 所属分类:其它

    • 发布日期:2021-02-23
    • 文件大小:184320
    • 提供者:weixin_38501916
  1. 基于程序依赖图的静态BPEL程序切片技术

  2. 传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术.该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片.案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序.
  3. 所属分类:其它

    • 发布日期:2021-02-21
    • 文件大小:315392
    • 提供者:weixin_38700790
« 12 3 4 5 6 7 8 9 10 ... 18 »