摘要：
最近看论文的时候，发现和软件分析、测试及模型检验相关的论文，都会引用两个Model Checking工具，分别是：BLAST: http://mtc.epfl.ch/software-tools/blast/index-epfl.php/ SLAM: http://research.microsoft.com/en-us/projects/slam/和这两个工具相关几篇主要论文，引用次数都很多，下面举几个例子：“Software model checking tools, like SLAM [1] and Blast [2], ……”——C. Y. Cho, D. Babi, P. Poos 阅读全文
2012年3月21日
2012年3月19日
摘要：
这段时间安排一个师弟在继续学习SIR数据集的使用和实验方法，这里我先总结点经验。如果要生成某一个数据集的Fault Matrix，（虽然一般在info目录下有已经生成好的Fault Matrix，但按照Java Object Handbook里面的建议，最好自己生成一遍。）需要在页面http://sir.unl.edu/content/tools.php 中下载“javamts”和“Java Tools”两个压缩包，这两个压缩包有生成Fault Matrix及其他功能所需的各种工具。这篇日志仅仅简单总结一下对这些工具怎么样入门操作。“Java Tools”压缩包解压后，比较关键的目录是“gen 阅读全文
2012年3月7日
摘要：
这篇文章挺好玩，本来是讲软件测试的adequacy criteria的：M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, "Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria," in Proceedings of the 16th international conference on Software engineering, Sorrento, Italy, 1994, pp. 191- 阅读全文
2012年3月6日
摘要：
这两天想比较下到底AspectJ和ASM进行instrumentation后的监控结果有什么不同。由于之前使用Kieker的时候，总是监控Web程序（如J2EE或WebLogic），实际上对怎么配置其监控最简单的控制台程序并不是很了解。今天又翻出来Kieker 1.4的userguide学习了一阵。Kieker实际上自带一个非常简单Java控制台程序（Bookstore，这篇日志中主要内容在Kieker userguide的第5.1节），在我之前的一篇日志中，介绍了Kieker的最简单知识，这里就不赘述了。Kieker的“kieker-1.4_binaries.zip”解压后，进入目录“D:\ 阅读全文
2012年1月8日
摘要：
（今天无意中又百度了一下这本书，发现了可以下载的PDF版本，例如：http://ishare.iask.sina.com.cn/f/22963462.html —— 2012年3月19日）这本书是CMU的SEI Series in Software Engineering中的一本，介绍了很多Java方面的编程规范，和SEI在2005年出版的Secure Coding in C and C++类似，不过是针对Java的。这本书的特点是比较新，在Java长期处于编程语言第一位的情况下，这么书似乎出版得有些晚了。目前还找不到可以下载的PDF版本。在Amazon的页面是：http://www.amaz 阅读全文
2012年1月5日
摘要：
昨天到今天看了一下这本书：JUnit in Action(second edition)的第5章，这一章讲了怎么使用Cobertura这个工具对测试时的代码覆盖率进行度量，这里我按照书里的描述，总结一下在Windows Server环境下的最简单方法。首先，在http://cobertura.sourceforge.net/download.html页面中下载Cobertura，可以选择cobertura-1.9.4.1-bin.zip进行下载。另外，下载上面这本书的第5章源代码（我会在博客最后附上）。其次，将待测代码（Calculator.java）和测试用例（TestCalculator. 阅读全文
2012年1月4日
摘要：
12月中旬的时候又按照页面：http://www.sable.mcgill.ca/soot/tutorial/index.html中的教程More on profiling，继续对Soot的Instrumentation功能学习。上面这个文档中已经把基本内容解释得很清楚了，我这里就简单总结一下。首先，假设要分析的字节码文件对应的源代码文件是：TestInvoke.javaclass TestInvoke{ private static int calls=0; public static void main (String[] args){ for (int i=0; i<10; i++ 阅读全文
2011年12月30日
摘要：
今天在一台新的服务器上，用MyEclipse 8.0M1连接Tomcat 7（实在懒得换MyEclipse版本，好不容易找到个可以用的），但是当使用MyEclipse启动Tomcat时，会弹出下面的错误消息，"Could not find the main class: org.apache.catalina.startup.Boostrap. Program will exit."经过搜索以后发现，主要原因可能就是MyEclipse和Tomcat的版本不兼容问题。其实解决方法也很简单，在Tomca 6.x的配置界面中，在"Append to classpath& 阅读全文
摘要：
说明：这个系列的博客，仅供我自己记录日常经验使用，价值不高。今天翻出了自己将近5年前写的代码，简单总结点经验。在配置Servlet的时候，可以写成：<servlet> <servlet-name>result</servlet-name> <servlet-class>result.ImageServlet</servlet-class></servlet><servlet-mapping> <servlet-name>result</servlet-name> <url-patt 阅读全文
2011年12月29日
摘要：
今天开小组会的时候，谈到JPF的扩展和使用，就想总结一下10-11年相关会议上使用JPF的几篇论文，这里简单整理下：1. P. Joshi, M. Naik, K. Sen, and D. Gay, "An effective dynamic analysis for detecting generalized deadlocks," in Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, Santa Fe, Ne 阅读全文
