软件构造 第七章第五节 测试

Posted masteryellow

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了软件构造 第七章第五节 测试相关的知识,希望对你有一定的参考价值。

第七章第五节 测试

认可"测试"的价值,搞清楚"测试优先"的哲理

程序正确确认的基本方法:

  • 形式化推理
  • 代码评审
  • 测试

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

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

 

基本过程:

先写spec

再写符合spec的测试用例

写代码、执行测试、有问题再改、再执行测试用例,直到通过它

 

技术分享图片

 

黑盒测试:

划分等价类,注意边界条件

Eg:

技术分享图片

 

 

 

  • 在测试类的顶端写策略

 

技术分享图片

 

  • 在每个测试方法前说明测试用例是如何选择的

技术分享图片

(这部分摘自博客https://www.cnblogs.com/zhangyushuqing/p/9175278.html

 

 

回归测试:一旦程序被修改,重新执行之前的所有测试

一旦发现bug,要马上写一个可重现该bug的测试用例,并将其加入测试库

以上是关于软件构造 第七章第五节 测试的主要内容,如果未能解决你的问题,请参考以下文章

面向对象软件构造 (Bertrand Meyer 著)

软件构造第七章第一节 健壮性和正确性的区别

哈工大 软件构造课程 复习考点总结(第七章)

软件构造第七章第三节 断言和防御性编程

实现和测试-第五节:确认测试

软件构造 第七章第四节 调试