9.3.2. Методы снижения интенсивности опасных ошибок программных средств

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

В этой связи снижение интенсивности ошибок ПС решают методами снижения ошибок программистов и персонала, сопровождающего эксплуатацию ПС. К ним относят традиционные методы повышения безопасности функционирования персонала: совершенствование технологий создания программ, повышение профессионального уровня программистов, их технологической дисциплины, мотивация работы без ошибок, обеспечение нормального физиологического и психологического состояния программистов, автоматизация процессов создания программ. Эти методы аналогичны методам совершенствования технологии производства аппаратных средств и методам снижения опасных ошибок персонала, участвующего в процессе их создания [6].

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

Тестирование, однако, не всегда позволяет выявить все ошибки ПС, так как не всегда удается создать тесты, достаточно полно отображающие реальные условия функционирования системы управления. Кроме того, реально всегда существуют ограничения на время тестирования системы. Аналогичная ситуация имеет место и при выходном контроле дефектов аппаратных средств.

В этой связи для обнаружения ошибок создают математические модели ПС, целенаправленный анализ которых позволяет обнаруживать именно опасные ошибки.

9.4. Структурный метод обеспечения безопасности программных средств

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

Модули ПС должны обладать функциональной законченностью, автономностью и независимостью в оформлении; стандартными правилами организации связей с другими модулями; небольшой длиной и др.

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

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

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

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