Сибирский федеральный университет

Тип публикации: статья из журнала

Год издания: 2021

Идентификатор DOI: 10.25791/asu.7.2021.1297

Ключевые слова: functional diagram method, software modules, multiversion environment, automated tests, System states, cross-platform, метод функциональных диаграмм, программные модули, мультиверсионная среда, автоматизированные тесты, состояния системы, кроссплатформенность

Аннотация: Рассматривается адаптация метода функциональных диаграмм, которая позволяет выполнить анализ состояний программных модулей, исполняемых в мультиверсионной среде в реальном времени. Показано, что при этом может быть существенно упрощенно создание автоматизированных тестов. Также метод позволяет обнаружить случаи неполноты и неоднозначности в исходных спецификациях. Предложенный метод позволяет гарантировано протестировать все логически возможные состояния системы, сократив время тестирования, так как исключаются состояния, невозможные из-за существующих логических связей. An adaptation of the method of functional diagrams is considered, which makes it possible to analyze the states of software modules executed in a multiversion environment in real time. It is shown that in this case the creation of automated tests can be signifi cantly simplified. The method also allows detecting cases of incompleteness and ambiguity in the original specifications. The proposed method allows for guaranteed testing of all logically possible states of the system, reducing the testing time, since states that are impossible due to existing logical connections are excluded.

Журнал: Промышленные АСУ и контроллеры

Выпуск журнала: № 7

Номера страниц: 41-46

ISSN журнала: 15611531

Место издания: Москва

Издатель: Издательство "Научтехлитиздат"

• Ковалев Игорь Владимирович (Федеральное государственное автономное образовательное учреждение высшего образования «Сибирский федеральный университет»)
• Сарамуд Михаил Владимирович (Федеральное государственное автономное образовательное учреждение высшего образования «Сибирский федеральный университет»)
• Ковалев Дмитрий Игоревич (Федеральное государственное бюджетное образовательное учреждение высшего образования «Красноярский государственный аграрный университет»)
• Брит Анна Александровна (Федеральное государственное бюджетное образовательное учреждение высшего образования «Красноярский государственный аграрный университет»)
• Лосев Василий Владимирович (Федеральное государственное автономное образовательное учреждение высшего образования «Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева»)
• Тынченко Ядвига Александровна (Федеральное государственное автономное образовательное учреждение высшего образования «Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева»)

• РИНЦ (eLIBRARY.RU)
• Список ВАК