350 руб
Журнал «Радиотехника» №6 за 2017 г.
Статья в номере:
Автоматизация тестирования прототипов программ, реализующих функции логического управления
Тип статьи: научная статья
УДК: 004.415.53, 004.4’24
Ключевые слова: тестирование программ автоматизация тестирования системы логического управления разработка на основе моделей разработка на основе тестов.
Авторы:

В.Н. Негода – д.т.н., доцент, профессор, кафедра «Вычислительная техника», Ульяновский государственный технический университет E-mail: nvn@ulstu.ru

В.А. Фолунин – аспирант, кафедра «Вычислительная техника», Ульяновский государственный технический университет

E-mail: v.folunin@ulstu.ru

Аннотация:

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

Страницы: 91-98
Список источников
  1. Майерс Г., Баджетт Т., Сандлер К. Искусство тестирования программ. Изд. 3-е. М.: Диалектика. 2016. 272 с.
  2. Журавлев С.С., Окольнишников В.В., Рудометов С.В. Инструментальные средства отладки и тестирования программ управления АСУ ТП // Актуальные проблемы гуманитарных и естественных наук. 2016. № 2. С. 49−54.
  3. Контроллеры DirectLOGIC. Основы программирования. URL = https://www.plcsystems.ru/catalog/DirectLOGIC_2/doc/BaseRLL.pdf (дата обращения 20.04.2017).
  4. Петров И.В. Программируемые контроллеры. Стандартные языки и приемы прикладного проектирования / Под ред. проф. В.П. Дьяконова. М.: СОЛОН-Пресс. 2004. 256 с.
  5. Finite State Machine Language 0.1.2. URL = http://finite-state-machine-language.soft112.com (дата обращения 20.04.2017).
  6. Корнеев Г.А., Шамгунов Н.Н., Шалыто А.А. Язык State Machine – расширение языка Java для эффективной реализации автоматов // Информационно-управляющие системы. 2005. № 1. С. 16−24.
  7. Бек К. Экстремальное программирование: разработка через тестирование. СПб.: Питер. 2003. 224 с.
  8. Data Driven Testing. URL = https://docs.microsoft.com/ru-ru/windows-hardware/drivers/taef/data-driven-testing (20.04.2017).
  9. Parviainen P., Takalo J., Teppola S., Tihinen M. Model-Driven Development. Process and practices. URL = http://www.vtt.fi/inf/pdf/workingpapers/2009/ W114.pdf (дата обращения 20.04.2017).
  10. Элиенс А. Принципы объектно-ориентированной разработки программ. Изд. 2-е. М.: Вильямс. 2002. 496 с.
  11. Tucker J., Zucker J. Computable functions and semicomputable sets on many sorted algebras // Handbook of Logic in Computer Science. 2000. V. 5. P. 317−523.
  12. Шалыто А.А., Туккель Н.И. SWITCH-технология – автоматный подход к созданию программного обеспечения «реактивных» систем // Программирование. 2001. № 5. С. 45−62.
  13. Капитонова Ю.В., Летичевский А.А. Математическая теория проектирования вычислительных систем. М.: Наука. 1988. 296 с.
  14. Негода В.Н. Унификация проектных решений при автоматном программировании систем логического управления // Автоматизация процессов управления. 2014. № 3. С. 103−111.
  15. Модуль «Digital inputs filter». Руководство пользователя. URL = http://www.aggsoft.ru/log-monitor/plugins/adamdio.pdf (дата обращения 20.04.2017).
  16. Testlib. URL = https://github.com/MikeMirzayanov/testlib (дата обращения 20.04.2017).
Дата поступления: 17 мая 2017 г.