Промышленные АСУ и контроллеры Аннотация к статье << Назад Адаптация метода функциональных диаграмм для анализа состояний программных модулей мультиверсионной среды реального времени И.В. Ковалев, М.В. Сарамуд, Д.И. Ковалев, А.А. Брит, В.В. Лосев, Я.А. Тынченко Рассматривается адаптация метода функциональных диаграмм, которая позволяет выполнить анализ состояний программных модулей, исполняемых в мультиверсионной среде в реальном времени. Показано, что при этом может быть существенно упрощенно создание автоматизированных тестов. Также метод позволяет обнаружить случаи неполноты и неоднозначности в исходных спецификациях. Предложенный метод позволяет гарантировано протестировать все логически возможные состояния системы, сократив время тестирования, так как исключаются состояния, невозможные из-за существующих логических связей. Ключевые слова: метод функциональных диаграмм; программные модули; мультиверсионная среда; автоматизированные тесты; состояния системы; кроссплатформенность. DOI: 10.25791/asu.7.2021.1297 Стр. 41-46.