Семантики взаимодействия с отказами, дивергенцией и разрушением. 2. Условия конечного полного тестирования

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

Add to "Quick Collection"

Description	Size	Format
Семантики взаимодействия с отказами, дивергенцией и разрушением. 2. Условия конечного полного тестирования	587 KB	Adobe Acrobat PDF	Read	Download

Title: Семантики взаимодействия с отказами, дивергенцией и разрушением. 2. Условия конечного полного тестирования
Creator: Косачев, Александр Сергеевич
|
Бурдонов, Игорь Борисович
Date: 2011
Description: Исследуются методы практического тестирования конформности исследуемой системы спецификации. Изучаются практически приемлемые ограничения на семантику, реализацию и спецификацию, а также дополнительные тестовые возможности, которые позволяют проводить полное тестирование за конечное время. Сюда относятся ограничения на размер реализации, возможность наблюдения текущего состояния реализации в процессе тестирования и ограничения на недетерминизм реализации.

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