Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013)
Материал из 0x1.tv
Короткая ссылка: 20131025-36
Содержание
Аннотация
- Докладчик
- Всеволод Котляров
В настоящей работе описывается технология и инструментальные средства, автоматизирующие цикл создания качественного программного продукта от формализации требований на естественном языке, их анализа и символьной верификации до автоматической генерации кода тестов и собственно тестирования.
Особенностью технологии является проверка удовлетворенности семантики требований в сгенерированном программном продукте. Несмотря на широкую область применений сегодняшняя ориентация технологии на сетевые и распределенные приложения.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Слайды
Примечания и отзывы
Plays:44
Comments:0