Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Новая страница: «== Аннотация == ;Докладчик: {{Speaker|Всеволод Котляров}} <blockquote> В настоящей работе описывается…») |
StasFomin (обсуждение | вклад) |
||
| (не показана одна промежуточная версия этого же участника) | |||
== Видео ==
{{vimeoembed|78734292|800|450}}
<poll>
ALTERNATIVE
REVOTE
UNIQUE
Оцените доклад «{{PAGENAME}}»:
Отлично!
Хорошо.
Нормально…
Не очень :(
Просто хочу узнать результаты.
</poll>
{{youtubelink|JRJ9qy97eeo}}{{letscomment}}
== Слайды ==
[[File:Интегрированная технология верификации и тестирования промышленного программного продукта (Всеволод Котляров, SECR-2013).pdf|left|page=-|256px]]
{{----}}
== Примечания и отзывы ==
<!-- <blockquote>[©]</blockquote> -->
* [http://2013.secrus.ruorg/submitted-presentations/integrated-technology-for-software-verification-and-testing Страница доклада на сайте конференции]
<references/>
[[Category:SECR-2013]]
[[Category:ToPublish]]
[[Category:Тестирование]]
<!-- topub -->
{{stats|disqus_comments=0|refresh_time=2021-08-31T17:06:03.545886|vimeo_comments=0|vimeo_plays=22|youtube_comments=0|youtube_plays=22}} | |||
Текущая версия на 14:06, 31 августа 2021
Содержание
Аннотация
- Докладчик
- Всеволод Котляров
В настоящей работе описывается технология и инструментальные средства, автоматизирующие цикл создания качественного программного продукта от формализации требований на естественном языке, их анализа и символьной верификации до автоматической генерации кода тестов и собственно тестирования.
Особенностью технологии является проверка удовлетворенности семантики требований в сгенерированном программном продукте. Несмотря на широкую область применений сегодняшняя ориентация технологии на сетевые и распределенные приложения.
Видео
Посмотрели доклад? Понравился? Напишите комментарий! Не согласны? Тем более напишите.
Слайды
Примечания и отзывы
Plays:44
Comments:0