6. Верифицируемость программного продукта предполагает

Ответы:

+ достаточность тестирования свойств системы

− мгновенную реакцию на изменение внешней среды

+ возможность контроля соответствия продукта требованиям

− формальное описание устойчивости

− единообразие пользовательского интерфейса