159
Сопровождаемость − это характеристики ПС, которые позволяют
минимизировать усилия по внесению изменений для устранения в нем ошибок
и по его модификации в соответствии с изменяющимися потребностями
пользователей.
Мобильность − это способность ПС быть перенесенным из одной среды
(окружения) в другую, в частности, с одного компьютера на другой.
Функциональность и надежность являются обязательными критериями
качества ПС, причем обеспечение надежности будет красной нитью проходить
по всем этапам и процессам разработки ПС.
Можно считать, что продуктом программирования является ПС,
содержащее программы, выполняющие требуемые функции. Здесь под
«программой» часто понимают правильную программу, т.е. программу, не
содержащую ошибок. Однако понятие ошибки в программе трактуется в среде
программистов неоднозначно. Будем считать, что в программе имеется ошибка,
если она не выполняет того, что разумно ожидать от нее пользователю.
«Разумное ожидание» пользователя формируется на основании документации
по применению этой программы. Следовательно, понятие ошибки в программе
является существенно не формальным. В ПС программы и документация
взаимно увязаны, образуют некоторую целостность. Поэтому правильнее
говорить об ошибке не в программе, а в ПС в целом: будем считать, что в ПС
имеется ошибка (software error), если оно не выполняет того, что разумно
ожидать от него пользователю. В частности, разновидностью ошибки в ПС
является несогласованность между программами ПС и документацией по их
применению.
Так как задание на ПС обычно формулируется неформально, а также из-
за того, что понятия ошибки в ПС не формализовано, то нельзя доказать
формальными методами (математически) правильность ПС. Нельзя показать
правильность ПС и тестированием: как указал Дейкстра, тестирование может
лишь продемонстрировать наличие в ПС ошибки. Поэтому понятие правильной
ПС неконструктивно в том смысле, что после окончания работы над созданием
ПС мы не сможем убедиться, что достигли цели.
Альтернативой правильного ПС является надежное ПС.
Некоторые критерии могут иметь количественные значения, например,
надежность измеряется как величина, обратная количеству отказов в единицу
времени. Другие критерии можно оценить только качественно, то есть по
бесцифровым шкалам: «хорошо» – «плохо», «высокая» – «низкая» и т.п.
Измерение значения критерия позволяет обнаружить проблему, решение
которой существенно важно для повышения качества ПС.
Дополнительными критериями, характеризующими не столько качество,
сколько полезность создаваемого ПС, являются его актуальность, практическая
значимость и научная новизна принимаемых решений.
Актуальный – важный, существенный для настоящего момента. Под
актуальностью работы следует понимать оправданность и действительную
необходимость её выполнения. Необходим также анализ предшествующих
исследований. Актуальность работы это необходимое и достаточное