Главная страница « Научно-исследовательский семинар « 2003 «

В докладе рассматриваются вопросы применения формальных методов для решения задач автоматизации тестирования программного обеспечения. Основное внимание будет уделено следующим вопросам:

• методам спецификации поведения программных систем;
  

• формальным нотациям, используемым для разработки спецификаций;
  

• единой архитектуре тестирующих программ, которые строятся на основе формальных спецификаций;
  

• проблемам внедрения формальных методов в процессы разработки программного обеспечения.

Приглашаются аспиранты и стажеры программистских кафедр.