jpf是什么格式 jpf是哪种合适

12-03 电脑数码 投稿:清风饮露
jpf是什么格式 jpf是哪种合适
导读:1、jpf是一个多用途的Java插件框架格式。2、jpf是javapathfinder的简称,它是一种java虚拟机,主要用途是在于高效自动化的检测程序的正

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

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

声明:伯乐人生活网所有作品(图文、音视频)均由用户自行上传分享,仅供网友学习交流。若您的权利被侵害,请联系ttnweb@126.com