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

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Семантики взаимодействия с отказами, дивергенцией и разрушением. 2. Условия конечного полного тестирования
Authors: Косачев, Александр Сергеевич | Бурдонов, Игорь Борисович
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 2. С. 89-98
Type: статьи в журналах
Date: 2011
Description: Исследуются методы практического тестирования конформности исследуемой системы спецификации. Изучаются практически приемлемые ограничения на семантику, реализацию и спецификацию, а также дополнительны ... More
Add   Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 1. Гипотеза о безопасности и безопасная конформность
Authors: Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2010. № 4. С. 124-133
Type: статьи в журналах
Date: 2010
Description: Исследуются формальные методы тестирования конформности исследуемой системы спецификации. Семантика взаимодействия определяет тестовые возможности, сводимые к наблюдению действий и отказов (отсутствия ... More
  • «
  • ←
  • 1
  • →
  • »
^