В этом вебинаре будет сделан обзор инструментов MathWorks, связанных с верификацией программного обеспечения: Simulink Verification and Validation, Simulink Design Verifier, Polyspace, а также инструментов, позволяющих сократить время сертификации по стандартам DO-178B и семейству стандартов IEC 61508: DO Qualification Kit и IEC Certification Kit.


Также на примерах будет показано, как:
• Разрабатывать исполняемую спецификацию с привязкой к текстовым документам;
• Доказывать отсутствие run time ошибок (переполнения, деление на ноль) в модели формальными методами;
• Выполнять функциональное тестирование и делать оценку его качества;
• Находить "мертвый код" и выполнять генерацию тестов для 100% охвата тестированием;
• Доказывать выполнение требований при любых входных данных с помощью формальных методов;
• Доказывать отсутствие run time ошибок в C/C++ коде;
• Использовать Qualification Kit и IEC Certification Kit для ускорения процесса сертификации.


Вебинар проводят Денис Жегалин и Дмитрий Шидловский - инженеры Департамента MathWorks.


Вебинар будет интересен разработчикам программного обеспечения критичного к безопасности, тестировщикам и руководителям проектов.


Предварительная регистрация на вебинар является обязательной!


Вносить данные необходимо на русском языке!
После регистрации участник получит письмо с дальнейшими инструкциями.

Явно не хватает таких же вопросов про членов семьи, уровне их дохода и сексуальной ориентации . Вы на вебинар приглашаете или базу данных для террористов собираете?