Preview

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

Расширенный поиск

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

https://doi.org/10.17587/mau.18.795-801

Аннотация

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

Об авторе

А. Д. Иванников
Институт проблем проектирования в микроэлектронике РАН
Россия


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

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

2. Cruz A. M., Fernandez R. B., Lozano H. M., Ramirez Salinas M. A., Vila Vargas L. A. Automated Functional Test Generation for Digital Systems Through a Compact Binary Differential Evolution Algorithm // Journal of Electronic Testing-Theory and Applications. 2015. Vol. 31, N. 4. P. 361-380.

3. Зеленко Г. В., Иванников А. Д., Рощин А. В., Стемпковский А. Л. Алгебраические модели д екомпозиции задачи отладки проектов цифровых систем с помощью моделирования // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. № 3. С. 232-239.

4. Стемпковский А. Л., Гаврилов С. В., Глебов А. Л. Методы логического и логико-временного анализа цифровых КМОП СБИС. М.: Наука, 2007. 220 с.

5. Jasnetski A., Oyeniran S. A., Tsertoy A. High-Level Modeling and Testing of Multiple Control Faults in Digital Systems // IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). 2016. Paper # 7482445.

6. Березкин А. В., Федотов А. А., Филиппов А. С. Тестирование цифровых систем, заданных высокоуровневыми спецификациями // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2011. Т. 6-1, № i38. С. 62-70.

7. Jain S., Govani P., Podda K. B., La A. K., Parmar R. M. Functional verification of DSP based on-boad VLSI design // International Conference on VLSI Systems, Architectures, Technology and Applications (VLSI-SATA). 2016. P. 1-4.

8. Ubar R., Oyeniran S. A. Multiple control fault testing in digital systems with high-level decision diagrams // 20th IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR). 2016. Paper # 7501287.

9. Иванников В. П., Камкин А. С., Косачев А. С., Кулямин В. В., Петренко А. К. Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры // Программирование. 2007. Т. 33, № 5. С. 47-62.

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

11. Мальцев А. И. Алгебраические системы. М.: Наука. 1970.392 с.


Рецензия

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


Иванников А.Д. Формирование отладочного набора тестов для проверки функций цифровых систем управления объектами. Мехатроника, автоматизация, управление. 2017;18(12):795-801. https://doi.org/10.17587/mau.18.795-801

For citation:


Ivannikov A.D. Debugging Input Set Generation for Testing of Control Digital Systems Functions. Mekhatronika, Avtomatizatsiya, Upravlenie. 2017;18(12):795-801. (In Russ.) https://doi.org/10.17587/mau.18.795-801

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


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


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