点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 程序切片
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
unravel程序切片工具
程序切片的工具,在Unix下运行,能分析标准C语言的源程序
所属分类:
C
发布日期:2009-08-06
文件大小:244736
提供者:
zhangluzheng
code slicer
资源描述(需要大于20个字符):程序切片器,jar文件
所属分类:
Java
发布日期:2009-09-05
文件大小:7168
提供者:
mayingkmcti
程序切片技术.pdf
程序切片是一种分析和理解程序的技术:是通过对源程序中每个兴趣点分别计算切片来达到对程序的分 析和理解=程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关:而且与影响该变量的值的语句和 谓词以及受该变量的值影响的语句和谓词有关=文中详细阐述了程序切片技术的研究与进展情况:并对目前存在 各种程序切片方法和工具进行了比较C简单介绍了文中提出的面向对象的分层切片方法及其算法的思想C最后分 析了程序切片技术目前还存在的一些问题及其发展趋势
所属分类:
C
发布日期:2010-07-14
文件大小:491520
提供者:
company1986
unravel 程序分析 程序切片所用的东西
unravel 程序分析 程序切片所用的东西 开源的 包括原代码 可自行编译修改
所属分类:
专业指导
发布日期:2010-10-03
文件大小:244736
提供者:
kunou
《MATLAB 7.X程序设计》
假设管道中轴线与每张切片有且只有一个交点,球半径固定,切片间距以及图像象素尺寸均为1。 切点间距尺寸为1,则假设相继切片间连续,即相继的切片与中轴线的交点是连续的。
所属分类:
专业指导
发布日期:2011-08-13
文件大小:9437184
提供者:
huxiaoyonglan
程序切片技术在软件测试中的应用
程序切片时一项非常有用的软件测试技术,本文详细介绍了程序切片的各项主要的技术,非常有用~!
所属分类:
软件测试
发布日期:2013-01-10
文件大小:295936
提供者:
www12138
静态程序切片工具
静态分析工具,可以对java程序进行静态切片,获取相关程序静态信息。
所属分类:
其它
发布日期:2018-01-04
文件大小:524288
提供者:
dianaxiaoya
面向方面程序切片技术及其在测试数据生成中的应用
面向方面程序切片技术及其在测试数据生成中的应用,切片
所属分类:
网络基础
发布日期:2018-04-23
文件大小:3145728
提供者:
anitachiu_2
程序动态切片论文
基于程序切片的测试用例生成系统研究与实现,基于增量式技术的程序静态分析器的研究
所属分类:
互联网
发布日期:2018-04-23
文件大小:66060288
提供者:
anitachiu_2
基于程序切片的软件测试研究
基于程序切片的软件测试研究,基于谓词动态切片技术的AOP测试用例生成方法研究
所属分类:
C++
发布日期:2018-04-23
文件大小:109051904
提供者:
anitachiu_2
微信小程序前端开发者工具-小程序切片-小程序定制开发神器
微信小程序前端开发者工具(小程序切片)是一款根据效果图像画画一样来设计微信小程序,自动生成导出前端页面的快速开发工具。可以很方便、快速地生成小程序的wxml,wcss,js文件。可以大大提高您的工作效率,减少前端布局的编写工作。 功能如下: 1.切片功能:原来手工写的这部分工作,可以用切片软件的方法来切。切好后,可以自动生成wxml,wcss,js文件。 2.文字识别功能:效果图上的文字可以通过自动文字自动识别识别出来,提高录入速度,减轻工作量。 3.存档功能:设计好的切片文件可以存档,以便下
所属分类:
HTML5
发布日期:2018-05-30
文件大小:66060288
提供者:
qq_42218843
微信小程序前端超速开发工具
微信小程序前端开发者工具(小程序切片)是一款根据效果图像画画一样来设计微信小程序,自动生成导出前端页面的快速开发工具。可以很方便、快速地生成小程序的wxml,wcss,js文件。可以大大提高您的工作效率,减少前端布局的编写工作。 功能如下: 1.切片功能:原来手工写的这部分工作,可以用切片软件的方法来切。切好后,可以自动生成wxml,wcss,js文件。 2.文字识别功能:效果图上的文字可以通过自动文字自动识别识别出来,提高录入速度,减轻工作量。 3.存档功能:设计好的切片文件可以存档,以便下
所属分类:
其它
发布日期:2018-06-26
文件大小:67108864
提供者:
qq_42218843
十分经典的静态程序切片工具
静态程序切片工具.zip
所属分类:
其它
发布日期:2020-03-24
文件大小:534528
提供者:
ZR__MaNong
基于模块单子语义的动态程序切片
基于模块单子语义的动态程序切片,张迎周,徐宝文,本文提出了一种新的动态切片方法──模块单子动态切片,它基于程序的模块单子语义。首先通过单子转换器,将切片这一类计算抽象成
所属分类:
其它
发布日期:2020-02-01
文件大小:357376
提供者:
weixin_38609571
并发程序切片原型系统的设计与实现
并发程序切片原型系统的设计与实现
所属分类:
其它
发布日期:2021-03-01
文件大小:2097152
提供者:
weixin_38666230
单子程序切片器
单子程序切片器
所属分类:
其它
发布日期:2021-02-24
文件大小:701440
提供者:
weixin_38687904
含指针程序的单子切片方法
传统的含指针程序切片方法将指向分析与切片计算分开,增加了一定系统开销,为此文中提出一种可同时进行切片计算和指向分析的单子切片算法.该算法将程序正向切片思想与数据流迭代分析相结合,它是流敏感的,具有一定的精度,而且因指向分析和切片计算同时进行,故不需要像一般的流敏感分析方法那样记录每一个程序点的指向信息,而只需记录当前所分析的程序点处指向信息,从而节省了存储空间.此外,它还继承了原有单子切片方法所具有的强语言适应性和组合性.
所属分类:
其它
发布日期:2021-02-23
文件大小:417792
提供者:
weixin_38733885
并发程序切片方法综述
随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多。但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决。文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用。
所属分类:
其它
发布日期:2021-02-23
文件大小:816128
提供者:
weixin_38642864
一种基于模块单子语义的动态程序切片方法
一种基于模块单子语义的动态程序切片方法
所属分类:
其它
发布日期:2021-02-23
文件大小:184320
提供者:
weixin_38501916
基于程序依赖图的静态BPEL程序切片技术
传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术.该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片.案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序.
所属分类:
其它
发布日期:2021-02-21
文件大小:315392
提供者:
weixin_38700790
«
1
2
3
4
5
6
7
8
9
10
...
18
»