Assertion.ru

有时有事实，即connot直接进行检查。 假设有一个冰箱在一个盒子，可能无法打开。 想象一下，冰箱可以是5种不同的颜色 - 白色，蓝色，红色，黑色和绿色。 手册说，它是蓝色的。 但是，唯一可以是一个黑与冰箱的黑白照片。 直接彩色检查测试，也很难令只使用照片（假设它是不可能的）。 但你可defenately说（从照片看）表示，冰箱是白色或没有。 所以测试不检查自身的颜色，它实际上测试，如果颜色是白色。

类似的情况不断发生。 这就是为什么有两种类型的断言。 第一个是直接的，在有可能的测试，检查的确切事实，这种说法表示。 第二种是间接产生的断言。 它不是写在规范，而是来自一个或几个的。

让我们再回到冰箱，黑白相间的照片，下面是一些例子：

• 直接断言：
  写是规范：“是白色的冰箱”。 简单的测试检查是否是白色的。

• 派生断言：
  在一个规范的基础断言是“冰箱是蓝色的”。
  派生可以说：“冰箱是白色或黑色”。 这些测试检查，如果不蓝（白/黑）。

这是不正确的，派生的断言是唯一有用的时候没有能力测试，从规范基地的说法。 在他们的帮助，以增加深度报道的很多情况下断言。