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

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Refining specifications in adaptive testing of nondeterministic finite state machines
Authors: Petrenko, Alexandre F. | Yevtushenko, Nina V.
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2009. № 1. С. 99-114
Type: статьи в журналах
Date: 2009
Description: This paper addresses testing of nondeterministic FSMs. An implementation FSM is allowed to be less nondeterministic than its specification, so the reduction relation between machines is the conformanc ... More
Add   Метод построения полного проверяющего теста для входо-выходных полуавтоматов
Authors: Громов, Максим Леонидович
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2008. № 3. С. 85-98
Type: статьи в журналах
Date: 2008
Description: В данной работе рассматривается задача нахождения полного проверяющего теста с гарантированной полнотой для входо-выходных полуавтоматов с молчанием. Решить задачу предлагается воспользовавшись извест ... More
  • «
  • ←
  • 1
  • →
  • »
^