Формирование отладочного набора тестов для проверки функций цифровых систем управления объектами
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