Автоматизация тестирования прототипов программ, реализующих функции логического управления

В.Н. Негода; В.А. Фолунин

Автоматизация тестирования прототипов программ, реализующих функции логического управления

научная статья УДК 004.415.53, 004.4’24 Страницы: 91-98

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

Ключевые слова: тестирование программ автоматизация тестирования системы логического управления разработка на основе моделей разработка на основе тестов

Аннотация

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

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

Негода В.Н., Фолунин В.А. Автоматизация тестирования прототипов программ, реализующих функции логического управления // Радиотехника. 2017. № 6. С. 91–98.

Список источников

Майерс Г., Баджетт Т., Сандлер К. Искусство тестирования программ. Изд. 3-е. М.: Диалектика. 2016. 272 с.
Журавлев С.С., Окольнишников В.В., Рудометов С.В. Инструментальные средства отладки и тестирования программ управления АСУ ТП // Актуальные проблемы гуманитарных и естественных наук. 2016. № 2. С. 49−54.
Контроллеры DirectLOGIC. Основы программирования. URL = https://www.plcsystems.ru/catalog/DirectLOGIC_2/doc/BaseRLL.pdf (дата обращения 20.04.2017).
Петров И.В. Программируемые контроллеры. Стандартные языки и приемы прикладного проектирования / Под ред. проф. В.П. Дьяконова. М.: СОЛОН-Пресс. 2004. 256 с.
Finite State Machine Language 0.1.2. URL = http://finite-state-machine-language.soft112.com (дата обращения 20.04.2017).
Корнеев Г.А., Шамгунов Н.Н., Шалыто А.А. Язык State Machine – расширение языка Java для эффективной реализации автоматов // Информационно-управляющие системы. 2005. № 1. С. 16−24.
Бек К. Экстремальное программирование: разработка через тестирование. СПб.: Питер. 2003. 224 с.
Data Driven Testing. URL = https://docs.microsoft.com/ru-ru/windows-hardware/drivers/taef/data-driven-testing (20.04.2017).
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).
Элиенс А. Принципы объектно-ориентированной разработки программ. Изд. 2-е. М.: Вильямс. 2002. 496 с.
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.
Шалыто А.А., Туккель Н.И. SWITCH-технология – автоматный подход к созданию программного обеспечения «реактивных» систем // Программирование. 2001. № 5. С. 45−62.
Капитонова Ю.В., Летичевский А.А. Математическая теория проектирования вычислительных систем. М.: Наука. 1988. 296 с.
Негода В.Н. Унификация проектных решений при автоматном программировании систем логического управления // Автоматизация процессов управления. 2014. № 3. С. 103−111.
Модуль «Digital inputs filter». Руководство пользователя. URL = http://www.aggsoft.ru/log-monitor/plugins/adamdio.pdf (дата обращения 20.04.2017).
Testlib. URL = https://github.com/MikeMirzayanov/testlib (дата обращения 20.04.2017).

[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).

Аннотация

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

Похожие статьи