中文字幕亚洲欧美日韩在线不卡,亚洲欧美日产综合在线网性色,思思久久精品6一本打道,综合视频中文字幕

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

　　jpf是java path finder的簡稱，它是一種java虛擬機，主要用途是在于高效自動化的檢測程序的正確性。在jpf中執(zhí)行的是java程序，它不僅僅是一次執(zhí)行程序，而是多次執(zhí)行程序。它是基于模型檢驗的一種程序檢查方式。

　　jpf程序用來開發(fā)維護低成本可升級可擴展的Java應用程序，它可以動態(tài)發(fā)現(xiàn)并運行插件，從而為項目提供一個標準的插件基礎設施，且可以嵌入到任何類型的Java項目中。