3. Отладка мпс.

В настоящее время ведущее место при построении встроенных систем автоматического управления и систем программно-логического управления занимают микроконтроллеры. При этом важнейшая проблема заключается в необходи­мости обеспечения высокой надежности систем на их основе, сократив при этом стоимость контроля и диагностики, затраты на которые достигают 40…60% их общей стоимости. Кроме этого постоянное снижение цен на аппаратные компоненты при­водит к возрастанию доли зарплаты разработчиков. Поэтому их труд по разработке и отладке МПС необходимо оптимизировать.

Природа человека как разработчика такова, что он допускает массу ошибок помимо своей воли. Невозможно проектирование МПС без ошибок. Все ошибки проектирования можно разделить на два больших класса: синтаксические и логические. Синтаксические ошибки связаны с непроизвольным нарушением формальных правил разработки и достаточно легко устраняются контрольными средствами систем автоматизированного проектирования. Так, например, синтаксические ошибки формального языка, допущенные при написании программы, "вылавливаются" компилятором. Логические ошибки возникают как ошибки человеческого мышления и требуют для своего обнаружения специальные методы поиска ошибок из-за неоднозначности места их возникновения.

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

1. Неправильно определены функции системы и, следовательно, неминуемы ошибки в ее базовой концепции.

2. Построение математической модели управления объектом выполнено некорректно.

3. Плохо продумана последовательность действий в алгоритме (возможны недопустимые действия; поставлена недостижимая цель; пропущены необходимые операции и др.).

4. Неудачно выбран МП или допущены ошибки структуры МПС,

и т.д.

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

1. Это время, прошедшее с момента разработки до момента обнаружения ошибки.

2. Это время между обнаружением двух ошибок.

Контроль корректности разработки и отладка должны пронизывать весь процесс разработки и изготовления МПС. Для этого существует три группы методов: тестирование, моделирование и верификация.

Верификация заключается в увеличении вероятности принятия правильного решения путем, например, мысленного экспери­мента, когда макетирование невозможно или затруднено (например, когда неясен класс критических ситуаций при создании микропроцес­сорной АСУ). К методам верификации относятся все методы проектирования, работающие с теоретическими моделями.

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

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

При решении задачи тестирования мож­но выделить три проблемы.

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

2. Реализация процедур анализа реакции системы на тестовую последовательность.

3. Построение полного информационного массива о неисправ­ностях МПС.

К методам анализа можно отнести: логический анализ, анализ компактных оценок (сигнатурный анализ, синдромное тестирование на основе контрольных сумм, ключевых слов и т.д.), вероятностный метод. Наиболее распространенный метод генерации информации о неисправностях МПС - сравнение с эталоном.

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

Рис.76

Типичная структура автоматизированного устройства контроля и технической диагностики приведена на рис.77.

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

Рис.77