Факторы, определяющие надёжность по.

Факторы, определяющие надеж­ность ПО. Главную роль в создании надежного ПО играют правильная организация и управление процессом разработки:

- подготовка инженерного и руково­дящего персонала по технологии ис­пользования вычислительных машин;

- контроль выдачи и изменений про­грамм;

- постоянная связь между разработ­чиком и заказчиком ПО;

- применение эффективных методов контроля процесса разработки программ и документации;

- внедрение стандартов, регламенти­рующих работы по проектированию ПО.

Важную роль в повышении качества и надежности разрабатываемого ПО играет постоянный контроль в виде достаточно формализованных «про­смотров» проектной и программной документации специальной группой экспертов. В такую группу включаются: специалисты по проектированию и программированию; специалисты по отладке и испытаниям ПО; специалисты по компоновке программ; представи­тели заказчика.

Повышению качества разработки сложных программ способствуют про­грессивные приемы структурного про­граммирования и принцип модуль­ности ПО.

Что такое структурное программирование

В основу структурного программи­рования положены достаточно простые положения:

- программа должна составляться мел­кими шагами;

- сложная задача должна разбиваться на достаточно простые, легко воспри­нимаемые части, каждая из которых имеет только один вход и выход;

- логика программы должна опираться на минимальное число достаточно про­стых базовых управляющих структур.

Принцип модульности, детерминированный контроль.

Принцип модульности заключается в разбиении сложной программы на отдельные подпрограммы — модули, характеризующиеся функциональной законченностью, автономностью и не­зависимостью в разработке и оформле­нии. Рекомендуется объем модулей в 100— 500 команд. Запрет на приме­нение потенциально ненадежных про­граммных конструкций, возможность оперативного автономного контроля результатов функционирования моду­ля обеспечивают высокую вероятность исключения ошибок на самых ранних этапах разработки ПО.

Для создания надежного ПО ис­пользуют также принцип структури­рования массивов данных, что позволяет снизить вероятность появления оши­бок из-за их неправильного использо­вания.

Нисходящий и восходящий принципы тестирования..

Различают тестирование восходящее и нисходящее. Восходящее тестирование начинается с автономного тестирования программ­ных модулей самого нижнего уровня. После этого проводится тестирование модулей более высокого уровня, про­верка которых требует обращения к уже оттестированным модулям. После проверки данного уровня со­вершается переход к модулям все более высокого уровня, вплоть до программы в целом. Недостатком данного метода тести­рования является то, что для сложного ПО с многоуровневой иерархией вы­явление серьезных ошибок в специ­фикациях, алгоритмах и интерфейсах осуществляется только на завершаю­щей стадии отладки ПО – стадии комплексного тестирования программ и ПО в целом.

При нисходящем тестировании ав­тономно тестируется только головная программа, затем подсоединяются про­граммы модулей и компоненты сле­дующего уровня и так до тех пор, пока не будет собрана и испытана вся программа. Преимущество нисходящего тести­рования заключается в том, что оно позволяет выявить ошибки и каче­ственно их устранить.

Детерминированное тестирование предусматривает задание конкретных исходных данных и маршрутов испол­нения программы. Проверка всех марш­рутов при всех значениях исходных данных может быть реализована толь­ко для очень простых программ и при малых диапазонах изменения исход­ных данных. Диапазон варьирования исходных данных и степень охвата возможных маршрутов определяют эф­фективность обнаружения ошибок дан­ным методом.