JPF测试原理以及相关资料

时间:2014-12-27 15:49:21
【文件属性】:

文件名称: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()

网友评论