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

搜索资源列表

  1. 高级软件工程 详细课件

  2. 第零讲: 课程介绍 第一讲: 软件与软件开发 第二讲: 软件典型架构 第三讲: 可信软件概述 第四讲: 可信性度量 第五讲: 需求与可信 第六讲: 设计可信性:模型检查 第七讲: 代码可信分析概述(1) 第八讲: 格与不动点 JPF 使用指南 第九讲: 基于抽象解释的数据流分析第十讲: 符号执行 定理证明:ESC/JAVA 第十一讲: 基于缺陷模式的分析 Findbugs 第十二讲: 系统软件可信性 第十三讲: 监测
  3. 所属分类:Java

    • 发布日期:2009-07-24
    • 文件大小:9437184
    • 提供者:angeldhp
  1. jpf_2.1_full.zip

  2. jpf_2.1_full.zip AJAX开发用到的工具
  3. 所属分类:Web开发

    • 发布日期:2009-10-13
    • 文件大小:3145728
    • 提供者:markwei1989
  1. JPG 转PDF工具

  2. 超好用的JPF转PDF工具,非常的使用,需要的请下
  3. 所属分类:其它

    • 发布日期:2010-10-25
    • 文件大小:229376
    • 提供者:martin8662
  1. 压缩文件伪装在图片文件上传 JPF图片伪装工具 [免费版]

  2. 压缩文件伪装在图片文件上传 JPF图片伪装工具 [免费版] 把压缩文件伪装在图片文件中把RAR文件伪装在JPG文件中,打开文件只是显示JPG图片,但把JPG文件扩展名改为RAR,就是一个压缩文件包。实现RAR文件伪装加密在JPG文件中。 解决不能用中文目录,测试伪装一个185M用了1秒跟计算机有关。
  3. 所属分类:网络基础

    • 发布日期:2010-12-09
    • 文件大小:15360
    • 提供者:xcntime
  1. JPF测试原理以及相关资料

  2. JPF测试原理以及相关资料!!!!喷血之作!!!
  3. 所属分类:其它

    • 发布日期:2011-12-07
    • 文件大小:2097152
    • 提供者:tank03
  1. JPF的Eclipse环境安装运行过程

  2. Java Pathfinder的Eclipse环境安装配置过程。如有不懂的地方请发e-mail咨询 nhebek@126.com
  3. 所属分类:软件测试

    • 发布日期:2013-05-10
    • 文件大小:32768
    • 提供者:nhebek
  1. Java Pathfinder(JPF)完全安装配置过程(2013年6月)

  2. Java PathFinder是一个可执行Java程序调试/检验系统。它的内核是一个Java虚拟机(JVM),可用于系统地探测程序所有可能的执行路径,以避免死锁或无法处理的异常之类的情况发生。与传统的调试程序不同,Java PathFinder报告导致缺陷的整个执行路径。Java PathFinder特别适合在多线程的程序中发现很难测试的并发缺陷。 本文所介绍的Java Pathfinder安装配置过程,主要参考JPF官方网站,并以Windows操作系统、Eclipse开发平台为基础进行配置。
  3. 所属分类:Java

    • 发布日期:2013-06-04
    • 文件大小:61440
    • 提供者:qqwguoqing
  1. JPEGPDF转换器

  2. 一款小巧的JPEG到PDF转换器,同时也支持JP2, J2K, JPF, PNG, BMP, TIF, EMF and WMF文件的转换。
  3. 所属分类:管理软件

    • 发布日期:2014-12-10
    • 文件大小:83968
    • 提供者:ghostwang007
  1. oppenoffice 将word转jpf图片

  2. 解决如何将word、excel、ppt、html、txt转换成pdf
  3. 所属分类:Android

    • 发布日期:2014-12-11
    • 文件大小:2097152
    • 提供者:qq_24411895
  1. JPF(java pathfinder)配置过程

  2. 在eclipse 3.2.2 下 的JPF(java pathfinder)配置过程,附有图形表示。网上这方面东西很少,自己研究出来后拿出来与大家分享。
  3. 所属分类:Java

    • 发布日期:2007-04-29
    • 文件大小:830464
    • 提供者:superhero122
  1. JPF(java pathfinder)配置过程

  2. 在eclipse 3.2.2 下 的JPF(java pathfinder)配置过程,附有图形表示。网上这方面东西很少,自己研究出来后拿出来与大家分享。
  3. 所属分类:Java

    • 发布日期:2007-04-29
    • 文件大小:830464
    • 提供者:superhero122
  1. 学习C++的五十条忠告

  2. 这是一个老软件人的忠告,希望能有帮助
  3. 所属分类:C

    • 发布日期:2007-04-29
    • 文件大小:26624
    • 提供者:Rid_w
  1. Java PathFinder-jpf-core

  2. 一个基于符号执行的Java执行模型路径查找器
  3. 所属分类:Java

    • 发布日期:2016-05-14
    • 文件大小:8388608
    • 提供者:qq_24451605
  1. JPF 安装文档

  2. java pathfinder version 4 install
  3. 所属分类:Java

    • 发布日期:2007-05-22
    • 文件大小:44032
    • 提供者:adamliu84
  1. 操作系统进程调度算法模拟

  2. 该程序采用C语言编写,主要用于模拟操作系统对进程的调度算法、其中采用了三种算法 FCFS、JPF、时间片轮转 JPF采用抢占,望浏览程序的读者注意...同时,程序初始化工作中文件中读取,但是依次输入的进程到达时刻需按一定的递增顺序,因为程序并没有对进程进行相应的按到达时刻排序...
  3. 所属分类:网络攻防

    • 发布日期:2008-12-28
    • 文件大小:218112
    • 提供者:taiyangads1
  1. 学习Worshop的常见问题以及精华文章推荐

  2. DEV2DEV Workshop板块帖子整理 总结人:李巍 (dev2dev ID:Hilaser)
  3. 所属分类:Web开发

    • 发布日期:2009-03-13
    • 文件大小:95232
    • 提供者:woohooli
  1. java 学生管理系统界面

  2. package asc; import java.awt.*; import javax.swing.*; public class cs extends JFrame{ //定义组件 JPanel jp1,jp2,jp3;//面板 JLabel jlb1,jlb2;//标签 JButton jb1,jb2;//按钮 JTextField jtf;//文本 JPasswordField jpf;//密码 public static void main(String[] args) { cs w
  3. 所属分类:Java

    • 发布日期:2018-03-08
    • 文件大小:2048
    • 提供者:lijun980811
  1. ATV610快速起动指南.pdf

  2. 施耐德ATV610变频器快速起动指南,施耐德官方技术文档o文本显示终端和灯:描述 灯 灯指示的含义,参照下表 退出键 用来退出菜单、参数或者取消当前的修改值 触摸滚轮 确认键用来存储当前值或者进入当前选择的菜单、参数。 确认 触摸滚轮用来滚动快速进入菜单 ∧∨方向键上下键用来精确的选择,左右键用来选择数字值或者参数的精确位 停止复位键 停止命令或者故障复位 直接回到菜单主页面 Schneid. 运行键 执行运行命令 灯颜色 灯状态变频器状态 缓慢闪烁 准备运行 快速闪烁 变频器加速或减速中 常亮
  3. 所属分类:制造

    • 发布日期:2019-10-14
    • 文件大小:1048576
    • 提供者:cwh129
  1. 安装jpf-core.zip

  2. 解决jpf官网需要用户名密码,无法下载的问题。下载此文件,解压,按说明里的步骤在eclipse中 使用。
  3. 所属分类:互联网

    • 发布日期:2020-06-04
    • 文件大小:9437184
    • 提供者:weixin_43952331
  1. symbc_z3_fp_mnwe:使用z3(任何版本)fp(浮点算术验证)的jpf-symbc的最小非工作示例-源码

  2. 启动/包含启动配置 JPF项目文件夹应位于../jpf-core、../jpf-symbc hamcrest-core和junit-4.12罐子应该放在lib /
  3. 所属分类:其它

    • 发布日期:2021-02-19
    • 文件大小:6144
    • 提供者:weixin_42141437
« 12 »