Библиографическое описание:Адаптация метода функциональных диаграмм для анализа состояний программных модулей мультиверсионной среды реального времени : научное издание / И. В. Ковалев [и др.]. - Текст : непосредственный // Промышленные АСУ и контроллеры. - 2021. - № 7. - С. 41-46. - ISSN 1561-1531, DOI 10.25791/asu.7.2021.1297.
Аннотация:Рассматривается адаптация метода функциональных диаграмм, которая позволяет выполнить анализ состояний программных модулей, исполняемых в мультиверсионной среде в реальном времени. Показано, что при этом может быть существенно упрощенно создание автоматизированных тестов. Также метод позволяет обнаружить случаи неполноты и неоднозначности в исходных спецификациях. Предложенный метод позволяет гарантировано протестировать все логически возможные состояния системы, сократив время тестирования, так как исключаются состояния, невозможные из-за существующих логических связей.
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
Держатель оригинала документа:Федеральное государственное автономное образовательное учреждение высшего образования «Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева», Федеральное государственное автономное образовательное учреждение высшего образования «Сибирский федеральный университет», Федеральное государственное бюджетное образовательное учреждение высшего образования «Красноярский государственный аграрный университет»
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки
