ВУЗ:
Составители:
Рубрика:
•
полнота и качество эксплуатационной документации;
•
степень адаптации документации;
•
простота изучения и использования системы ПО на основе документации и путем контрольных
пропусков на ЭВМ;
•
качество обучения пользователей, ответственных за эксплуатацию ПО;
•
степень выполнения стандартов на эксплуатацию ПО;
•
защищенность информации программ. Для получения надежных программ необходимы твердые
знания о типах встречающихся ошибок.
Ошибки в ПО встречаются на всех этапах технологического процесса производства ПО, начинаю-
щегося с постановки задачи и заканчивающегося получением набора и дробных инструкций, управ-
ляющих действиями ЭВМ при обработке информации.
Для достижения заданного уровня надежности ПО необходимо:
•
избегать ошибок, возникающих в процессе создания ПО;
•
обнаруживать ошибки;
•
исправлять допущенные ошибки;
•
предусматривать допуск ошибок.
К средствам избегания ошибок в процессе проектирования относятся такие, целью которых явля-
ется предупреждение появления ошибок в программе, а именно:
•
средства и приемы минимизации сложности как основной причины ошибок трансляции;
•
средства и методы совершенствования информационных связей разработчиков;
•
средства и приемы немедленного обнаружения и удаления ошибок трансляции после каждого ее
шага, а не после завершения написания программы.
К средствам обнаружения ошибок относятся:
•
организация проверки значений входных данных на известное ограничение;
•
проверка на совместимость входных данных;
•
введение необходимой избыточности входных данных;
•
организация сравнения входных данных с некоторым набором внутренних данных.
К сожалению, эффективные средства исправления ошибок пока не разработаны.
И, наконец, средства допущения ошибок должны обеспечивать возможность функционирования
ПО в случае, когда в нем присутствуют ошибки. В составе этих средств можно выделить динамическую
избыточность, вспомогательные методы и изоляцию ошибок.
Таким образом, вышесказанное подтверждает хорошо известный из практики факт, что при прочих
равных условиях (квалификация разработчиков, период эксплуатации, устранение ошибок после их об-
наружения и т.д.) через некоторый промежуток времени более надежными становятся программные
средства массового использования.
Так, практически абсолютно надежными можно считать трансляторы с алгоритмических языков
КОБОЛ, ФОРТРАН, ПАСКАЛЬ и др. До такого же уровня надежности могут быть доведены и другие
программные средства массового использования, например, системы автоматизации проектирования
(САПР).
Важной особенностью ПО является то, что в нем находят конкретное воплощение проектные реше-
ния в части организационно-экономического, математического, информационного обеспечения ЭИС.
Вследствие этого безотказность ПО Р
по
зависит от корректности спецификаций Р
с
и правильности их
интерпретации Р
инт
:
Р
по
= Р
c
Р
инт
.
Данная зависимость верна как для индивидуального проектирования ЭИС, так и для их создания на
основе средств автоматизации проектирования. Но в последнем случае, вследствие автоматической ин-
терпретации спецификаций на основе программных средств массового использования, составляющую
Р
инт
можно принять равной единице, т.е.
Р
A
=Р
с
, (2.26)
где Р
A
– надежность ПО, разработанного с использованием средств автоматизированного проектирова-
ния; Р
c
– надежность спецификаций.
Страницы
- « первая
- ‹ предыдущая
- …
- 45
- 46
- 47
- 48
- 49
- …
- следующая ›
- последняя »