Assertion.ru

Есть иногда фактов, connot проверяется непосредственно. Скажем есть холодильник в окно, что не может быть открыта. Представьте себе, холодильник может быть 5 различных цветов - белый, синий, красный, черный и зеленый. Руководство говорит, что он голубой. Но единственное, что можно это черно-белая фотография холодильник. Прямых испытаний проверить цвет трудно сделать, используя только фото (предположить, что это невозможно). Но можно сказать defenately (смотря на фото) и что холодильник белый или нет. Так тест не проверяет цвет сам, на самом деле испытаний, если белого цвета.

Аналогичные ситуации возникают все время. Вот почему Существуют два типа утверждений. Первый прямой 1, когда есть возможность тест, который проверяет точное факт, заявил на это утверждение. Второго рода косвенные полученных утверждение. Это написано в спецификации, но получается из одного или нескольких, которые.

Возвращаясь к холодильников и черно-белые фото, вот несколько примеров:

• Прямое утверждение:
  Письменные является спецификация: "холодильник белых". Тест просто проверяет, если он белый.

• Производные утверждение:
  Базы утверждение спецификации "холодильник синих".
  Могут быть получены "холодильник белого или черного цвета". Испытания проверки, если он не голубой (белый / черный).

Это не правда, что полученные утверждения только полезны, когда нет возможности проверить утверждение базы из спец. Во многих случаях они способствуют увеличению глубины охвата утверждение.