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

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

== Видео ==

{{vimeoembed|78734292|800|450}}
{{youtubelink|JRJ9qy97eeo}}
== Слайды ==

Версия 08:18, 16 июня 2017

Аннотация

Докладчик
Всеволод Котляров.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:17   Comments:0