Главная страница « Научно-исследовательский семинар « 2003 «
|
Заседание научно-исследовательского семинара. |
|
Доклад: «Тестирование на основе формальных спецификаций в процессах разработки программных комплексов» |
|
Предыдущее заседание « | 21.2.2003 | » Следующее заседание |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
В докладе рассматриваются вопросы применения формальных методов для решения задач автоматизации тестирования программного обеспечения. Основное внимание будет уделено следующим вопросам:
методам спецификации поведения программных систем;
формальным нотациям, используемым для разработки спецификаций;
единой архитектуре тестирующих программ, которые строятся на основе формальных спецификаций;
проблемам внедрения формальных методов в процессы разработки программного обеспечения.
Приглашаются аспиранты и стажеры программистских кафедр.
|
© Кафедра системного программирования ВМК МГУ. |
Обновлено: 4.10.2005 |