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

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

 
(не показано 10 промежуточных версий этого же участника)
== Примечания и отзывы ==
<!-- <blockquote>[©]</blockquote> -->

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

<references/>

[[Category:SECR-2013]]

[[Category:Тестирование]]
<!-- topub -->
{{stats|disqus_comments=0|refresh_time=2019-09-05T20:35:212021-08-31T17:06:03.025656545886|vimeo_comments=0|vimeo_plays=1822|youtube_comments=0|youtube_plays=16}}22}}

Текущая версия на 14:06, 31 августа 2021

Аннотация

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