- 博客(76)
- 资源 (4)
- 收藏
- 关注
RSS订阅原创 【推理的思想】等价性证明（一）
等价性证明的思路非常直截了当：用一个模型f(x)代表理想，用一个模型p(x)代表现实。如果能证明f(x)和p(x)是等价的，而且这两个模型都足够精确，那就证明了被测对象是正确的。
2025-10-20 17:49:01
384
原创 如何构造出一张正交表？
利用正交表，我们可以用比较少的用例覆盖最有代表性的各种输入情况，而且能检出大部分输入耦合导致的缺陷。那么，正交表究竟是怎么构造出来的呢？
2025-07-01 15:20:10
626
原创 【冗余的思想】测试准绳与测试充分性
大多数充分准则都声称，只要你选择了这样或那样一些测试输入点，你的测试就是充分的，或者保守点说，是相对充分的。这些准则都没有提到测试准绳，好像测试准绳并不是什么问题。可事实并非如此。
2025-06-25 11:29:07
1054
原创 基于有限状态机的测试（四）：关键技术（复位序列、预设区分序列、唯一输入输出序列）
这一篇开始上难度了。已经尽可能削减了形式化，但逻辑链条的长度实在削减不了。欢迎牙口好的测试同学食用~
2025-06-06 11:41:17
750
原创 基于有限状态机的测试（三）：关键技术（状态消息、定位序列、重置能力）
各种基于模型的测试同属于一种范式，但视所用模型的特点和局限性，在具体技术方法上又各有千秋。从本篇开始，我们来了解“基于有限状态机的测试”中的关键技术。
2025-05-26 11:41:08
748
原创 基于有限状态机的测试（一）：基本定义、测试目标
基于有限状态机的测试，是最经典的一种基于模型的测试方法。模型在给测试设计工作带来便利的同时，也引入了一些新的问题。比如在基于有限状态机的测试设计中，最关键的问题就是如何识别状态，因为“状态”是模型层面体现的抽象特性，一般并不直接能观。从本篇开始，我们将用一系列文章来探讨，如何解决这样的问题。
2025-05-12 14:03:21
761
原创 【冗余的思想】用熵来度量被测对象期望中的冗余信息量
被测对象期望所代表的，是“测试输入”和“测试输出”之间的一种因果关系。借用信息论中“熵”的概念，我们可以对这种因果关系中的冗余信息量进行度量
2025-03-20 15:49:27
383
原创 【冗余的思想】如何缓解测试准绳问题？来自通信领域的启示（二）
虽然接收方不知道发送方真正想要发送的消息应该是什么，但是接收方可以从冗余信息里了解到，消息应该具备什么特征。如果收到的消息不具备这个特征，就说明一定有问题。这个思路，就能帮我们缓解测试准绳问题。
2025-03-14 11:12:14
786
原创 【统计的思想】基于马尔科夫链的测试
你的未来，当然不仅仅取决于你的现在。但你可以利用你的未来，帮助你的现在。这就是马尔科夫链展现出来的浪漫主义精神。
2025-02-28 14:59:48
433
原创 【统计的思想】假设检验（一）
假设检验是统计学里的重要方法，同时也是一种“在理想与现实之间观察求索”的测试活动。假设检验从概率的角度去考察理想与现实之间的关系，籍此来缓解测试可信性问题
2025-01-16 10:57:19
1140
原创 大模型辅助测试的正确打开方式？
测试的基本目的之一，是提供关于被测对象质量的“确定性”。尽管大模型在提升测试效率等方面展现出不错的潜力，但其决策结果所固有的不可解释性，对测试所期求的“确定性”产生了直接冲击。那么，大模型辅助测试的正确打开方式究竟是什么呢？
2024-12-27 14:07:02
1099
原创 【统计的思想】统计抽样测试（二）
工程实践里常用的操作特性曲线，它努力想长成理想曲线的阶跃形态，但又不可避免地变得圆滑——就像一个理想主义者被现实磨平了棱角
2024-12-25 11:27:17
342
原创 【统计的思想】统计抽样测试（一）
统计抽样测试面对的最大问题是，可能会给出错误的质量评估结论。这就是我们所说的，测试的五个基本问题之一——测试可信性问题。那统计抽样测试是怎么缓解这个问题的呢？用统计的思想。
2024-12-17 10:30:56
944
《matlab 6.x 图像处理》
2009-05-14
LoadRunner结果分析实例
2009-03-11
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人