ВУЗ:
Составители:
Рубрика:
7
ВВЕДЕНИЕ
Корректность и устойчивость программных систем
Корректность и устойчивость – два основных качества программной сис-
темы, без которых все остальные ее достоинства не имеют особого смысла. По-
нятие корректности программной системы имеет смысл только тогда, когда за-
дана ее спецификация. В зависимости от того, как формализуется специфика-
ция, уточняется понятие корректности.
Корректность – это способность программной системы работать в стро-
гом соответствии со своей спецификацией. Отладка – процесс, направленный
на достижение корректности.
Во время работы системы могут возникать ситуации, выходящие за пре-
делы, предусмотренные спецификацией. Такие ситуации называются исключи-
тельными. Устойчивость – это способность программной системы должным
образом реагировать на исключительные ситуации. Обработка исключитель-
ных ситуаций – процесс, направленный на достижение устойчивости.
Почему так трудно создавать корректные и устойчивые программные
системы? Все дело в сложности разрабатываемых систем. Когда в 60-х годах
прошлого века фирмой IBM создавалась операционная система OS-360, то на ее
создание потребовалось 5000 человеко-лет, и проект по сложности сравнивался
с проектом высадки первого человека на Луну. Сложность нынешних сетевых
операционных систем, систем управления хранилищами данных, прикладных
систем программирования на порядки превосходит сложность OS-360, так что,
несмотря на прогресс, достигнутый в области технологии программирования,
проблемы, стоящие перед разработчиками, не стали проще.
Тестирование – способ обеспечения качества
Качество программного продукта характеризуется набором свойств, оп-
ределяющих, насколько продукт «хорош» с точки зрения заинтересованных
сторон, таких как заказчик продукта, спонсор, конечный пользователь, разра-
ботчики и тестировщики продукта, инженеры поддержки, сотрудники отделов
маркетинга, обучения и продаж. Каждый из участников может иметь различ-
ное представление о продукте и о том, насколько он хорош или плох, то есть о
том, насколько высоко качество продукта.
Таким образом, постановка задачи обеспечения качества продукта выли-
вается в задачу определения заинтересованных лиц, их критериев качества и за-
тем нахождения оптимального решения, удовлетворяющего этим критериям.
Тестирование является одним из наиболее устоявшихся способов обеспечения
качества разработки программного обеспечения и входит в набор эффективных
средств современной системы обеспечения качества программного продукта.
Страницы
- « первая
- ‹ предыдущая
- …
- 5
- 6
- 7
- 8
- 9
- …
- следующая ›
- последняя »
