Черный ящик: Здесь проверка основана на требованиях дизайна.Таким образом, все внешнее по отношению к дизайну и выполнению проекта с точки зрения требований должно быть проверено.С точки зрения утверждений, это будет означать интерфейсы и ответы.Они также могут включать предположения, если конфигурации являются фиксированными.Они также могут включать освещение важных тестовых случаев со ссылкой на требования.Реализация дизайна не рассматривается.Эти утверждения обычно пишутся проверкой, а не разработчиком.Они могут и должны быть выполнены до фактических задач проектирования.
Белая коробка: Это касается фактической реализации.Как правило, разработчик может добавить информацию о допущениях и утверждениях об ожидаемых результатах, в частности о проекте.Например, если дизайн использует FIFO, было бы хорошо добавить утверждения о том, что FIFO никогда не читает значение, когда оно пустое, или выдавать данные, когда они заполнены.Если проект имеет EDAC, следует добавить утверждения, что EDAC действительно выполняет свои обязанности.Эти утверждения обычно пишутся когда-либо, и они важны.