| Тестирование систем с параллелизмом поведения на основе сокращенного графа достижимых состояний |
|
 |
|
|
| Авторы |
| | Черемисинова Л.Д. |
| Год публикации |
| | 2022 |
| DOI |
| | 10.31114/2078-7707-2022-4-71-78 |
| УДК |
| | 681.32 |
|
| Аннотация |
| | Рассматривается задача верификации реактивных систем управления с параллелизмом поведения. Полагается, что описание функционирования устройства, заданного на языке параллельных автоматов, корректно, проверке подлежит схемная (или программная) реализация. Генерация тестовой последовательности основана на обходе графа достижимых состояний параллельного автомата. Предлагается метод сокращения графа достижимости, который основан на предположении независимости параллельно происходящих переходов автомата. Усечение графа достижимости достигается за счет доопределения частичного порядка на множестве переходов, позволяющего существенно уменьшить число рассматриваемых состояний системы управления и, соответственно, число вершин графа. Получаемое сокращение графа достижимых состояний позволяет решать задачу построения тестов для более сложных систем управления. |
| Ключевые слова |
| | параллельный автомат, верификация, граф достижимых состояний, спецификация на проектирование. |
| Ссылка на статью |
| | Черемисинова Л.Д. Тестирование систем с параллелизмом поведения на основе сокращенного графа достижимых состояний // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2022. Выпуск 4. С. 71-78. doi:10.31114/2078-7707-2022-4-71-78 |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2022/pdf/D059.pdf |
