Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации (Record no. 497542)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 02827nam a2200457 i 4500
001 - Контрольный номер
Контрольное поле vtls000565581
005 - Дата корректировки
Контрольное поле 20230123130253.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr |
008 - Кодируемые данные
Контрольное поле постоянной длины 171211s2016 ru a fsbm 000 0 rus d
035 ## - Системный контрольный номер
Системный контрольный номер to000565581
040 ## - Источник каталогиз.
Служба первич. каталог. RU-ToGU
Код языка каталог. rus
Служба, преобразующая запись RU-ToGU
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории 05.13.01
Источник кода nsnr
080 ## - Индекс УДК
Индекс УДК 004.415.53:519.713(043.3)
084 ## - Индекс другой классификации/Индекс ББК
Индекс другой классификации/Индекс ББК 004.415.53:519.718(043.3)
100 1# - Автор
Автор Ермаков, Антон Дмитриевич
9 (RLIN) 95131
245 10 - Заглавие
Заглавие Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации
Продолж. заглавия диссертация на соискание ученой степени кандидата технических наук : 05.13.01
Ответственность Ермаков Антон Дмитриевич ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т
260 ## - Выходные данные
Место издания Томск
Издательство [б. и.]
Дата издания 2016
300 ## - Физическое описание
Объем 144 л.
Иллюстрации/тип воспроизводства ил., табл.
504 ## - Библиография
Библиография Библиогр.: л. 132-142
506 ## - Ограничения на доступ к материалу
Ограничения доступа Доступ в сети ТГУ
650 #7 - Тематические рубрики
Основная рубрика Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
Источник рубрики nsnr
9 (RLIN) 114005
653 ## - Ключевые слова
Ключевые слова диссертации
653 ## - Ключевые слова
Ключевые слова автоматы конечные
653 ## - Ключевые слова
Ключевые слова автоматы расширенные
653 ## - Ключевые слова
Ключевые слова тестирование программного обеспечения
653 ## - Ключевые слова
Ключевые слова синтез тестов проверяющих
653 ## - Ключевые слова
Ключевые слова тестирование программного обеспечения мутационное
653 ## - Ключевые слова
Ключевые слова верификация
653 ## - Ключевые слова
Ключевые слова проверка безопасности программного обеспечения
653 ## - Ключевые слова
Ключевые слова программы-верификаторы
653 ## - Ключевые слова
Ключевые слова автоматные модели
653 ## - Ключевые слова
Ключевые слова пакет программ поиска уязвимостей в программном обеспечении
653 ## - Ключевые слова
Ключевые слова Java Path Finder (JPF), инструмент для проверки многопоточных Java программ
655 #4 - Термин индексирования — жанр/форма
Жанр/форма диссертации
9 (RLIN) 743499
700 1# - Другие авторы
Другие авторы Евтушенко, Нина Владимировна
Код отношения ths
9 (RLIN) 70064
710 2# - Другие организации
Организация/юрисдикция Томский государственный университет
9 (RLIN) 53646
852 4# - Местонахождение единицы хранения
Код организации-хранителя RU-ToGU
Код страны ru
856 7# - Электронный адрес документа
URL <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000565581">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000565581</a>
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 497542
Holdings
Не выдается Отсутствует на месте Поврежден Исходное место хранения Местоположение Дата поступления Цена Всего выдач Расстановочный шифр Штрих-код Класс экземпляра
      Научная библиотека ТГУ Книгохранилище 05/04/2021 1700.00   2-022214 13820000950950 Выдается в читальный зал