单元测试工具junitcodecovercfggenerator-南京大学软件学院.pdfVIP

Junit, CodeCover CFG 刘子聪 南京大学软件学院 内容 • 单元测试Junit • 静态控制流图模型CFG Generator • 覆盖率报告CodeCover • 作业说明 JUnit • JUnit测试是程序员测试，即所谓白盒测试 • 继承TestCase类即可利用JUnit测试 JUnit • 需要知道程序结构以及逻辑 • 设计不同的测试输入以及输出预言 • 尽可能覆盖多的语句以及分支 Junit 安装及配置 • 要安装和使用JUnit是很容易的，只需三个 步骤： – （1）下载JUnit软件； – （2 ）将JUnit包解开，放到文件系统中； – （3 ）运行JUnit测试时，将JUnit 中的所有*.jar文 件放到类路径里。 Junit 安装及配置 • /projects/junit/?source =navbar • （重定向到Github ） Assert 断言 断言是单元测试最基本的组成部分。Junit程 序库提供了如下不同形式的多种断言。 1. assertEquals ([String message],expected,actual);- 是否相等 2. Excpected-是你期望得到的值;actual-是被测试代码实 际产生的值; 3. assertNull ([String message],Object object);-是否 为空 Assert 断言 4. assertNotNull ([String message],Object object);-是否不为空 5. assertTrue ([String message],boolean condition);-是否为真 6. Fail(String message); 此断言会使测试立即失效，其中message参数是可选的。 这种断言通常用于标记某个不应该到达的分支。（例如： 在一个预期异常发生的时侯） Assert断言 • 当一个断言失败了，加上一个简短的消息 来通知这个失败的一些属性甚至是失败的 原因，可能会带来比较好的效果。 • JUnit框架里，一个断言的方法的第一个参 数作为可选项，接受一个“String”类型的参 数，包含一些消息，在断言失败的时候显 示出来。对于assertTrue( )有2种形式： static public void assertTrue(boolean condition) static public void assertTrue(String message, boolean condition) 对于异常的处理 • 对于测试而言，下面两种异常是我们可能会感兴趣的： – 从测试代码抛出的可预测异常 – 由于某个模块发生严重错误，而抛出的不可预测异常 • 对于Junit而言异常彻头彻尾是一个好东西-它能明确告诉 我们什么地方出错了。例如：有一个名为sortMyList()的方 法，如果传入的参数是一个null list，那么我们希望方法能 抛出一个异常。在Junit 中我们可以显式地针对这一点进行 测试。 对于异常的处理 Public class TestException extends TestCase{ Public void testForException(){