JPF (Java Plugin Framework) 插件式开发 - 为月沉沦 - ITeye博客

`

Danker.Dai

浏览: 67356 次
性别:
来自: 成都

最近访客更多访客>>

xiaofeng525

YuxLee

JC肥鱼

xiaohuang

博主相关

博客

微博

相册

收藏

留言

关于我

文章分类

社区版块

存档分类

最新评论

lliiqiang： System.setProperty("java.a ...
Java Swing 文本框输入中文弹出输入窗口的解决
u010484673：你好，我按照这段代码运行了，可是在打开的模拟器上查询到的ime ...
自动修改android模拟器的imei的小程序
萧_瑟：你好，请问如何直接修改真机上面的imei呢？String ol ...
自动修改android模拟器的imei的小程序
canca：谢谢啊！！好使！
Java Swing 文本框输入中文弹出输入窗口的解决
彩虹神：很强大的代码
自动修改android模拟器的imei的小程序

JPF (Java Plugin Framework) 插件式开发

Java 嵌入式框架

阅读更多

JPF (Java Plugin Framework) 是一个多用途的插件框架。这个框架用来开发维护成本低可升级的，可扩展的Java应用程序。JPF可以嵌入到任何类型的Java项目中。

分享到：

ubuntu 设置固定IP | 项目管理工具

2010-05-21 13:54
浏览 2801
评论(0)
分类:编程语言
查看更多

评论

发表评论

您还没有登录,请您登录后再发表评论

相关推荐

JPF (Java Plugin Framework)-开源: JPF（Java插件框架）是一个通用插件框架，旨在帮助您以较低的维护成本来构建可扩展，可扩展的Java应用程序。该框架经过专门设计，可以轻松地包含在任何Java项目中。

light-jpf：轻量级Java插件框架: 轻量级Java插件框架1.特点简单的API 使用自定义Java类加载器进行沙箱测试使用Maven构建插件2.用法2.1创建插件创建实现ljpf.Plugin接口的Plugin类。 public class CustomPlugin implements Plugin { @Override public...

Java Pathfinder(JPF)完全安装配置过程(2013年6月): 本文所介绍的Java Pathfinder安装配置过程，主要参考JPF官方网站，并以Windows操作系统、Eclipse开发平台为基础进行配置。如使用Mac OS X等其它操作系统或NetBeans等其它开发平台的用户，安装配置过程有所差异，详细...

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

基于JPF的Java程序验证.pdf: 基于JPF的Java程序验证.pdf

Java PathFinder-jpf-core: 一个基于符号执行的Java执行模型路径查找器

JPF的Eclipse环境安装运行过程: Java Pathfinder的Eclipse环境安装配置过程。如有不懂的地方请发e-mail咨询 nhebek@126.com

阿里巴巴Java开发手册v1.3: 阿里巴巴Java开发手册v1.3阿里巴巴Java开发手册v1.3阿里巴巴Java开发手册v1.3阿里巴巴Java开发手册v1.3阿里巴巴Java开发手册v1.3阿里巴巴Java开发手册v1.3阿里巴巴Java开发手册v1.3

jpf-core:JPF是Java字节码的可扩展软件分析框架。 jpf-core是所有JPF项目的基础；您总是需要安装它。它包含基本的VM和模型检查基础结构，可用于检查并发缺陷（如死锁）和未处理的异常（如NullPointerExceptions和AssertionErrors）: Java Pathfinder（JPF） Java字节码程序的可扩展软件模型检查框架关于JPF的一般信息所有最新的开发，变更和文档都可以在我们的页面上找到。建造和安装如果您在安装和运行JPF时遇到问题，请参阅“指南。我们...

安装jpf-core.zip: 解决jpf官网需要用户名密码，无法下载的问题。下载此文件，解压，按说明里的步骤在eclipse中使用。

JPF测试原理以及相关资料: JPF测试原理以及相关资料!!!!喷血之作！！！

JPF 安装文档: java pathfinder version 4 install

jpf_2.1_full.zip: jpf_2.1_full.zip AJAX开发用到的工具

jpf-qif:Java字节码的符号量化信息流分析: 该项目的目的是使用 JPF 来量化 Java 程序中机密信息的泄漏。纸。 JPF 2012。 Quoc-Sang Phan、Pasquale Malacaria、Oksana Tkachuk 和 Corina S. Pasareanu。安装以下说明适用于不了解 Java Pathfinder 的人。...

jpf-symbc:符号路径查找器: 此JPF扩展为Java字节码提供符号执行。它执行字节码的非标准解释。它允许对具有基本类型（int，long，double，boolean等）参数的方法执行符号执行。它还支持符号字符串，数组和用户定义的数据结构。 SPF现在具有...

jpf-qilura:奇鲁拉: 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...

02.03.jpf: 02.03.jpf

压缩文件伪装在图片文件上传 JPF图片伪装工具 [免费版]: 压缩文件伪装在图片文件上传 JPF图片伪装工具 [免费版] 把压缩文件伪装在图片文件中把RAR文件伪装在JPG文件中，打开文件只是显示JPG图片，但把JPG文件扩展名改为RAR，就是一个压缩文件包。实现RAR文件伪装加密在...

jpf:文档与 JPF 相关: jpf 文档与 JPF 相关。

论文研究-运用抽象技术和JPF生成类测试用例方法.pdf: 提出了在纸币高速运行条件下对纸币图像进行快速可靠的识别和系统实现方法。清分机是一种自动纸币整理机具。纸币图像分析技术是清分机的核心技术。该系统是光机电一体化的设备，其硬件部分包括线阵图像传感器、信号...

Global site tag (gtag.js) - Google Analytics