• 因果图是一种形式语言,用自然语言描述的规格说明可以转化为因果图。因果图实际上是一种数字逻辑电路(一个组合的逻辑网络),但没有使用标准的电子学符号,而是使用了稍微简单点的符号,它有助于用一个系统的方法选择出高效的测试用例集,它还有一个额外的好处就是可以指出规格说明的不完整和不明确之处。
  • 生成测试用例采用的过程:
  1. 将规格说明分解为可执行的片段。这是必须的步骤,因为因果图不善于处理较大的规格说明。
  2. 确定规格说明中的因果关系。所谓因是指一个明确的输入条件或输入条件的等价类,所谓果是指一个输出条件或系统转换(输入对程序或系统状态的延续影响)。通过逐字逐句地阅读规格说明,同时标识出描述“因”和“果”的文字或句子,就可以将“因”和“果”确定出来。因果关系一旦确定下来,每个“因”和“果”都被赋予一个唯一的编号。
  3. 分析规格说明的语义内容,将其转换为连接因果关系的布尔图,这就是所谓的因果图。
  4. 给图加上注解符号,说明由于语法或环境的限制而不能炼器起来的“因”和“果”。
  5. 通过仔细地跟踪图中的状态变化情况,将因果图转换为一个有限项的判定表。表中的每一列代表一个测试用例。
  6. 将判定表中的列转换为测试用例。

软件测试的艺术:因果图相关推荐

  1. 软件测试的艺术 读书笔记完整版

    第 1 章 一次自评价测试 定义: 所谓软件测试,就是一个过程或一系列过程,用来确认计算机代码完成了其应该完成的功能,不执行其不该有的操作. 一个三角形类别判定程序的测试用例的评判(评判测试用例的设计 ...

  2. 《软件测试的艺术》高清脑图总结

    各位朋友,大家好,我是财哥. 今天财哥为大家带来一本软件测试的经典书籍分享:<软件测试的艺术>,这本书堪称软件测试书籍中的圣经,该书首次印刷于1979年,距今一共发行过三版:第一版,第二版 ...

  3. 《软件测试的艺术》第四章 测试用例的设计

    <软件测试的艺术>第四章 测试用例的设计 4.0 前言 4.1 白盒测试 逻辑覆盖测试 语句覆盖 判定覆盖/分支覆盖 条件覆盖 判定/条件覆盖 多重条件覆盖 4.2 黑盒测试 4.2.1 ...

  4. 软件测试的艺术_全书读书笔记

    --写在前面,本文是对<软件测试的艺术(第3版)>的观后总结,记录方便日后查阅复习.本文中的一些图片都是引用自<软件测试的艺术(第3版)>. 相对于别的书来说,这本书的可读性非 ...

  5. 《软件测试的艺术》第六章 更高级别的测试

    <软件测试的艺术>第六章 更高级别的测试 6.0 前言 软件开发过程模型 6.1 功能测试 6.2 系统测试 6.2.1 能力测试 6.2.2 容量测试 6.2.3 强度测试 6.2.4 ...

  6. 《软件测试的艺术》读书笔记 - 1

    <软件测试的艺术(原书第三版)> 本书从第1版付梓到现在已经30余年,是软件测试领域的经典著作.本书结构清晰.讲解生动活泼,简明扼要地展示了久经考验的软件测试方法和智慧. 作 者:(美)梅 ...

  7. 精读-软件测试的艺术之代码检查,走查与评审

    本文是关于精读书籍<软件测试的艺术>的一些学习笔记和分享 本书共有九章包括测试思想(心理,经济),代码检查,测试用例设计,模块测试,更高级别的测试,调试,极限测试和因特尔应用系统的测试. ...

  8. 精读-软件测试的艺术之调试,极限测试和因特尔应用系统的测试

    本文是关于精读书籍<软件测试的艺术>的一些学习笔记和分享 本书共有九章包括测试思想(心理,经济),代码检查,测试用例设计,模块测试,更高级别的测试,调试,极限测试和因特尔应用系统的测试. ...

  9. 测试小故事26:软件测试的艺术

    艺术,什么是艺术?当无法用准确的语言描述所看到的.听到的.感受到的,也许我们会用"很艺术"来形容. <软件测试的艺术>, The Art of Software Tes ...

  10. 《软件测试的艺术》第3章:代码检查、走查与评审

    <软件测试的艺术>: 软件开发人员通常不会考虑到的一种测试形式:人工测试.大多数人认为,因为程序是为了供机器执行而编写的,那么也应由机器来对程序进行测试.这种想法是有问题的.人工测试方法在 ...

最新文章

  1. 静态方法多次调用内存_java虚拟机的内存分析
  2. 2019年终总结之SAP项目实践篇
  3. 七日存留查询(MYSQL)
  4. 安装iis,php,mysql总结
  5. Node.js--Stream
  6. mysql varchar最多可以存多少汉字_MySQL定义char和varchar类型utf8编码最大值
  7. JAVA 查找某个目录是否存在,如果存在,打印出来
  8. KInect检测到第一个人进入,然后锁定
  9. Maven打包时报Failed to execute goal org.apache.maven.plugins:maven-war-plugin:2.2:war解决方案
  10. select下拉列表
  11. android截屏与截长图截屏功能的实现
  12. 一文搞懂MEMS传感器产业链(最全解析!)
  13. oracle detele,Oracle中,一个Delete操作的流程
  14. 米什金货币金融学第十一版笔记和课后答案
  15. html背景图片可以设置边框吗,css边框图片怎么设置?
  16. dns配置异常怎么修复_dns异常怎么修复【详细介绍】
  17. JS——如何利用js实现流星雨效果?
  18. 电子表格多轴图表_如何在Google表格中切换图表轴
  19. 彻底搞懂BLDC与PMSM的区别
  20. 洛谷P3009-[USACO11JAN]Profits S(DP-最大子段和)

热门文章

  1. 菜鸟带你仿APP之YP神器--《探探》(一)
  2. 使用 OpenGL 实现线型动画的教程来啦!
  3. 【Linux 内核】调度器 ⑧ ( 进程优先级源码 include\linux\sched\prio.h | 进程分类 | 实时进程 | 普通进程 | 进程优先级数值 | 0 ~ 99 实时进程 )
  4. 屡禁不止、屡罚不改、反复失信?5月底全部退出!
  5. 一步一步学谷歌性能测试(chrome) 性能测试教程
  6. 网络安全——Nmap端口扫描
  7. 十年磨一剑,SparkSQL来一题!
  8. 读书感受 之 《非暴力沟通》
  9. 备战金九银十!【Java 面试小抄】涵盖当下最时新热门技术点,学完 offer 得拿到手软~
  10. wkwebview替换uiwebview_UIWebView完美切换至WKWebView