Assertion.ru

有时有事实，即直接牙弓进行检查。 比方说，有一个在一个盒子冰箱，可能无法打开。 想象一下，冰箱可以是5个不同的颜色 - 白色，蓝色，红色，黑色和绿色。 手册中说，它是蓝色的。 不过，唯一可用的冰箱是黑与白的照片。 直接色彩检查测试是努力使只使用的照片（假定它是不可能的）。 但一个可以defenately说（从照片看）表示，冰箱是白色或没有。 所以测试不检查自己的颜色，它实际上测试，如果颜色是白色。

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

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

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

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

这是不正确的，派生的断言是唯一有用的时候有没有能力进行测试，从规范基础断言。 在许多情况下，它们有助于提高断言深入的报道。