上课时,老师最常说的一句话就是“测试优于编程”,体现了测试的重要性接下来让我们了解一下测试以及它的重要性吧。

一、何为测试

在我看来测试就是寻找我们编写的程序中寻找bug的一种尝试。毕竟没有人可以写出十分完美的程序,不过怎样程序的本身都会有bug,所以这需要我们不断地进行调试:

首先是进行形式推理,看看自己的思想是否有误,要保证逻辑的正确才可以保证后面代码的正确性,形式推理目前还缺乏自动化的工具,通常需要漫长的手工计算。即使是这样,一些关键性的小程序也是需要被证明的,例如操作系统的调度程序、虚拟机里的字节码解释器,或者是 文件系统.

其次就是代码的审查,自己写的代码可以自己首先寻找一下是否有误,如果找不出来,可以让别人帮着看一下是否有逻辑上或者语法上的错误,这需要我们在编写程序时对主要代码进行详细的注释。当然在目前编写代码的程序可以自动的识别出一些简单的输入错误或者类型错误并给出解决方案,但是有一些错误还是要我们自己寻找出来进行修改的。

最后就到了测试:即选择合适的输入输出用例,通过运行程序检查程序的问题。即使是最优的验证,程序也不可能达到十全十美,这里列出了一般情况下程序的剩余缺陷率residual defect rates(软件发行时存在的bug比率) ,这里的单位是每 kloc (每一千行代码):

  • 1 - 10 defects/kloc: 常见的工业级软件。
  • 0.1 - 1 defects/kloc: 高质量验证后的软件。例如Java的官方库可能就是这个级别。
  • 0.01 - 0.1 defects/kloc: 最高级别、军工/安全关键软件。例如NASA或者像Praxis这样的公司

这看起来让人沮丧,想一想,如果你写了100万行的大型程序,那你很可能没检查出1000个bug!

二、测试

1.测试是非常的困难的,因为对一个大型的程序或者系统来说,我们难以把每种情况都列举出来,有时候也是没有必要的。对于测试一般要满足一下几个要求:

correctness 是否满足需求spec
correctness,robustness 是否正确的响应所有可能的需求
correctness 性能是否可接受
correctness, robustness 是否可用
correctness 可否正确的安装部署和运行
correctness 达到期望

2.测试的目标是:1.找出程序中的错误;2.优化程序,使程序既不简单也不复杂;3.具有最佳特性

3.测试的层次(根据老师上课讲的)
单元测试:测试,验证一个特定的代码段的功能,通常在函数水平
集成测试:由多个程序员或编程团队创建的两个或两个以上的类,包,组件,系统的联合执行。
系统测试:测试一个完全集成的系统,验证系统满足其要求,在最终的配置上执行软件。

4.测试的分类
静态测试:在不实际执行程序的情况下执行的,通常是隐式的,比如校对,当编程工具/文本编辑器检查源代码结构时,检查语法和数据流作为静态程序分析。

动态测试:描述的是对代码动态行为的测试,实际上实在给定的测试集上运行程序

白盒测试:对程序内部代码结构的测试

黑盒测试:对程序外部表现出来的行为的测试

回归测试:指修改了旧代码后,重新进行测试以确认修改没有引入新的错误或导致其他代码产生错误

验收测试:是部署软件之前的最后一个测试操作。在软件产品完成了单元测试、集成测试和系统测试之后,产品发布之前所进行的软件测试活动。

5.测试的等价类
基于等价类划分的测试:将被测函数的输入域划分为等价类, 从等价类中导出测试用例
针对每个输 入数据需要满足的约束条件,划分等价类
每个等价类代表着对输入约束加以满足/违反的有效 /无效数据的集合 。
而相似的输入,将会展示相似的行为。
故可从每个等价类中选一个代表作为 测试用例即可

可以按照下面的准则划分:

输入数据限定了数值范围
输入数据指明了特定的值
输入数据确定了一组数
输入数据是Y/N

三、测试举例

测试需要一个良好的心态:当你在写一个程序的时候,你的心态一定是让这个程序正常运行,但是作为一个测试者,你应该想方设法让程序崩溃。我们要区分好自己使编写者还是测试者的身份。

测试开始应该尽量早,并且要频繁地测试。而不是一开始不测试,等到最后把程序写完才开始测试,把测试工作留到最后只会让调试的时间更久并且调试过程更加痛苦,因为你的代码将会充斥着bug。反之,如果你在编码的过程中就进行测试,情况就会好的多。所以,我们要养成随写随测,随写随debug的良好习惯。

1.设计测试的准则:

代表性:测试案例可以代表和涵盖各种合理的、不合理的、合法的、非法的、边界和跨国界的、极端的输入数据、操作和环境设置等

决定性:测试结果的正确性是确定的,每个测试用例应该有相应的预期结果。
可重复性:对于相同的测试用例,系统实现的结果应该是相同的。

2.在测试优先编程中,测试程序先于代码完成。编写一个函数应该按如下步骤进行:

  1. 为函数写一个规格说明。
  2. 为上一步的规格说明写一些测试用例。
  3. 编写实际代码。一旦你的代码通过了所有你写的测试用例,这个函数就算完成了。

规格说明描述了这个函数的输入输出行为。它确定了函数参数的类型和对它们的所有约束(例如exp函数的参数必须是大于0的)。它还定义了函数的返回值类型以及返回值和输入之间的关系。在代码中,规格说明包括了函数签名和一些描述函数功能的注释。

先完成测试用例的编写能够让你更好地理解规格说明。规格说明也可能存在问题——不正确、不完整、模棱两可、缺失边界情况。先尝试编写测试用例,可以在你浪费时间实现一个有问题的规格说明之前发现这些问题。

例1.BigInteger.multiply

函数的功能:BigInteger  X  BigInteger -->  BigInteger

函数输入: 二维空间中的一个点

等价类划分:

考虑输入数据的正负:
两个都是正数,两个都是负数,一个正数一个负数
考虑输入数据的特殊情况:

0, 1, -1

考虑输入的上下限

作为一个合格的测试员,我们还要想一想BigInteger的乘法可能是怎么运算的:它可能在输入数据绝对值较小时使用 int 或 long ,这样运算起来快一些,只有当数据很大时才会使用更费劲的存储方法(例如列表)。所以我们也应该将对数据的大小进行分区:

  • a或b较小
  • a或b的绝对值大于Long.MAX_VALUE ,即Java原始整型的最大值,大约是2^63。

最终结果

3.两个覆盖划分的方法

全覆盖:在多个划分维度上的多个取值,要组合起来,每个组合都要有一个用例。测试完备,但测试用例多,测试代价高

部分覆盖:每个维度的每个取值至少被一个测试用例覆盖一次即可,测试用例少,代价地,但测试覆盖度未必高

四、JUnit的使用

JUnit是一个Java语言的单元测试框架。JUnit是由 Erich Gamma 和 Kent Beck 编写的一个回归测试框架(regression testing framework)。Junit测试是程序员测试,即所谓白盒测试,因为程序员知道被测试的软件如何(How)完成功能和完成什么样(What)的功能。Junit是一套框架,继承TestCase类,就可以用Junit进行自动测试了。

最简单的范例如下:

1、创建一个TestCase的子类

package junitfaq;

import java.util.*;

import junit.framework.*;

public class SimpleTest extends TestCase {

public SimpleTest(String name) {

super(name);

}

2、写一个测试方法断言期望的结果

public void testEmptyCollection() {

Collection collection = new ArrayList();

assertTrue(collection.isEmpty());

}

注意:JUnit推荐的做法是以test作为待测试的方法的开头,这样这些方法可以被自动找到并被测试。

3、写一个suite()方法,它会使用反射动态的创建一个包含所有的testXxxx方法的测试套件

public static Test suite() {

return new TestSuite(SimpleTest.class);

}

4、写一个main()方法以文本运行器的方式方便的运行测试

public static void main(String args[]) {

junit.textui.TestRunner.run(suite());

}

}

5、运行测试

以文本方式运行:

java junitfaq.SimpleTest

通过的测试结果是:

.

Time: 0

OK (1 tests)

Time上的小点表示测试个数,如果测试通过则显示OK。否则在小点的后边标上F,表示该测试失败。

每次的测试结果都应该是OK的,这样才能说明测试是成功的,如果不成功就要马上根据提示信息进行修正了。

如果JUnit报告了测试没有成功,它会区分失败(failures)和错误(errors)。失败是你的代码中的assert方法失败引起的;而错误则是代码异常引起的,例如ArrayIndexOutOfBoundsException。

以图形方式运行:

java junit.swingui.TestRunner junitfaq.SimpleTest

通过的测试结果在图形界面的绿色条部分。

以上是最简单的测试样例,在实际的测试中我们测试某个类的功能是常常需要执行一些共同的操作,完成以后需要销毁所占用的资源(例如网络连接、数据库连接,关闭打开的文件等),TestCase类给我们提供了setUp方法和tearDown方法,setUp方法的内容在测试你编写的TestCase子类的每个testXxxx方法之前都会运行,而tearDown方法的内容在每个testXxxx方法结束以后都会执行。这个既共享了初始化代码,又消除了各个测试代码之间可能产生的相互影响。

我们常用的注解:

1.@Before 注解:与junit3.x中的setUp()方法功能一样,在每个测试方法之前执行;

2.@After 注解:与junit3.x中的tearDown()方法功能一样,在每个测试方法之后执行;

3.@BeforeClass 注解:在所有方法执行之前执行;

4.@AfterClass 注解:在所有方法执行之后执行;

5.@Test(timeout = xxx) 注解:设置当前测试方法在一定时间内运行完,否则返回错误;

6.@Test(expected = Exception.class) 注解:设置被测试的方法是否有异常抛出。抛出异常类型为:Exception.class;

7.@Ignore 注解:注释掉一个测试方法或一个类,被注释的方法或类,不会被执行。

五、总结

在上面的叙述中,我们主要讲述了:

测试优先编程——在写代码前先写好测试用例,尽早发现bug。

利用分区与分区边界来选择测试用例。

JUnit的使用

好软件具备的三个属性:

远离bug 测试的意义在于发现程序中的bug,而“测试优先编程”的价值在于尽可能早的发现这些bug。

易读性 额.......测试并不会使代码审查变得容易,但是我们也要注意正确书写测试注释。

可改动性 我们针对改动后的程序进行测试时只需要依赖规格说明中的行为描述。另外,当我们完成修改后,自动化回归测试能够帮助我们杜绝新的bug产生。

关于软件构造测试的个人理解相关推荐

  1. HIT 软件构造 过程、系统、工具

    软件构造的一般流程 编码,重构,调试,测试,性能分析,代码评审,构建,发布 coding 从用途上划分:编程语言.建模语言.配置语言.构建语言 从形态上划分:基于语言学的构建语言.基于数学的形式化构造 ...

  2. 【软件构造】第二章 软件构建的过程和工具(2)

    二.软件构造的编程.系统.工具 [广义软件构造的过程] 1. 编程 (1)开发语言:Java.C.C++.Python等 ·IDE:集成开发环境 - 方便编写代码和管理文件 - 能够编译.构建 - 结 ...

  3. 软件构造-犯错的艺术——健壮性与正确性,异常,防御式编程,debugging与test的思考与总结...

    健壮性与正确性 健壮性与正确性是不同的--一个倾向于使程序尽可能保持运行,即使遇到错误,一个倾向于使程序尽可能正确,不在意保持运行 异常 异常分为两种--checked exception与unche ...

  4. HIT-2022年春季学期《软件构造》Lab 1实验心得

    目录 2022年春季学期计算学部<软件构造> 课程Lab 1实验心得 1.实验目标概述 2.实验环境配置 3.实验过程 3.1 Magic Squares ​​​​​​​3.2 Turtl ...

  5. 软件构造实验一问题解决方法及经验教训

    软件构造实验一问题解决方法及经验教训 一:实验目标概述 1.本次实验通过求解三个问题,训练基本 Java 编程技能,能够利用 Java OO 开发基本的功能模块,能够阅读理解已有代码框架并根据功能需求 ...

  6. HIT2020春软件构造lab1

    HIT 2020年春季学期 计算机学院<软件构造>课程 **Lab 1实验报告 目录 1 实验目标概述 2 实验环境配置 3 实验过程 3.1 Magic Squares 3.1.1 is ...

  7. 软件构造-Reading 1:静态检查

    大纲: 阅读1:静态检查 目标: 冰雹序列 计算冰雹序列 类型 静态类型 静态检查.动态检查.无检查 惊喜:原始类型并不是真正的数字! 阅读练习 数组和集合 迭代 方法 变化的值与重新分配变量 记录假 ...

  8. HIT 软件构造 lab3实验报告

    2020年春季学期 计算机学院<软件构造>课程 Lab 3实验报告 姓名 赵旭东 学号 1180300223 班号 1803002 电子邮件 1264887178@qq.com 手机号码 ...

  9. 哈工大2021春软件构造实验总结

    哈工大2021春软件构造实验总结 文章目录 一.实验一 1. 实验概述 1.1 Magic Squares 1.2 Turtle Graphics 1.3 Social Network 2. 实验感受 ...

最新文章

  1. html点击旋转180,关于点击三角丝滑旋转180度css3 jq处理方法
  2. (转)虚函数和纯虚函数区别
  3. java文件 linux_Linux执行Java文件
  4. LeetCode 646. Maximum Length of Pair Chain
  5. Http请求中Content-Type
  6. Build path entry is missing: /src/test/java missing 报错问题解决
  7. AVCaptureDevice 属性介绍
  8. 符号_液压图形符号识别之减压阀符号原理
  9. 计算机word图标不显示,Win7系统中Word文档图标无法正常显示怎么办?
  10. 计算机录制视频的方法,怎么录制电脑屏幕视频步骤(电脑录屏的方法有4种)...
  11. 如何将计算机恢复到桌面快捷方式,怎样还原电脑系统默认的Windows快捷方式及其图标呀?...
  12. 2021年美容师(初级)免费试题及美容师(初级)考试试卷
  13. 2020牛客暑期多校训练营(第九场)F.Groundhog Looking Dowdy
  14. 修改win服务器防火墙端口号,Windows Server 修改防火墙和远程桌面(3389)默认端口...
  15. 1bit与2bit字符——简单模拟题
  16. 领存发布Z3系列2.5寸SATA一键自毁固态硬盘
  17. python双柱状图与双折线图_双坐标实现图标中同时存在柱状图和折线图
  18. Illegal mix of collations (utf8mb4_unicode_ci,IMPLICIT) and (utf8mb4_0900_ai_ci,IMPLICIT) for operat
  19. jenkins配置自动部署java程序
  20. UVA 11205 - The broken pedometer

热门文章

  1. 随机函数的生成 竞猜数字游戏
  2. [赛后总结]G2022 Regular Contest 13总结
  3. 2021年全球医疗机器人市场规模达207亿美元,中国仅占5%(附36家中国企业名单)...
  4. C语言课设学生考勤系统(大作业)
  5. 石油测井专题(七)石油测井技术
  6. 利用鹰眼快搜打造个人知识库
  7. 【设计模式_青春版】创建型|原型模式
  8. c++之继承【把控细节】
  9. Mac配置Iterm2+oh-my-zsh+powerlevel10k打造炫酷终端
  10. 天生双子星——Map集合