摘要: PICT工具就是在微软公司出品一款成对组合的命令行生成工具,现在已经对外提供,可以在互联网上下载到( 例如: http://vdisk.weibo.com/s/d6k2tcgXDa7Eq)。PICT 可以有效地按照两两测试的原理,进行测试用例设计。在使用PICT时,需要输入与测试用例相关的所有参数,... 阅读全文
posted @ 2015-06-04 13:25 Love& 阅读(7957) 评论(0) 推荐(1) 编辑
摘要: JUnit是一个Java语言的单元测试框架。它由Kent Beck和Erich Gamma建立,逐渐成为源于Kent Beck的sUnit的xUnit家族中最为成功的一个。 JUnit有它自己的JUnit扩展生态圈。多数Java的开发环境都已经集成了JUnit作为单元测试的工具。JUnit是由 Er... 阅读全文
posted @ 2015-05-22 12:07 Love& 阅读(1579) 评论(0) 推荐(0) 编辑
摘要: SourceMonitor是一款免费的软件,运行在Windows平台下。它可对多种语言写就的代码进行度量,包括C、C++、C#、Java、VB、Delphi和HTML,并且针对不同的语言,输出不同的代码度量值。像其他代码度量工具一样,SourceMonitor只关注代码,并为编码人员提供及时的反馈,... 阅读全文
posted @ 2015-05-21 22:11 Love& 阅读(12604) 评论(0) 推荐(2) 编辑
摘要: FindBugs是一个静态分析工具,它检查类或者JAR文件,将字节码与一组缺陷模式进行对比以发现可能的问题。有了静态分析工具,就可以在不实际运行程序的情况对软件进行分析。不是通过分析类文件的形式或结构来确定程序的意图,而是通常使用Visitor模式。在FindBugs的GUI中,需要先选择待扫描的.... 阅读全文
posted @ 2015-05-21 21:22 Love& 阅读(998) 评论(0) 推荐(0) 编辑
摘要: PMD是一种开源分析Java代码错误的工具。与其他分析工具不同的是,PMD通过静态分析获知代码错误。也就是说,在不运行Java程序的情况下报告错误。PMD附带了许多可以直接使用的规则,利用这些规则可以找出Java源程序的许多问题。此外,用户还可以自己定义规则,检查Java代码是否符合某些特定的编码规... 阅读全文
posted @ 2015-05-21 20:37 Love& 阅读(9429) 评论(0) 推荐(0) 编辑
摘要: CheckStyle是SourceForge下的一个项目,提供了一个帮助JAVA开发人员遵守某些编码规范的工具。它能够自动化代码规范检查过程,从而使得开发人员从这项重要,但是枯燥的任务中解脱出来。CheckStyle检验的主要内容包括:Javadoc注释、命名约定、标题、Import语句、体积大小、... 阅读全文
posted @ 2015-05-21 20:18 Love& 阅读(12404) 评论(0) 推荐(0) 编辑
摘要: Varvaressos S, Lavoie K, Massé A B, et al. Automated bug finding in video games: A case study for runtime monitoring[C]//Software Testing, Verificatio... 阅读全文
posted @ 2015-05-14 21:18 Love& 阅读(206) 评论(0) 推荐(0) 编辑
摘要: https://github.com/playboyxuehanyu这是我的GitHub地址,虽然现在里面公开的内容什么都没有,但是以后会有一些有用和有趣的东西在里面,希望大家互相交流~ 阅读全文
posted @ 2015-05-14 20:55 Love& 阅读(118) 评论(0) 推荐(0) 编辑