Проверка работоспособности и правильности функционирования ИС.

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

В процессе проверки проводится декомпозиция ИС, а также используются имитаторы. При разработке способов проверки и критериев работоспособности используются два подхода: функциональный и аппаратный. Функциональный подход ориентирован на исследование ИС как устройства переработки информации. Аппаратный подход ориентирован на исследование аппаратных средств.

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

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

Диагностические тестовые программы служат для поиска неисправностей в ИС и обеспечивают автоматизацию этого процесса.

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

Отладку проводят с использованием следующих четырех методов:

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

2) Отладка по частным детерминированным реализациям тестов. Этот метод предусматривает получение промежуточных и результирующих величин при функционировании программы с некоторым детерминированным набором исходных данных и сравнения значений с эталонами. Статическая отладка включает в себя проверку функционирования и проверку точности программ

3) Отладка во всем диапазоне изменения исходных переменных с проверкой функционирования системы в динамике.

4) Отладка по статистическим характеристикам реализации тестов. Результаты проверяются по их законам распределения и параметрам этих законов. В процессе отладки проверяются динамические характеристики программ по времени их реализации, последовательности выполнения, использованию памяти и другим показателям. Эта отладка обеспечивает достаточно полное обнаружение ошибок: принципиальных, алгоритмических и системных.

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

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

1) автономная статическая и автономная динамическая отладка функционирующих задач;

2) статическая и динамическая отладка всего комплекса программ без подключения к объекту управления;

3) отладка комплекса программ с реальными источниками и приемниками информации;

4) статистические испытания программ.

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

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

Статическая комплексная отладка характеризуется двумя особенностями:

- игнорированием реального времени включения программ диспетчером;

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

Динамическая комплексная отладка проверяет взаимодействие групп программ с учетом изменения реального времени. Внешние абоненты имитируются специальными программами или аппаратными имитаторами. Основными задачами динамической отладки являются:

- Проверка начального режима включения комплекса программ.

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

Комплексная отладка с реальным объектом служит для контроля завершения отладки ИС с учетом особенностей характеристик реального объекта управления.

Статистические испытания программпредставляют наиболее продолжительный этап отладки. Испытания проводятся с помощью статистических тестов.