Электронная библиотека (репозиторий) Томского государственного университета
тестирование

Add to Quick Collection   All 4 Results

Showing items 1 - 4 of 4.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Тестирование системы автоматов
Authors: Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2017. № 38. С. 63-71
Type: статьи в журналах
Date: 2017
Description: Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными автоматами, а взаимодействие между ними - обменом сообщениями по симплексным каналам связи. Система о ... More
Add   Тестирование в контексте для реализации протокола TCP на основе автоматных моделей
Authors: Щипачев, Никита Михайлович | Кушик, Наталья Геннадьевна
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 115-118
Type: статьи в журналах
Date: 2015
Add   A practical approach for testing timed deterministic finite state machines with single clock
Authors: El-Fakih, Khaled | Yevtushenko, Nina V. | Simao, Adenilso da Silva
Source: Science of Computer Programming. 2014. Vol. 80, Part B. P. 343-355
Type: статьи в журналах
Date: 2014
Add   FSM-based testing from user defined faults adapted to incremental and mutation testing
Authors: Dorofeeva, R. | Yevtushenko, Nina V. | Bochmann, G. V. | El-Fakih, K. A.
Source: Programming and computer software. 2012. Vol. 38, № 4. P. 201-209
Type: статьи в журналах
Date: 2012
  • «
  • ←
  • 1
  • →
  • »
^