没有合适的资源?快使用搜索试试~
我知道了~
文库首页
行业
互联网
安装jpf-core.zip
安装jpf-core.zip
eclipse
需积分: 9
1 下载量
15 浏览量
2020-06-04
09:39:50
上传
评论
收藏
9.61MB
ZIP
举报
温馨提示
立即下载
解决jpf官网需要用户名密码,无法下载的问题。下载此文件,解压,按说明里的步骤在eclipse中 使用。
资源推荐
资源评论
jpf-core:JPF是Java字节码的可扩展软件分析框架。 jpf-core是所有JPF项目的基础; 您总是需要安装它。 它包含基本的VM和模型检查基础结构,可用于检查并发缺陷(如死锁)和未处理的异常(如NullPointerExceptions和AssertionErrors)
浏览:15
Java Pathfinder(JPF) Java字节码程序的可扩展软件模型检查框架 关于JPF的一般信息 所有最新的开发,变更和文档都可以在我们的页面上找到。 建造和安装 如果您在安装和运行JPF时遇到问题,请参阅“指南。 我们已经在Wiki上记录了许多常见的问题,这些问题可能在用户报告的安装和构建过程中发生。 如果您遇到任何问题,请确保我们没有在文档中解决。 否则,请随时通过与我们联系,或
Java PathFinder-jpf-core
浏览:21
4星 · 用户满意度95%
一个基于符号执行的Java执行模型路径查找器
jpf_2.1_full.zip
浏览:37
jpf_2.1_full.zip AJAX开发用到的工具
Java Pathfinder(JPF)完全安装配置过程(2013年6月)
浏览:115
Java PathFinder是一个可执行Java程序调试/检验系统。它的内核是一个Java虚拟机(JVM),可用于系统地探测程序所有可能的执行路径,以避免死锁或无法处理的异常之类的情况发生。与传统的调试程序不同,Java PathFinder报告导致缺陷的整个执行路径。Java PathFinder特别适合在多线程的程序中发现很难测试的并发缺陷。 本文所介绍的Java Pathfinder安装配
jpf-qilura:奇鲁拉
浏览:191
jpf-core = ${jpf-home}/jpf-core jpf-symbc = ${jpf-home}/jpf-symbc jpf-qilura = ${jpf-home}/jpf-qilura extensions+=,${jpf-core} extensions+=,${jpf-symbc} extensions+=,${jpf-qilura} 从github...
symbc_z3_fp_mnwe:使用z3(任何版本)fp(浮点算术验证)的jpf-symbc的最小非工作示例
浏览:5
启动/包含启动配置 JPF项目文件夹应位于../jpf-core、../jpf-symbc hamcrest-core和junit-4.12罐子应该放在lib /
jpf-symbc:符号路径查找器
浏览:74
符号(Java)路径查找器: 此JPF扩展为Java字节码提供符号执行。 它执行字节码的非标准解释。 它允许对具有基本类型(int,long,double,boolean等)... 然后请从此处下载jpf-core: : 还有来自这里的jpf-symbc:
45张头像.zip jpeg格式
浏览:48
2023 .3 头像集合 1-45.jpeg
论文研究-运用抽象技术和JPF生成类测试用例方法.pdf
浏览:148
提出了在纸币高速运行条件下对纸币图像进行快速可靠的识别和系统实现方法。清分机是一种自动纸币整理机具。纸币图像分析技术是清分机的核心技术。该系统是光机电一体化的设备,其硬件部分包括线阵图像传感器、信号...
jpf-qif:Java字节码的符号量化信息流分析
浏览:45
jpf-qif Java字节码的符号量化信息流分析 项目页面 抽象的 现实世界中的计算机系统从来都不是 100% 安全的,因此我们需要衡量它们的安全性。 举一个简单的例子,假设一个攻击者试图猜测一个密码:如果他的猜测是...
JPF的Eclipse环境安装运行过程
浏览:200
4星 · 用户满意度95%
Java Pathfinder的Eclipse环境安装配置过程。如有不懂的地方请发e-mail咨询 nhebek@126.com
jdoop:Java软件的自动测试工具
浏览:181
JDoop(以前称为JPF-Doop)是针对Java软件的免费软件测试工具。 它基于的调解执行引擎和 (反馈导向的随机测试引擎)。 可以在MarkoDimjašević和ZvonimirRakamarić的扩展摘要中找到JDoop的更详细描述: 。 依存...
基于JPF的类数据流测试生成技术 (2007年)
浏览:139
将测试生成问题简化成模型检测中寻找反例的问题,自动生成满足数据流覆盖准则的类方法测试调用序列,提出了一种适用于类方法调用序列自动生成的搜索算法,并在程序模型检测器JPF上实现。算法分析和实验结果表明,该...
SiC&GaN供应链副新基建半导体需求(JPF).rar
浏览:182
SiC&GaN供应链副新基建半导体需求(JPF).rar
jpf-partial-transition-system-listener
浏览:35
EECS 4315项目
基于JPF的Java程序验证.pdf
浏览:64
基于JPF的Java程序验证.pdf
SiC&GaN供应链副新基建半导体需求(JPF).pdf
浏览:97
SiC&GaN供应链副新基建半导体需求(JPF).pdf
RepackagedAndroid
浏览:45
安装流浪汉 转到 repo 的根目录(此文件所在的位置) 运行“vagrant up”,等待机器上线 运行“vagrant ssh”进入虚拟机 所有包含的项目都将在 VM 的“~/Workspace/”中 分析引擎项目设置: 确保你已经安装了 JDK ...
JPF 安装文档
浏览:84
java pathfinder version 4 install
Java 面经手册·小傅哥.pdf
浏览:74
5星 · 资源好评率100%
这是一本以面试题为入口讲解 Java 核心内容的技术书籍,书中内容极力的向你证实代码是对数学逻辑的具体实现。当你仔细阅读书籍时,会发现Java中有大量的数学知识,包括:扰动函数、负载因子、拉链寻址、开放寻址、斐波那契(Fibonacci)散列法还有黄金分割点的使用等等。 适合人群 1. 具备一定编程基础,工作1-3年的研发人员 2. 想阅读 Java 核心源码,但总感觉看不懂的 3. 看了太多
解压后拖入浏览器扩展程序使用.zip
浏览:155
5星 · 资源好评率100%
解压后拖入浏览器扩展程序使用
103套PPT模板.zip
浏览:141
4星 · 用户满意度95%
读本科常用的100套PPT模板,里面的模板能应用于答辩、汇报、经验分享,风格各异,可以根据自己的喜欢进行挑选
Beyond Compare 免安装直接使用
浏览:196
5星 · 资源好评率100%
比较工具,用于比较任何文本文件,包括.c文件、.cpp文件、.h文件等,或者比较文件夹;Beyond Compare.zip 解压之后直接可以使用
notepad++.exe官网下载
浏览:105
4星 · 用户满意度95%
官网进不去着实很烦,找的软件下载网站都是改过了的,上传供收藏使用。
Mars4_5.zip
浏览:108
5星 · 资源好评率100%
MIPS Assembler and Runtime Simulator(MIPS汇编程序和运行时模拟器)
QT自制精美Ui模板系列(一)桃子风格模板 - 二次开发专用
浏览:179
5星 · 资源好评率100%
本模板为美化QT界面系列中的一个,整体风格为桃子风格(效果预览链接:https://blog.csdn.net/hwc3737/article/details/108377607),搭配美化大部分常用控件,可直接使用。同时自带部分有用系统功能(最小化托盘运行),可在其基础上进行二次开发。需要基于QT Creator进行使用。
Postman9.12.2安装包
浏览:135
5星 · 资源好评率100%
Postman_win64-9.12.2安装包;是exe文件,直接下载安装即可。给自己也留个底,有需要的大家可以下载吧,做API测试相当有用
keygen_2032.rar
浏览:119
5星 · 资源好评率100%
KEIL 2032 KEIL 2032 KEIL 2032
python爬虫数据可视化分析大作业.zip
浏览:41
3星 · 编辑精心推荐
python爬虫,并将数据进行可视化分析,数据可视化包含饼图、柱状图、漏斗图、词云、另附源代码和报告书。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
土豆土豆呼叫地瓜
粉丝: 0
资源:
1
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
PHP高校科研积分管理系统源码
基础的Go语言教程,适合初学者入门
博看书苑v7.7.0.apk
基于NSGAII的双目标优化算法matlab仿真【包括程序,注释,参考文献,操作步骤】
计算机二级考试心得攻略和经验分享
单片机课程实验-秒表实现
Springboot开发:Springboot开发的优点
电子设计竞赛(电赛)经验分享
(自适应手机端)IT网络建站公司pbootcms模板 互联网营销企业网站源码下载.zip
(自适应手机端)HTML5智能设备pbootcms网站模板 响应式人工智能机器网站源码下载.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功