02 MDTD

最新推荐文章于 2024-01-04 10:07:38 发布
最新推荐文章于 2024-01-04 10:07:38 发布
阅读量512 收藏
点赞数
分类专栏： 软件测试学习
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_40635938/article/details/104746086
版权

Complexity of Testing Software

  • the term correctness has no meaning
  • Instead considering reliability, safety, maintainability, security, and efficiency

关于正确性

  • 更多是用来描述古典科学

    • 数学模型正确
    • 。。。。

  • Better viewpoint: a relative term — program P is correct with respect to specification S.（软件测试的对于正确的描述）

  • Bottom Line: Do the specification and the program meet the customer/user’s expectations?

程序的行为空间

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Y1uP1y93-1583717773051)(F:\WHU\大三（下）\我\软件测试技术\课件\chapter2\image-20200224081833403.png)]

说明中有的，但是程序中 未实现叫作缺陷故障，程序实现的，但是并不在预期范围的，叫作过失故障

我们需要测试正确性的部分，是S和P相交的部分，我们希望S和P的交集越大越好

规定行为、实现行为和测试行为：

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Ty7HQy1B-1583717773052)(F:\WHU\大三（下）\我\软件测试技术\课件\chapter2\image-20200224082037206.png)]

目标范围是1的范围，程序说明中说明了，程序也实现了，测试时也测试了1，我们需要尽量扩大1的范围

左为基于规格说明的测试，右为基于代码的测试

基于规格说明的测试：

基于规格说明不需要知道它的具体实现，只考虑是否实现了预期目标。（黑盒测试）

经典测试类型：

  • Boundary Value Testing（基于边界值的测试）
  • Equivalence Class Testing（基于等价类的测试）
  • Decision Table-based Testing（决策表的测试）

优点：

  • 测试与具体实现方法无关（更改实现方法后，测试用例依然可以用）
  • 测试与开发并行

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-N7JZ0ouf-1583717773053)(F:\WHU\大三（下）\我\软件测试技术\课件\chapter2\image-20200224082631352.png)]

A对于1的测试范围更大，但是冗余范围更大？（猜测）

附：从图中可以看出，基于规格说明的测试方法只会在规格说明的范围内，不会超出这个范围

基于代码的测试（Code-based testing）

也叫做结构化测试、白盒测试、玻璃盒测试

包括：

  • 基于图的测试
  • 基于数据流的测试
优点：
  • 有很强的理论基础
  • 允许定义和使用测试覆盖指标
  • 能够明确地表示 软件被测试程度

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Vr6bblE3-1583717773053)(F:\WHU\大三（下）\我\软件测试技术\课件\chapter2\image-20200224083055228.png)]

测试方法A更好。

附：基于代码的测试方法只会在代码范围内，而不会超出范围，因为压根不知道规格说明是什么

两种测试方法的比较

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-k1162PDK-1583717773053)(F:\WHU\大三（下）\我\软件测试技术\课件\chapter2\image-20200224083205270.png)]

黑盒测试是建立可信度，白盒测试则是为了寻找代码故障

如果程序做了不该做的事情，spec-based无法测试出来。

如果有些行为规定了，但是没有实现，黑盒测试没法测出来

要将两种测试方法结合起来

软件测试基础

测试只能找到失效的存在，如果测试通过，不能说明没有失效

Testing & Debugging

  • 测试：通过观察软件的执行以评估软件
  • Test Failure 测试失效： 执行测试用例后导致软件 失效
  • 调试：在软件失效的情况下，寻找软件故障的过程

故障与失效模型（RIPR）

Four conditions necessary for a failure to be observed

  • Reachability 可达 测试用例必须要到达故障相应的代码（测试用例跑不到故障代码）
  • Infection 影响 故障执行以后必须导致一个不正确的状态
  • Propagation 传播 导致的不正确的状态必须要传到output这里来
  • Reveal 揭示 必须要被观察到（比如观察的值是a, b, c，但是出错的值是d，则此时无法观察到）

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-L0Csbn21-1583717773054)(F:\WHU\大三（下）\我\软件测试技术\课件\chapter2\image-20200309090152534.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-no2HiLE5-1583717773054)(F:\WHU\大三（下）\我\软件测试技术\课件\chapter2\image-20200309091126939.png)]

经典：执行故障：代码运行到错误的地方

​ 产生错误状态：与原来运行的状态不一样（中间变量值不同等等）

Traditional Testing Levels：

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Aut9YqcD-1583717773055)(F:\WHU\大三（下）\我\软件测试技术\课件\chapter2\image-20200224092059246.png)]

  • unit testing 每个方法测试清楚
  • Module testing 将每个模块（C的文件 java的类）测试清楚
  • Integration testing 集成测试 每个单元之间的交互、通信、调用的测试清楚
  • System testing 系统测试
  • Acceptance testing 验收测试

Object-Oriented Testing Levels：

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-A0Dtqf35-1583717773055)(F:\WHU\大三（下）\我\软件测试技术\课件\chapter2\image-20200224092648868.png)]

Coverage Criteria 覆盖准则

即便是一个很小很小的程序，它也具有太多种输入方式才能够完全测试到

比如对于一个算均值的函数，有三个输入值A，B，C，对于A，B，C有很多很多的值，几乎无法穷尽

覆盖准则的作用
  1. 使用最少的输入发现最多的问题
  2. 给了测试者一种结构化可实现的方式去
    1. 完全搜索输入域
    2. 判断在测试中没有更多的情况

覆盖准则的优点

测试需求和准则

  • 测试需求：测试用例必须满足或覆盖的软件工件的指定元素
  • 覆盖准则：一条或一组生成测试需求的原则

覆盖准则就是指：测试需要以什么样的原则去覆盖（覆盖每个语句？每个路径？每个需求？）

而测试需求就是指：在这个原则下，需要覆盖的那些对象

  1. 完全搜索输入域
  2. 判断在测试中没有更多的情况

覆盖准则的优点

测试需求和准则

  • 测试需求：测试用例必须满足或覆盖的软件工件的指定元素
  • 覆盖准则：一条或一组生成测试需求的原则

覆盖准则就是指：测试需要以什么样的原则去覆盖（覆盖每个语句？每个路径？每个需求？）

而测试需求就是指：在这个原则下，需要覆盖的那些对象

素心为笺
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
专栏目录
软件测试的基础（第2章 模型驱动测试设计（MDTD））
m0_46090832的博客
04-23 1019
软件测试基础 测试：通过观察软件的执行来评估软件。 测试失败：执行一个测试案例后给出软件失败的结果。 调式：在软件失败的前提下找故障的过程。 基于软件活动的测试级别。 不同的测试层级伴随着不同的软件开发过程。 验收测试：根据需求和用户需要来评估软件。（需求分析） 系统测试：根据体系结构的设计和系统整体的行为来评估软件。（体系结构设计） 集成测试：根据子系统的设计来评估软件。（子系统设计） 模块测试：根据详细设计来评估软件。（详细设计） 单元测试：根据代码来实现评估软件。（代码实现） 课堂上的内容 局限性比
没有深挖的RNN，LSTM（浅显易懂）
qq_44827840的博客
11-09 474
RNN 是什么？ RNN（Recurrent Neural Network）：循环神经网络，是一类处理序列数据的神经网络，以序列（sequence）数据为输入，在序列的演进方向进行递归（recursion）且所有节点（循环单元）按链式连接的递归神经网络（recursive neural network），能够更好的处理序列数据。就是前面的数据和后面的数据是有关系的。比如我们在读一句话的时候，我们不能孤立的理解每个词，我们需要往往需要通过上一个词更好的理解下一个词，比如，我 吃 苹果，如果忽略了吃，那么此时的
【1-1】 软件测试的一些基本概念
qq_57124671的博客
06-24 157
△简单来讲，fault就是一个静态的代码错误，而error是指由这个错误而导致的错误的内部状态，failure则是产生了与预期不相符合的结果，bug非官方定义可以指代fault、error和failure，而其正是定义则是软件产生 应该做却没做、不该做、做了未提及的功能、未提及但是应该做的、使用体验不好 等几种情况的异常情况。④Reveal(揭露性)：The tester must observe part of the incorrect portion of the program state。
二、模型驱动测试设计
weixin_44014982的博客
09-07 622
完全改正软件是不可能到达的，其原因是可以以形式化的方式来表述的而且是富有哲理的。聪明的软件工程师不再追求软件的完全正确，而是试着评判软件的行为来决定其是否为可接受的。**包括可靠性、安全性、可维护性、安保性、还有效率。**这比验证软件是正确的要复杂的多。MDTD过程把测试分成一系列的小任务，从而简化测试用例的生成。然后测试设计师在高层次的抽象等级上使用数学化的工程结构来设计测试用例，这样做可以独立于软件内部细节、独立于设计所基于的软件工件、也独立于测试自动化和测试执行。
软件测试技术复习点
小王同学的博客
01-04 872
南京理工大学《软件建模技术》复习
软件测试课堂笔记
qq_43420530的博客
01-18 1467
Chapter 1 Software Verification（软件验证） + Software Validation（软件确认） = Software Testing Verification 和 Validation区别 Verification 内部过程，比喻：Are we building the product right ? Validation 外部过程，比喻： Are we building the right product ? Chapter 2 faults Errors Fa
软件测试第一天
韩小文的博客
09-11 1562
技能点：
软件测试作业二——找出程序中的错误
weixin_30878361的博客
03-07 666
一、软件程序中的错误 软件程序中的错误有三种：faults（故障）, errors（错误）, failures（失败）。 软件故障（faults）：软件中的静态缺陷。 软件错误（errors）：不正确的内部状态，该状态是某个故障的表现。 软件失败（failures）：与需求或其他期望行为的描述有关的，外部的，不正确的行为。 二、分析下列程序 ...
RIP的简单介绍！和模拟实验
weixin_48185643的博客
07-27 3355
RIP（路由信息协议）
opnet进程模型rip_udp_v3理解
accumulating_mocai的博客
04-13 590
rip_udp_v3进程模块状态转移图：其中init入口代码区代码为初始化代码，包括创建与下层进程节点通信ici、创建与上层进程节点通信ici、获取本进程模块ID、所在节点ID、当前进程ID、将自身进程注册至模型注册表init出口代码区代码为从模型注册表中获取其下层进程模块ID、确定与下层进程模块节点通信的入口、出口流索引idle出口代码区代码为获取中断流类型、中断代码CREATE入口代码区代码为...
软件测试的几个术语（故障--Fault、错误--Error、失效--Failure）
热门推荐
骐骥一跃，不能十步；驽马十驾，功在不舍。
11-15 1万+
1.解释 Fault--故障 编码过程中，存在于软件中的静态缺陷 （Defect） Error--错误 软件运行过程中，运行fault后，触发得到的结果（错误）。 Failure--失效 失效。error传到软件外部，用户和测试人员能够观测的到的失效行为。 指不完全符合给定的需求，实际结果或行为与期望结果或行为之间的偏差。 当一个系统不能执行所要求的功能时，即为Failure ...
【Software Testing Homework 2】
weixin_30828379的博客
03-09 72
课后1.2节练习第三题 第一段程序： 　　(a) for 循环没有遍历数组第一个元素，即第0号元素，改正为 for ( int i = x.length - 1; i >= 0 ; i -- ) {...} 　　(b) 如果想要不执行故障就抛出一个空指针错误，那么如果x数组为空即可。给出一组可能的测试用例 　　x == null ; y == 1; 　　期望的输出：N...
程序运行过程中卡住，不再执行，也不产生错误信息
weixin_42973143的博客
10-31 4075
有个web项目存放在azure 云上，由于无法向IIS 一样可以灵活操作，因此写了一大堆的log进行程序记录，刚开始正常运行并写出日志文件。后来发现数据库不再更新，并且log 每日只写了一部分，后面的日志不再执行，也不产生任何错误，由此浪费了很多的时间进行调试操作，都没有找到原因，而当我将该程序部署到开发环境的时候，相同的配置文件跟源代码都是正常的执行 。 由于该项目是需要通过接口去调用数据，从而...
软件测试输入准则,软件测试基础（原书第2版）
weixin_36296215的博客
07-22 352
软件测试基础(原书第2版)语音编辑锁定讨论上传视频《软件测试基础(原书第2版)》是2019年11月机械工业出版社出版的图书，作者是Paul Ammann、Jeff Offutt。书名软件测试基础(原书第2版)作者Paul Ammann、Jeff OffuttISBN9787111611295定价79.0元出版社机械工业出版社出版时间2019年11月装帧平装开...
软件测试术语中英文对照
08-13 4693
软件测试术语中英文对照，供大家参考 abstraction level 抽象层 abstract modeling 抽象建模 real world system 现实界系统 architectural exploration 架构探测 wrapper function 包装函数 syntactic construct 语法构件 Acceptance testing : 验收测试 Acceptance Testing：可接受性测试 Accessibility test : 软体适用性测试 actual ou
励志2024龙年筑梦前行共创未来PPT模板，适用于工作计划，工作总结
07-15
【作品名称】：励志2024龙年筑梦前行共创未来PPT模板，适用于工作计划，工作总结 【适用人群】：适用于希望学习不同技术领域的小白或进阶学习者。可作为毕设项目、课程设计、大作业、工程实训或初期项目立项。
内蒙古医科大学考研17个学院，57个专业课历年考试真题及答案汇总，备考资料题库笔记，专业课调剂信息查询.pdf
07-15
内蒙古医科大学考研17个学院，57个专业课历年考试真题及答案汇总，备考资料题库笔记，专业课调剂信息查询.pdf
齐齐哈尔医学院考研，57个专业课历年考试真题及答案汇总整理，备考资料题库视频.pdf
最新发布
07-15
齐齐哈尔医学院考研，57个专业课历年考试真题及答案汇总整理，备考资料题库视频.pdf
长三角城市及各区县数据集.txt
07-15
因文件较多，数据存放网盘，txt文件内包含下载链接及提取码，永久有效。失效会第一时间进行补充。样例数据及详细介绍参见文章：https://blog.csdn.net/m0_65541699/article/details/140428710
void Easy::ProcessHeartbeat(const XT::QData& d) { XT::QHeartbeat hb; hb.ParseFromString(d.message()); qDebug() << "[info] ProcessHeartbeat: " << hb.DebugString().c_str(); char prefix[64] = { 0 }; sprintf(prefix, "Heartbeat.%s*", hb.source()); zmq::message_t tag(strlen(prefix)); memcpy((char *)tag.data(), prefix, tag.size()); sock_pub_mdtd.send(tag, ZMQ_SNDMORE); zmq::message_t msg(d.ByteSize()); d.SerializeToArray((char*)msg.data(), msg.size()); sock_pub_mdtd.send(msg); } 这是c++发送到消息队列的代码，如何实现python接收消息并解析的代码
06-01
你可以使用ZMQ的Python绑定库pyzmq来实现接收消息并解析。 首先，你需要在Python中安装pyzmq库。可以使用pip安装，命令如下： ``` pip install pyzmq ``` 接下来，你可以使用以下代码来接收消息并解析： ...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值