Normal view
MARC view
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации (Record no. 497542)
[ view plain ]
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 |
Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра |
---|---|---|---|---|---|---|---|---|---|---|
Научная библиотека ТГУ | Книгохранилище | 05/04/2021 | 1700.00 | 2-022214 | 13820000950950 | Выдается в читальный зал |