Normal view
MARC view
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации диссертация на соискание ученой степени кандидата технических наук : 05.13.01 Ермаков Антон Дмитриевич ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т
Material type: TextPublication details: Томск [б. и.] 2016Description: 144 л. ил., таблSubject(s): Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) | диссертации | автоматы конечные | автоматы расширенные | тестирование программного обеспечения | синтез тестов проверяющих | тестирование программного обеспечения мутационное | верификация | проверка безопасности программного обеспечения | программы-верификаторы | автоматные модели | пакет программ поиска уязвимостей в программном обеспечении | Java Path Finder (JPF), инструмент для проверки многопоточных Java программGenre/Form: диссертации Other classification: 004.415.53:519.718(043.3) Online resources: Click here to access onlineItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 2-022214 (Browse shelf(Opens below)) | Available | 13820000950950 |
Библиогр.: л. 132-142
Доступ в сети ТГУ
There are no comments on this title.
Log in to your account to post a comment.