junit4.11 怎么使用@test_百度知道

Junit4支持注解了,只要在要执行的方法前加@Test即可,如:@Test public void multiplyPoundsByInteger() { assertEquals( 10, 5 ); }Junit4增加了许多特性,主要是支持注解了:测试由原来的命名模式改变注解,即testXXX变为@Test。其中@Test还提供了额外的属性。如expected,表示期望抛出的异常 数组比较改用Assert.assertArrayEquals套件测试也用注解替换通过@Ignore,可以忽略某个方法或整个类的测试 增加了新特性-理论机制(Theory),这个特性听起来很迷惑人,作用是使得开发人员从开始的定义测试用例的阶段就可以通过参数集(理论上是无限个参数)对代码行为进行概括性的总结.开发人员都知道他们代码所想要实现的概括性的总的目的,理论使得他们只需要在一个地方就可以快速的指定这些目的,而不要将这些目的翻译成大量的独立的测试用例。 提供了新的特性-假设机制(Assumption).此特性使用了Hamcrest库的类.本来Hamcrest是一个单独的测试组件,Junit也集成了一

来源: junit4.11 怎么使用@test_百度知道

eclipse下生成Java类图和时序图,生成UML图 - u012714280的博客 - CSDN博客

最近老板让我做类图和时序图,提苦恼的,完全不会,就从网上整理了些1.安装和使用AmaterasUML安装AmaterasUML前,需要先安装GEF采用eclipse在线安装方式安装就好。eclipse在线安装GEF的地址:http://download.eclipse.org/tools/gef/updates/releases/安装好GEF后,安装AmaterasUML先

来源: eclipse下生成Java类图和时序图,生成UML图 - u012714280的博客 - CSDN博客

关于软件测试用例生成技术相关研究总结 - xiajian2010的专栏 - CSDN博客

软件测试相关

关于软件测试用例生成的研究,2013年2月的一篇综述:An orchestrated survey of methodologies for automated software test case generation 中介绍的相当不错,其中介绍了四种主流关于测试用例生成技术的综述:符号执行(symbolic execution),基于模型的测试(Model-based Test),组合测试,随机测试中的自适应随机测试和基于搜索的测试。当然还有其他的一些技术没有介绍,但也很有名,比如变异测试,模糊测试,混合技术测试之流的。
在这些测试其中,文献调研过自适应随机测试,花了一周看论文感觉尽是在说理论,没找到什么实际的应用的例子,或者说我没能明白关于输入空间的含义;研究符号执行了一段时间,主要是JPF及其扩展JPF-SE;对一些随机测试和系统测试混合技术也做了一些研究,这主要涉及Randoop,Palus,RecGen。我是在一个大学生创新项目下做关于这些研究,并将这些写成了一个技术报告,交到学院里估计也不会有人看,地址:http://pan.baidu.com/s/1eQtGJ66 (备注,好像泄露的我的真实姓名了,没错,我就是叫夏健--一个不太好听的名字)

2.1. 相关的工具

2.1.1. 探索过的工具

  • artgen:一个基于Randoop的测试用例生成工具
  • recgen:一个基于Randoop的测试用例生成工具
  • palus:一个基于Randoop的并组合动态和静态分析测试用例生成工具
  • Randoop:基于随机测试的序列生成的测试生成工具
  • jcrasher:基于随机测试的序列生成的测试生成工具
  • jpf:javapathfinder,显式模型检查工具,与软件测试用例生成相关的是它的一个扩展,jpf-se
  • mujava:jeff offut开发的变异测试工具
  • emma,codecover,cobertura都是代码插桩工具
  • findbugs,checkstyle,pmd都是代码静态检查工具。

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
如果都写成博客的话,有些不太方便,就先添加一些连接吧。
备注:以下是一些扯淡,可以跳过。

来源: 关于软件测试用例生成技术相关研究总结 - xiajian2010的专栏 - CSDN博客