Исследования Microsoft Research в области верификации и тестирования программно-аппаратных комплексов

Play Исследования Microsoft Research в области верификации и тестирования программно-аппаратных комплексов
Sign in to queue

Description

​Индустрия разработки программного обеспечения постоянно развивается, порождая расширение функциональности и увеличение сложности решений. При этом, требования и ожидания потребителей постоянно растут. Каким же образом можно гарантировать качество, в том числе выполнение определённых свойств, разрабатываемых продуктов?  В настоящем выступлении будут рассмотрены подходы, технологии и инструменты, разработанные в Microsoft Research для решения задач верификации и тестирования свойств программных систем: доказательства свойств путём вывода (Spec#, Z3 и HAVOC); верификации параллельных программ (VCC, Chess и Cuzz); проверки свойств безопасности; верификации драйверов устройств.

Day:

1

Code:

Microsoft Research in the field of testing and verification of software and hardware

Embed

Download

Download this episode

The Discussion

Add Your 2 Cents