[Java Path Finder][JPF学习笔记][7]JPF输出详细程度设置
来源:互联网 发布:双端面磨床 知乎 编辑:程序博客网 时间:2024/05/17 08:36
这篇日志是补充一下看到的一点点经验。
这个页面:http://babelfish.arc.nasa.gov/trac/jpf/wiki/user/output 中介绍到,jpf的一次运行主要可以生成三类输出:
1. application output
2. JPF logging
3. JPF reporting system
其实上面的页面对这三种输出已经讲解得很详细了,但是没有介绍前两种输出在哪里配置。
实际上就是在%JPF_HOME%\jpf-core\jpf.properties,打开这个文件,我们可以发现从0-5共6类设置。其中vm.tree_output的设置是在第2部分,log.level的设置是在第3部分。
但是我还没有找到哪里有文档完整介绍一下JPF reporting system的配置,只知道按照JPF自己给出的例子,可以在.jpf文件中设置诸如:
report.console.property_violation=error,trace,snapshot,output,statistics
的语句,而且上面这个页面中说的:
"There is no standard transition topic yet (but it could be implemented in PublisherExtensions). ",也不太清楚具体是什么意思,哪位大侠能指点一二?
- [Java Path Finder][JPF学习笔记][7]JPF输出详细程度设置
- [Java Path Finder][JPF学习笔记][3]使用jpf-shell
- [Java Path Finder][JPF学习笔记][6]jpf-symbc的初步使用
- [Java Path Finder][JPF学习笔记][8]几篇使用JPF的论文
- [Java Path Finder][JPF学习笔记][4]将JPF源码导入Eclipse
- [Java Path Finder][JPF学习笔记][1]在Windows Server上安装JPF
- [Java Path Finder][JPF学习笔记][2]在Windows Server上安装JPF
- [Java Path Finder][JPF学习笔记][4]将JPF源码导入Eclipse
- [Java Path Finder][JPF学习笔记][5]编译jpf-symbc报错的解决方法
- Java Plugin Framework (JPF) java插件框架学习
- JPF 简介
- java 插件程序开发框架-jpf
- JPF Configuration Parameters
- Java PathFinder (JPF) 在Eclipse和NetBeans中的配置方法(综合网上资料)
- JSF, JPF, Struts, SDO(转载的)
- Bea Weblogic Workshop8.1 JPF开发经验总结
- JSF,JPF,Struts,SDO小探
- 8dVASair max運動鞋台灣哪裡找 2JPf KzI
- Android应用程序消息处理机制(Looper、Handler)分析
- python装饰器学习总结
- C语言程序>>LCD1602
- Lenix固定长度内存分配源代码分析(草稿)
- 链表 链栈 链队列的建立
- [Java Path Finder][JPF学习笔记][7]JPF输出详细程度设置
- C语言程序>>IIC
- HDU菜鸟杯大赛第五题 KFC -Z+W
- blackjack权威教程
- struts2.0和struts2.1区别
- XML解析
- C语言程序>>DS1302
- 各种一句话经典
- PeopleTools Reference: Common Meta-SQL