Add to Quick Collection
All 3 Results
Showing items 1 - 3 of 3.
Add All Items to Quick Collection
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2017. № 38. С. 63-71
Type: статьи в журналах
Date: 2017
Description:
Статья посвящена проблеме тестирования составных систем, компоненты которых моделируются конечными автоматами, а взаимодействие между ними - обменом сообщениями по симплексным каналам связи. Система о
... More
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 2. С. 89-98
Type: статьи в журналах
Date: 2011
Description:
Исследуются методы практического тестирования конформности исследуемой системы спецификации. Изучаются практически приемлемые ограничения на семантику, реализацию и спецификацию, а также дополнительны
... More
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2010. № 4. С. 124-133
Type: статьи в журналах
Date: 2010
Description:
Исследуются формальные методы тестирования конформности исследуемой системы спецификации. Семантика взаимодействия определяет тестовые возможности, сводимые к наблюдению действий и отказов (отсутствия
... More