请选择时期:
怀孕准备 怀孕 分娩 宝宝0-1岁 宝宝1-3岁 宝宝3-6岁

jpf是什么格式 jpf格式

来源: 最后更新:22-04-18 04:04:29

导读:jpf是一个多用途的Java插件框架格式。jpf是java path finder的简称,它是一种java虚拟机,主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序,它不仅仅是一次执行程序,而是多次执行程序。它是基于模型检验的一种程序检查方式。

  jpf是一个多用途的Java插件框架格式。

  jpf是java path finder的简称,它是一种java虚拟机,主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序,它不仅仅是一次执行程序,而是多次执行程序。它是基于模型检验的一种程序检查方式。

  jpf程序用来开发维护低成本可升级可扩展的Java应用程序,它可以动态发现并运行插件,从而为项目提供一个标准的插件基础设施,且可以嵌入到任何类型的Java项目中。

标签: jpf是什么格式  jpf格式  jpf是什么  

免责声明:本文系转载,版权归原作者所有;旨在传递信息,其原创性以及文中陈述文字和内容未经本站证实。

本文地址:http://www.bbbaike.com/qiaomen/youxi/4055.html

声明: 本站文章均来自互联网,不代表本站观点 如有异议 请与本站联系 联系邮箱:kefu#bbbaike.com (请把#替换成@)

关于我们 | 广告服务 | 网站合作 | 免责声明 | 联系我们| 网站地图

© 2022-2024 宝宝百科网 all rights reserved. 沪ICP备2023005727号-4