Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013)

Материал из 0x1.tv

Версия от 14:06, 31 августа 2021; StasFomin (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Короткая ссылка: 20131025-36

Аннотация

Докладчик
Всеволод Котляров.jpg
Всеволод Котляров

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

Особенностью технологии является проверка удовлетворенности семантики требований в сгенерированном программном продукте. Несмотря на широкую область применений сегодняшняя ориентация технологии на сетевые и распределенные приложения.

Видео

on youtube

Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.

Слайды

Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf

Примечания и отзывы


Plays:44   Comments:0

Источник — «https://0x1.tv/index.php?title=Интегрированная_технология_верификации_и_тестирования_промышленного_программного_продукта_(Всеволод_Котляров,_SECR-2013)&oldid=179852»