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

== Аннотация ==
;Докладчик: {{Speaker|Всеволод Котляров}}
<blockquote>
В настоящей работе описывается технология и инструментальные средства, автоматизирующие цикл создания качественного программного продукта от формализации требований на естественном языке, их анализа и символьной верификации до автоматической генерации кода тестов и собственно тестирования.

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

== Видео ==

{{vimeoembed|78734292|800|450}}
{{youtubelink|JRJ9qy97eeo}}{{letscomment}}
== Слайды ==
[[File:Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf|left|page=-|256px]]

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

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

<references/>

[[Category:SECR-2013]]

[[Category:Тестирование]]
<!-- topub -->
{{stats|disqus_comments=0|refresh_time=2019-05-08T01:02:23.925067|vimeo_comments=0|vimeo_plays=18|youtube_comments=0|youtube_plays=15}}