Техническая документация

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