верификация программ
-
Хабрахабр
Подборка книг по QA без Романа Савина
«Верификация программного обеспечения» Курс лекций, С.В. Синицын, Н.Ю. Налютин Да, это курс лекций от Московского Инженерно-Физического Института — наши институты выпускают интересные книги. Вы ещё не знаете, что такое жизненный цикл ПО, или какие тестовые ситуации надо создать для условия If (a>b)?! Пожалуйста, раздел 2. 4. 5. «Тестирование операций сравнения чисел» вам тут же выдаст уже готовые блоки сравнения чисел. Может…
Читать далее » -
Хабрахабр
А ваш фильтр Калмана правильно работает?
Фильтр Калмана является одним из самых популярных алгоритмов фильтрации. Он широко распространен в машинном обучении, навигационных системах, автопилотируемых устройствах и пр. В открытых источниках можно встретить множество работ, статей и книг по тому, как работает этот загадочный фильтр, будь то линейный, расширенный (extended), сигма-точечный (unscented) или любой другой фильтр Калмана. Однако, вопрос корректности работы фильтра освещается намного реже. В это…
Читать далее » -
Хабрахабр
[Из песочницы] Формальная верификация на примере задачи о волке, козе и капусте
На мой взгляд, в русскоязычном секторе интернета тематика формальной верификации освещена недостаточно, и особенно не хватает простых и наглядных примеров. Я приведу такой пример из зарубежного источника, и дополню собственным решением известной задачи о переправе волка, козы и капусты на другую сторону реки. Но вначале вкратце опишу, что из себя представляет формальная верификация и зачем она нужна. Под формальной верификацией…
Читать далее »