Тестирование системы автоматов

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Тестирование системы автоматов	590 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/19988605/38/10

Title: Тестирование системы автоматов
Title: Testing of automata system
Creator: Бурдонов, Игорь Борисович
|
Косачев, Александр Сергеевич
Date: 2017
DOI: 10.17223/19988605/38/10
Description: Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными автоматами, а взаимодействие между ними - обменом сообщениями по симплексным каналам связи. Система описывается ориентированным графом связей, вершины которого соответствуют автоматам компонентов, а дуги - каналам связи. При тестировании возможно наблюдение состояний автоматов и передаваемых сообщений. Гипотеза о связях предполагает, что граф связей статический и не содержит ошибок. Это позволяет существенно сократить время тестирования детерминированной системы вплоть до экспоненциального уменьшения числа тестовых воздействий.

Relationships: Show Relationship Browser for this Object
collection(s): Журналы ТГУ
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2017. № 38. С. 63-71
Language: rus

Created: 17-04-2017

925 Visitors

804 Hits

131 Downloads

Журналы ТГУ Тестирование системы автоматов