Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.

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

Add to "Quick Collection"

Description	Size	Format
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации	3 MB	Adobe Acrobat PDF	Read	Download

#Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)

#диссертации

#автоматы конечные

#автоматы расширенные

#тестирование программного обеспечения

#синтез тестов проверяющих

#тестирование программного обеспечения мутационное

#верификация

#проверка безопасности программного обеспечения

#программы-верификаторы

#автоматные модели

#пакет программ поиска уязвимостей в программном обеспечении

#Java Path Finder (JPF), инструмент для проверки многопоточных Java программ

Title: Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.
Creator: Ермаков, Антон Дмитриевич
|
Евтушенко, Нина Владимировна (научный руководитель)
Contributor: Томский государственный университет
Date: 2016
Publisher: Томск : [б. и.]

Relationships: Show Relationship Browser for this Object
collection(s): Авторефераты, диссертации
Identifier: смотреть в электронном каталоге НБ ТГУ
Rights: Resource access is available in the premises of Research Library
Type: диссертации
Language: rus

Created: 23-08-2017

2372 Visitors

2385 Hits

12 Downloads

Авторефераты, диссертации Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.