JPF测试原理以及相关资料

【文件属性】：
文件名称：JPF测试原理以及相关资料
文件大小：2.7MB
文件格式：RAR
更新时间：2014-12-27 15:49:21
JPF测试原理以及相关资料 JPF测试原理以及相关资料!!!!喷血之作！！！

【文件预览】：
JPF测试原理以及相关资料
----JPF的项目布局.doc(207KB)
----基于JPF 的类数据流测试生成技术 .pdf(188KB)
----测试的类以及相关的测试报告()
--------关于死锁的测试报告.txt(4KB)
--------Deadlock.java(2KB)
----JPF测试工具说明以及使用方式.doc(197KB)
----JPF插件安装过程.doc(36KB)
----javapathfinder-trunk()
--------README-LIB(390B)
--------bin()
--------RunAnt.class(10KB)
--------build.xml(25KB)
--------README-BUILD-TOOLS(503B)
--------default.properties(9KB)
--------index.html(782B)
--------RunTool.class(4KB)
--------build-tools()
--------.settings()
--------README(4KB)
--------.project(429B)
--------RunJPF.class(5KB)
--------NOSA-1.3-JPF(12KB)
--------nbproject()
--------.classpath(1KB)
--------examples()
--------lib()
--------.myeclipse()
--------jpf.properties(1KB)
--------ide()
--------build()