На YouTube начали заливать записи с прошедших DotNext, так что я буду иногда кидаться в вас самыми интересными из этих докладов.

Начнем с одного из самых уникальных выступлений прошедших конференций. Два Дмитрия, Иванов и Мордвинов, рассказали нам о символьном исполнении в .NET. Доклад получился практическим, исследовательским и мозговзрывающим одновременно.

Раз — тесты можно не писать, тесты можно генерить. Для этого в .NET есть IntelliTest. Объяснять, почему генерация тестов это приятно вроде бы не нужно — их и писать лень, и ошибиться в этом процессе легко. Но как гарантировать, что тесты корректно проверяют валидность вашего кода?

Два — под всем этим лежит солидная теоретическая база, в основе которой SMT-солверы. Мощнейший инструмент, позволяющий решать очень разнообразные проблемы — и Дмитрии кое-что нам об этом расскажут.

Три — такой подход может изменить то, как мы вообще программируем. И об этом, разумеется, докладчики тоже поговорят.

Короче, очень любопытный контент получился, не жаль потратить час времени.

https://youtu.be/csbuDEEWXHw