Семантики взаимодействия с отказами, дивергенцией и разрушением. 2. Условия конечного полного тестирования
Исследуются методы практического тестирования конформности исследуемой системы спецификации. Изучаются практически приемлемые ограничения на семантику, реализацию и спецификацию, а также дополнительные тестовые возможности, которые позволяют проводить полное тестирование за конечное время. Сюда отн...
| Published in: | Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 2. С. 89-98 |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000566937 Перейти в каталог НБ ТГУ |