Cтраница 2
Свойство - это любая отличающаяся от переменной характеристика, которая может быть однозначно описана в тексте или сопоставлена с воспроизводимым стандартом. Проверка свойств проста - да или нет: либо характеристика соответствует спецификации, либо нет. Примерами свойств являются: требование к комплекту программного обеспечения выполнять специальные функции, отсутствие ошибок в бланках о выплате страхового возмещения, напряжение переменного тока или направление вращения ручек. [16]
Эталонные изменения развиваются, дорабатываются и модернизируются разработчиками программного обеспечения или специалистами, выделенными для сопровождения программного обеспечения. Разработчики программного обеспечения снабжаются откорректированной документацией, полностью соответствующей программному обеспечению и точным перечнем всех изменений. После внесения изменений программа подвергается тщательном проверке, особенно места внесения изменений. Как правило, после внесения изменений весь комплект программного обеспечения подвергается общей проверке. После проверок эталонные программы или изменения к ним тиражируются и направляются пользователям. [17]