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

== Примечания и отзывы ==
<!-- <blockquote>[©]</blockquote> -->

* [http://2013.secr.ru/submitted-presentations/integrated-technology-for-software-verification-and-testing Страница доклада на сайте конференции]

<references/>

[[Category:SECR-2013]]
[[Category:ToPublish]]
[[Category:Тестирование]]
<!-- topub -->

Версия 23:22, 9 ноября 2014

Аннотация

Докладчик

Всеволод Котляров

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

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

Видео

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

•  Отлично!
•  Хорошо.
•  Нормально…
•  Не очень :(
•  Просто хочу узнать результаты.

Слайды

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

• Страница доклада на сайте конференции