Каким образом решается проблема невозможности протестировать некоторые требования?

Как решается проблема невозможности проверить программу при всех возможных условиях функционирования?

В каком случае всю документацию можно объединить в общую спецификацию программы, описывающую требования к ПО, его интерфейс, тест-требования и другие аспекты?

Каким образом осуществляется проектирование архитектуры программы?

Как взаимосвязаны системные требования (SYS - System requirements) и требования к ПО (SRD - Software Requirements Document)?

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

Каким образом должен быть задан макрос sqr, чтобы в результате выполнения приведенного фрагмента кода значение переменной i было равно 9?

int i, y=2;i = sqr(y+1);

Почему при использовании подхода формальных преобразований исчезает проблема тестирования и проверки корректности конечного программного продукта по отношению к спецификации?

В программе объявлена переменная struct goods food. Каким образом должна быть определена структура goods?

Что описывают функциональные требования?

Что описывают системные требования?