Preview

Мехатроника, автоматизация, управление

Расширенный поиск
Доступ открыт Открытый доступ  Доступ закрыт Только для подписчиков

Составление множества функций при формировании отладочных тестов для цифровых систем управления объектами

https://doi.org/10.17587/mau.19.770-776

Полный текст:

Аннотация

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

Об авторе

А. Д. Иванников
Институт проблем проектирования в микроэлектронике РАН
Россия
Доктор технических наук, главный научный сотрудник


Список литературы

1. Lin Yi-Li, Su Alvin W. Y. Functional Verification for SoC Software/Hardware Co-Design: From Virtual Platform to Physical Platform // 2011 IEEE International SOC Conference (SOCC). P. 201—206.

2. Shi Jin, Liu Weichao, Jiang Ming et al. Software Hardware Co-Simulation and Co-Verification in Safety Critical System Design // 2013 IEEE International Conference on Intelligent Rail Transportation (ICIRT). P. 71—74.

3. Кащеев Н. И., Пономарев Д. М., Подъяблонский Ф. М. Построение тестов цифровых схем с использованием обобщенной модели неисправностей и непрерывного подхода к моделированию // Вестник Нижегородского университета им. Н. И. Лобачевского. 2011. № 3 (2). С. 72—77.

4. Иванников А. Д. Формирование отладочного набора тестов для проверки функций цифровых систем управления объектами // Мехатроника, автоматизация, управление. 2017. Т. 18, № 12. С. 795—801.

5. Иванников А. Д., Стемпковский А. Л. Формализация задачи отладки проектов цифровых систем // Информационные технологии. 2014. № 9. С. 3—10.

6. Оллонгрен А. Определение языков программирования интерпретирующими автоматами. М.: Мир, 1977. 288 с.

7. Иванников А. Д., Северцев В. Н. Математическая модель множества входных воздействий цифровых систем при их моделировании на уровне логических сигналов // Информационные технологии. 2018. Т. 24, № 10. С. 627—632.

8. Иванов Н. Н., Михайлов Г. И., Руднев В. В., Таль А. А. Конечные автоматы: эквивалентность и поведение. М.: Наука, 1984. 192 с.


Для цитирования:


Иванников А.Д. Составление множества функций при формировании отладочных тестов для цифровых систем управления объектами. Мехатроника, автоматизация, управление. 2018;19(12):770-776. https://doi.org/10.17587/mau.19.770-776

For citation:


Ivannikov A.D. Control Digital System Function Set Defining While Debugging Tests Development. Mekhatronika, Avtomatizatsiya, Upravlenie. 2018;19(12):770-776. (In Russ.) https://doi.org/10.17587/mau.19.770-776

Просмотров: 56


ISSN 1684-6427 (Print)
ISSN 2619-1253 (Online)