В программировании и реальной жизни полно ситуаций, при которых нет никакой необходимости вникать в глубины решаемых задач. Все ясно при первом же рассмотрении темы. Но случается и так, что требуется подтвердить или опровергнуть выражение. Здесь в силу вступает так называемая логика высказываний. Соответствующий момент играет важную роль не только в жизни, но и в науках. Пример – математика, программирование, психология. Можно использовать разнообразную логику высказываний для подтверждения и опровержения результатов...

Перед тем как мы погрузимся в написание тестов, нам надлежит убедиться, что мы с вами одинаково понимаем теорию и терминологию тестирования. Мы расширим свой словарный запас и получим теоретическую основу для обсуждения тестирования. Представьте, что вам необходимо протестировать новый дисплей для датчика давления автомобильных колес. Давление считывается с внешнего датчика, и гарантируется, что значение давления будет передано на наш 32-битный дисплей. Если давление больше 35 фунтов на квадратный дюйм (pounds per square inch, PSI), должен загореться сигнал "ИЗБЫТОЧНОЕ ДАВЛЕНИЕ", а все остальные сигналы должны быть отключены...