Технология программирования. - 7 стр.

UptoLike

Рубрика:

- 9 -

может быть несогласованность документации с ПС. Так как задание на ПС нефор-

мально, то нельзя доказать правильность программы формальными методами. Тес-

тирование не показывает правильность ПС, а лишь иллюстрирует наличие в нём

ошибки.

1.2. Понятие надёжности ПС

Альтернативой правильности является надёжность. Надёжность ПС – спо-

собность ПС безотказно выполнять определённые функции при

заданных ус-

ловиях в течение заданного времени и с достаточно большой вероятностью.

Под отказом понимают наличие в ПС ошибки. Причём нужно отметить, что на-

дёжное ПС не исключает наличия в нём ошибки. Важно отметить, чтобы при прак-

тическом применении ПС эти ошибки проявлялись достаточно редко. Убедиться,

что ПС обладает следующими

свойствами можно тестированием или практиче-

ским применением. Практически мы разрабатываем лишь надёжные, а не правиль-

ные ПС. Программные средства обладают различной степенью надёжности. Неко-

торые ошибки выражают лишь неудобства, а некоторые могут вызывать катастро-

фические последствия. Поэтому для оценки надёжности иногда используют до-

полнительный показатель, который учитывает стоимость или вред каждого

отказа.

1.3. Обзор технологических подходов к программированию

ТП играла разную роль на различных этапах развития программирования. С

развитием средств ВТ и методологий программирования вырастала сложность ре-

шаемых задач. Сформировалось достаточно глубокое понятие качества ПС. При-

чём предпочтение отдаётся не эффективности работы, а удобству работы и надёж-

ности. Широкое использование компьютерных сетей

привело к развитию распре-

делённых вычислений, распределённому доступу. Постепенно компьютерная тех-

ника превращается в средство информационного моделирования реального и мыс-

лимого мира.

Можно кратко представить этапы развития программирования с середины про-

шлого века.