没有合适的资源？快使用搜索试试~
我知道了~
文库首页
后端
Java
JPF 安装文档
JPF 安装文档
java
pathfinder
xml文档
xml文档资料
常用算法设计方法
需积分: 9
39 下载量
16 浏览量
2007-05-22
22:03:28
上传
评论
1
收藏
43KB
DOC
举报
温馨提示
立即下载
java pathfinder version 4 install
资源推荐
资源评论
Java Pathfinder(JPF)完全安装配置过程(2013年6月)
浏览：83
Java PathFinder是一个可执行Java程序调试/检验系统。它的内核是一个Java虚拟机(JVM)，可用于系统地探测程序所有可能的执行路径，以避免死锁或无法处理的异常之类的情况发生。与传统的调试程序不同，Java PathFinder报告导致缺陷的整个执行路径。Java PathFinder特别适合在多线程的程序中发现很难测试的并发缺陷。 本文所介绍的Java Pathfinder安装配
JPF的Eclipse环境安装运行过程
浏览：23
4星 · 用户满意度95%
Java Pathfinder的Eclipse环境安装配置过程。如有不懂的地方请发e-mail咨询 nhebek@126.com
论文研究-运用抽象技术和JPF生成类测试用例方法.pdf
浏览：104
提出了在纸币高速运行条件下对纸币图像进行快速可靠的识别和系统实现方法。清分机是一种自动纸币整理机具。纸币图像分析技术是清分机的核心技术。该系统是光机电一体化的设备，其硬件部分包括线阵图像传感器、信号采集控制器、数字信号处理器。硬件平台捕获高速运行的美元图像后，由信号处理算法完成美元图像的定位、几何校正、特征提取以及图像分析运算，使用BP神经网络完成图像识别。该系统在实际应用中取得了良好的效果。美元
基于JPF的类数据流测试生成技术 (2007年)
浏览：163
通过设置陷阱性质，用时序逻辑公式表示数据流测试的覆盖准则，将测试生成问题简化成模型检测中寻找反例的问题，自动生成满足数据流覆盖准则的类方法测试调用序列，提出了一种适用于类方法调用序列自动生成的搜索算法，并在程序模型检测器JPF上实现。算法分析和实验结果表明，该算法能生成高效的方法调用序列并明显减少测试生成代价。
JPF(java pathfinder)配置过程
浏览：68
4星 · 用户满意度95%
在eclipse 3.2.2 下 的JPF(java pathfinder)配置过程，附有图形表示。网上这方面东西很少，自己研究出来后拿出来与大家分享。
jpf:文档与 JPF 相关
浏览：84
jpf 文档与 JPF 相关。
安装jpf-core.zip
浏览：38
解决jpf官网需要用户名密码，无法下载的问题。下载此文件，解压，按说明里的步骤在eclipse中 使用。
JPF测试原理以及相关资料
浏览：151
JPF测试原理以及相关资料!!!!喷血之作！！！
jpf-core:JPF是Java字节码的可扩展软件分析框架。 jpf-core是所有JPF项目的基础； 您总是需要安装它。 它包含基本的VM和模型检查基础结构，可用于检查并发缺陷（如死锁）和未处理的异常（如NullPointerExceptions和AssertionErrors）
浏览：65
如果您在安装和运行JPF时遇到问题，请参阅“指南。 我们已经在Wiki上记录了许多常见的问题，这些问题可能在用户报告的安装和构建过程中发生。 如果您遇到任何问题，请确保我们没有在文档中解决。 否则，请随时通过...
jpf-qilura:奇鲁拉
浏览：151
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...
Java PathFinder-jpf-core
浏览：188
4星 · 用户满意度95%
一个基于符号执行的Java执行模型路径查找器
jpf_2.1_full.zip
浏览：81
jpf_2.1_full.zip AJAX开发用到的工具
基于JPF的Java程序验证.pdf
浏览：101
基于JPF的Java程序验证.pdf
压缩文件伪装在图片文件上传 JPF图片伪装工具 [免费版]
浏览：51
4星 · 用户满意度95%
压缩文件伪装在图片文件上传 JPF图片伪装工具 [免费版] 把压缩文件伪装在图片文件中把RAR文件伪装在JPG文件中，打开文件只是显示JPG图片，但把JPG文件扩展名改为RAR，就是一个压缩文件包。实现RAR文件伪装加密在...
jpf-symbc:符号路径查找器
浏览：35
此JPF扩展为Java字节码提供符号执行。 它执行字节码的非标准解释。 它允许对具有基本类型（int，long，double，boolean等）参数的方法执行符号执行。 它还支持符号字符串，数组和用户定义的数据结构。 SPF现在具有...
SiC&GaN供应链副新基建半导体需求（JPF）.rar
浏览：121
SiC&GaN供应链副新基建半导体需求（JPF）.rar
ONJXKZ.rar_jpf_文件操作
浏览：156
客户端的聊天程序,与服务器端的聊天程序相呼应,希望一并下载,
运用类复制变异和JPF技术生成类间测试用例.pdf
浏览：111
采用类复制变异方法,运用模型检测器java PathFinder(JPF)来保证软件执行过程中产生的错误在输出结果中可见,同时将类间测试用例生成问题转化成模型检测中寻找反例的问题,自动生成满足变异覆盖准则的类测试用例,提出一...
symbc_z3_fp_mnwe：使用z3（任何版本）fp（浮点算术验证）的jpf-symbc的最小非工作示例
浏览：117
启动/包含启动配置 JPF项目文件夹应位于../jpf-core、../jpf-symbc hamcrest-core和junit-4.12罐子应该放在lib /
STM32CubeMX安装包(版本:6.9.0) 附带 Java安装包(版本:371) - -2023年7月14日
浏览：116
本资源包含：6.9.0版本的CubeMX安装包 以及 必要的Java环境安装包，具体的安装方法可在我的主页查看CubeMX安装教程篇章。
基于spring boot的小区物业管理系统源码+论文+答辩ppt
浏览：96
3星 · 编辑精心推荐
小区物业管理系统是在Java + MySQL开发环境的基础上开发的。Java是一种服务器端脚本语言，易于学习，实用且面向用户。全球超过35％的Java驱动的互联网站点使用Java。MySQL是一个数据库管理系统，因为它的体积小但速度快，成本低，或者开源受到中小型网站的青睐。因此，Java + MySQL作为一个成熟的开发环境，可以满足小区物业管理系统设计和开发所需的稳定性，安全性和可扩展性要求。系
最新Java JDK 8安装版（Windows 64位）
浏览：26
5星 · 资源好评率100%
资源内容直接来自官网，没有添加任何其它额外内容；旨在便捷地获取最新版的Java API（避免因地域原因被限制访问，因网络原因无法稳定有效下载等情况）
自主研发的软著申请代码文档整理输出工具
浏览：6
5星 · 资源好评率100%
可在软著申请时使用的代码文档整理输出工具，可选择多个特定目录，设置多类型文件，指定选择生成代码文档，可操作性很好，并且在生成word代码文档时，过滤了所有空白行和注释，过滤的注释类型涵盖mysql、java、php、python、js、html、node、vue等所有大类语言。 软件环境：win10、win7、win8、win xp 更新日志： 2022年6月1日：更新了动态进度展示，无响应超时等
Java实现ocr图片识别（PaddleOCR）飞桨
浏览：77
Java实现ocr图片识别（PaddleOCR）飞桨
毕业设计-基于JAVA的springboot超市进销存系统(源代码+论文）
浏览：92
4星 · 用户满意度95%
本超市进销存系统以springboot作为框架，b/s模式以及MySql作为后台运行的数据库，同时使用Tomcat用为系统的服务器。本系统主要包括首页、个人中心、员工管理、客户管理、供应商管理、承运商管理、仓库信息管理、商品类别管理、 商品信息管理、采购信息管理、入库信息管理、出库信息管理、销售订单管理、部门管理、岗位管理等功能，通过这些功能的实现基本能够满足日常超市进销存管理的操作。 通过这个系
Java 面经手册·小傅哥.pdf
浏览：96
5星 · 资源好评率100%
这是一本以面试题为入口讲解 Java 核心内容的技术书籍，书中内容极力的向你证实代码是对数学逻辑的具体实现。当你仔细阅读书籍时，会发现Java中有大量的数学知识，包括：扰动函数、负载因子、拉链寻址、开放寻址、斐波那契（Fibonacci）散列法还有黄金分割点的使用等等。 适合人群 1. 具备一定编程基础，工作1-3年的研发人员 2. 想阅读 Java 核心源码，但总感觉看不懂的 3. 看了太多
java-11 windows-x64 安装包
浏览：166
java-11 windows-x64 安装包 ，免去外网下载慢的问题
2024最强Java面试八股文
浏览：75
5星 · 资源好评率100%
《2024最强Java面试八股文》是一份针对Java面试的全面指南，内容涵盖JVM、MQ、MyBatis、MySQL、Redis、Spring Boot、Spring Cloud以及设计模式等多个方面。这份资料旨在帮助求职者系统地复习和掌握Java及相关技术的核心知识点，从而在面试中取得更好的成绩。 该资源不仅适用于校招，也适用于社招。无论您是一名即将毕业的学生还是已经有一定工作经验的开发者，都
Java面试八股文2023最新版
浏览：27
5星 · 资源好评率100%
工作了一年多想跳槽了，自己整理的Java面试八股文 java面试题 2023最新整理 java八股文 高频面试题 里边包含了很多领域的java se基础、springboot springcloud MyBatis、ZooKeeper、Dubbo、Elasticsearch、Memcached、 Redis、MySQL、Spring、tomcat、Git、 Linux Nginx,以及软实力等
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
adamliu84sdgds
粉丝: 520
资源:
2
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
PTA题库C语言解题策略与实战.rar
SVPWM控制技术的simulink建模与仿真【包括simulink模型，参考文献，操作步骤】
AI高清修复图片画质易语言易语言源码易语言填表
映射窗口.ec易语言易语言模块CPU占用0%游戏监控窗口监控
易语言 361窗口模块高效、便捷、自封装、自用
易语言 窗口排列 模块 ，简单、高效、体积小
main函数的加载过程
动态库加载一张图概括所有
筷手引流工具.apk
Android studio音乐播放器
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
