3.4.2. Исходные данные для верификации программных компонентов:

• требования к функциональности, эффективности и к качеству системы, детализированные в исходных требованиях высокого уровня к ПС, производные требования к компонентам и обоснование их необходимости;

• каждое требование высокого уровня к ПС трассировано точными, однозначными и достаточно детализированными требованиями к компонентам, и они не конфликтуют друг с другом;

• отсутствуют неоднозначности и конфликты между требованиями к компонентам и к возможностями аппаратных и программных средств объектного вычислителя, особенно такими, как время реакции системы и характеристики аппаратуры ввода/вывода;

• оформление требований к ПС и компонентам полностью соответствует стандартам на создание спецификаций требований и любые отклонения от стандартов обоснованы;

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