@article{Поттосин Ю. В.2018-12-06,
author = { Поттосин Ю. В.,  Романов В. И.,  Черемисинова Л. Д.},
title = {Верификация систем с параллелизмом поведения на основе графа достижимых состояний},
year = {2019},
publisher = {NP «NEICON»},
abstract = {Рассматривается задача верификации систем управления на основе моделей их поведения, которая состоит в проверке соответствия поведения системы требованиям, предъявляемым спецификацией на ее проектирование. Тестирование предполагает выполнение экспериментов, заключающихся в моделировании исследуемой системы, в ходе которого она проверяется на вход-выходное соответствие модели. Тестовая последовательность генерируется на основе модели, описывающей желаемое поведение системы. Предлагается метод построения тестовой последовательности для верификации схемной (или программной) реализации системы управления с параллелизмом поведения, который основан на обходе графа состояний, достижимых при функционировании системы. Описывается метод построения множества достижимых полных состояний для параллельного алгоритма описания поведения системы управления и получения тестовых наборов. Полагается, что описание функционирования системы, заданное спецификацией на проектирование, корректно; проверке подлежит схемная (или программная) реализация, которая должна соответствовать этой спецификации.},
URL = {https://www.academjournals.by/publication/18340},
eprint = {https://www.academjournals.by/files/18293},
journal = {Информатика},
}