2.1.2. 未探索的工具
　　写在这里的工具除了soot以外，其他的工具大概不会再去看了。
　　kieker:一个应用程序性能监视和动态软件分析框架
　　DUA-F：是一个基于Soot的Java程序分析和插桩工具，地址:http://www3.nd.edu/~rsanteli/duaf/
　　daikon:程序不变式检测器
　　soot:java编译器框架
　　Eclat:基于daikon的测试用例演化程序
　　tamifex:oolpsa上关于反射的研究
　　crest: c的生成用例生成程序，实现了动态和静态分析
　　jcute：cute的java实现
　　2.2. 文档总结
　　总结软件测试相关文档的初步设想是，将Randoop和Palus相关的资料整理翻译，将代码插桩工具做一下汇总研究，将JPF和JPF-SE的资料汇总，将Directed Random Testing博士论文翻译完成。暂时能想到的这么多，以后想到再加。
　　Randoop的资料主要为：Randoop Manual的翻译，Randoop Developer Manual的翻译，Randoop的项目灵感
　　Palus的资料只有User Manual，和Palus的论文翻译，由于Palus是基于Randoop的，很多都可以参考Randoop。
　　JPF主要是安装和使用，JPF的wiki实在是太长了，完善翻译的代价不菲。
　　Directed Random Testing博士论文实在是太长了，有点不太想翻译，虽然已经翻译了一半。
　　代码插桩工具调研主要涉及:EMMA， Cobetura， Codecover
　　如果都写成博客的话，有些不太方便，先添加一些连接吧。
　　备注：以下是一些扯淡，可以跳过。
　　3. 真情回顾
　　我曾经很崇拜老师，现在依然很敬重他。老师有时在我们面前谈国内的学术研究的怪象，有时喜欢上课时讲冷笑话，偶尔挖苦一下学院里的一些老师，当做事很有条理，对学生很大方，请吃饭，报销书，指导也很用心。总的来说，他教给我很多的东西，比如：教我如何做研究，开阔了我的世界，介绍我看好书。我从他的言行举止中也学到很多，学会了从google和wikipedia中获取信息，学会了word排版，学会了vim和Linux以及其他很多的东西。仔细观察比自己强的人的言行举止，从中汲取养分，带反馈的一步一步践行这些习惯，或许是个不错的学习方法。
　　如果，以我换操作系统为人生的分界点，老师无疑是推动其形成的关键外因。这里，我赋予这个分界点的含义不仅仅是换个软件，而是，突破原有的界限和思维方式，向新的世界迈进的。武侠小说中，高手之间的差异，往往是境界和层次的不同。当然不是给自己带名为”高手“帽子，只是不甘平庸，想要向着高手，向着新世界和伟大航路进发。
　　4. 扯淡
　　在研究JPF时，发现存在两个版本的JPF，一个是在sourceforge上代码库，自2006后不再更新，但用svn签出；一个是NASA软件工程实验室自建的Mercurial版本库服务器上代码库，现在依然在开发更新，并且提供的完整的在线WIkI文档。在JPF之前，我从未认真的浏览英文文档。将文档从wiki上复制到wps的doc文档中，然后花时间认真看。由于是初次接触，花了近一周的时间来看文档以及安装使用。后，发现Java PathFinder（简称JPF）是一个显式的模型检查器，其中用Java实现Java虚拟机（虚拟机上的虚拟机），为了研究虚拟机，特地去图书馆借了《深入Java虚拟机 第二版》（Bill Venners），觉的不错，想买的时候，发现这本书的中文版绝版了，买了一本《深入理解Java虚拟机 第二版》（周志明）代替着看，总觉得深度上不如Bill Venners的书，可能有人说我崇洋媚外，我反而觉得那些打着爱国旗号的心怀鬼胎。国人写的计算机类的书确实不如外国人，国人写书大多粗制滥造，扎堆入门级，要不故做玄虚，看的云里雾里；要不味同嚼蜡，摆着一副爱看不看的样子。当然，也和社会氛围有关，浮躁之风大为流行。当然，这扯的太远的，而且包含着各种个人偏见，别介意，全当听个笑话，虽然不太好笑。


　　后记
　　总体来说，在老师的指导下，大的收获是英语水平提高了（虽然六级依然没过），可以阅读论文和英文文档，对新的东西学习速度加快了。
　　原本想好好写总结的，结果写着写着变味了，内容上还有些凌乱。不管怎么说，将软件测试总结过后可以学习Ruby on Rails了，终于要离开软件测试研究了，想想未来，还是挺美好的。