注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 一个完整的白盒测试用例

  2. 控制流图 计算圈图复杂度 导出独立路径 设计测试用例 执行测试用例

  3. 所属分类：其它

    • 发布日期：2009-06-10
    • 文件大小：43kb
    • 提供者：menghuiwang

  1. Soot的Java程序控制流分析及图形化输出

  2. Soot是一个Java编译优化框架,可以利用它实现Java字节码程序的数据流分析和控制流分析。在深入分析Soot控制流生成机制的基础上,详细叙述了利用Soot分析Java类的控制流并生成其控制流图的方法和过程,同时提出了将Soot生成的抽象的控制流图进行图形化输出的方法。

  3. 所属分类：Java

    • 发布日期：2010-06-14
    • 文件大小：632kb
    • 提供者：zwr8749

  1. 2-3控制系统的结构图与信号流图ppt2010.ppt

  2. 2-3控制系统的结构图与信号流图ppt2010.ppt

  3. 所属分类：专业指导

    • 发布日期：2010-09-29
    • 文件大小：2mb
    • 提供者：alei1988

  1. 白盒测试教程，路径覆盖，逻辑覆盖，控制流图

  2. 白盒测试教程，包含：逻辑覆盖标准，路径覆盖标准，控制流图设计，图形矩阵方法

  3. 所属分类：其它

    • 发布日期：2010-11-11
    • 文件大小：3mb
    • 提供者：yiheyou

  1. 白盒测试-控制流图法

  2. 白盒测试 控制流图法 单元测试白盒测试 控制流图法 单元测试白盒测试 控制流图法 单元测试白盒测试 控制流图法 单元测试白盒测试 控制流图法 单元测试

  3. 所属分类：其它

    • 发布日期：2011-03-08
    • 文件大小：1mb
    • 提供者：xinfuankang

  1. 软件安全性的静态分析

  2. 提出了基于整数区间和控制依赖图，通过静态分析来检测 C语言源代码中安全漏洞的新方法。该方法在引入整数区间概念及其运算规则。

  3. 所属分类：系统安全

    • 发布日期：2011-09-23
    • 文件大小：129kb
    • 提供者：greatspider

  1. 软件测试-PPT

  2. 软件测试的白盒测试PPT课件，有白盒测试，程序控制流图，各种测试用例的设计

  3. 所属分类：软件测试

    • 发布日期：2011-12-21
    • 文件大小：257kb
    • 提供者：pengxianyuan

  1. 白盒测试-控制流图法.ppt

  2. 白盒测试-控制流图法.ppt 控制流图法是单元测试必备的测试用例书写方法，教程案例典型，介绍详细，值得学习资料。

  3. 所属分类：Java

    • 发布日期：2012-06-05
    • 文件大小：1mb
    • 提供者：lychbeyond

  1. 控制理论信号流图处理软件

  2. 矢量图形的信号流图处理软件。在图形界面上，用户输入节点与通路，软件计算出与此信号流图相关的各种信息，包括回路，传递函数等

  3. 所属分类：C#

    • 发布日期：2008-10-15
    • 文件大小：440kb
    • 提供者：xmanreturn

  1. 采购订单制定DFD数据流图

  2. 管理信息系统DFD图练习： 采购订单制定的环节常常是被人忽视的环节，但是管理不严，最容易出现被人利用采购，与供应商进行地下交易，低价买高价报账，或者质量不合格的情况。 因此该数据流图应该按照控制采购出现鄙陋的角度进行绘制，使管理工作更加规范。

  3. 所属分类：专业指导

    • 发布日期：2014-11-09
    • 文件大小：178kb
    • 提供者：kangyan2003

  1. 雨田静态分析系统V1.1

  2. 能够对c文件进行静态分析。分析内容主要包括控制流分析、数据流分析、复杂度分析等内容。能够显示文件中的函数调用关系图，能够显示每个函数的控制流图。能够显示度量指标以及规则检查的结果。

  3. 所属分类：其它

    • 发布日期：2016-06-01
    • 文件大小：2mb
    • 提供者：plstudio

  1. 代码分析系统V1.2

  2. 可以对.c/cpp文件进行静态分析。主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、违反代码规则的检查等。能够显示函数间的调用关系，能够显示函数的控制流 图。代码规则以 MISRA为依据，分析了DU,DD,UR以及混合类型运算等近60种常见问题。检查出的问题系统会给出问题发生的位置，原因以及对应的规则，方便用户查证并改进问题，高效的改正问题以提高代码质量。

  3. 所属分类：C++

    • 发布日期：2016-08-27
    • 文件大小：3mb
    • 提供者：plstudio

  1. soot生成java程序的控制流图例子

  2. 在java工程中利用soot-jar包，生成java程序的dot文件，再利用graphviz画出java程序的控制流图。

  3. 所属分类：Java

    • 发布日期：2017-03-23
    • 文件大小：11mb
    • 提供者：qinzhenhua100

  1. 控制流图,环形复杂度,矩阵,独立的路径集合

  2. 控制流图,环形复杂度,矩阵,独立的路径集合

  3. 所属分类：其它

    • 发布日期：2009-04-23
    • 文件大小：58kb
    • 提供者：ld8911

  1. 生成Python代码控制流图

  2. Python开发的生成Python代码控制流图的小工具。 原理：将源代码解析为AST，遍历AST生成结构化字符串，最后解析结构化字符串得到控制流图。 使用：python CFG.py src [-o dir] 工具扫描src文件所有函数并在dir目录下生成控制流图，缺省为当前工作目录。

  3. 所属分类：Python

    • 发布日期：2018-01-14
    • 文件大小：1mb
    • 提供者：iredbean

  1. esgraph, 从esprima抽象语法树创建控制流图.zip

  2. esgraph, 从esprima抽象语法树创建控制流图 esgraph从esprima抽象语法树创建控制流图 安装$ npm install esgraph用法 esgraphesgraph 二进制读取从stdin读取并输出由graphviz使用的dot格式。

  3. 所属分类：其它

    • 发布日期：2019-09-18
    • 文件大小：35kb
    • 提供者：weixin_38743737

  1. 第8章 异常控制流.xmind

  2. csapp 第8章异常控制流 ---- xmind思维导图。 主要讲述了异常的概念，以及建立在此基础上的进程、信号、非本地跳转，以及相关的概念，如进程内存空间，进程组等等。

  3. 所属分类：Linux

  1. Tiled-Directional-Flow：基于Unity中的流图的着色器，用于控制水流的方向-源码

  2. Tiled-Directional-Flow：基于Unity中的流图的着色器，用于控制水流的方向

  3. 所属分类：其它

    • 发布日期：2021-02-06
    • 文件大小：16mb
    • 提供者：weixin_42122881

  1. 基于控制流隐藏的代码迷惑

  2. 为了保护程序免受恶意攻击，确保软件的安全执行，提出了一种隐藏控制流图压平的代码迷惑方法。在已有的控制流图压平的基础上，引入分支函数和转移函数，建立了加强的压平控制流模型以防静态分析。本方案的安全性更多的是基于数据流，其模型是结构化且可扩展的，难以重构原始控制流图，所使用的单向函数不会静态的泄露任何控制流信息。若要理解程序控制流，攻击者必须对更大的代码段进行分析， 能有效的防止静态逆向工程。

  3. 所属分类：其它

    • 发布日期：2021-01-29
    • 文件大小：639kb
    • 提供者：weixin_38696143

  1. 基于符号执行的Android原生代码控制流图提取方法

  2. 提出了一种基于符号执行的控制流图提取方法，该方法为原生库中的函数提供了符号执行环境，对JNI 函数调用进行模拟，用约束求解器对符号进行求解。实现了控制流图提取原型系统 CFGNative。实验结果表明，CFGNative可准确识别样例中所有的JNI函数调用和原生方法，并能够在可接受的时间内达到较高的代码覆盖率。

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：618kb
    • 提供者：weixin_38559866
« 12 3 4 5 6 7 8 9 10 ... 50 »