верификация программ

  • ХабрахабрФото Подборка книг по QA без Романа Савина

    Подборка книг по QA без Романа Савина

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

    Читать далее »
  • ХабрахабрФото А ваш фильтр Калмана правильно работает?

    А ваш фильтр Калмана правильно работает?

    Фильтр Калмана является одним из самых популярных алгоритмов фильтрации. Он широко распространен в машинном обучении, навигационных системах, автопилотируемых устройствах и пр. В открытых источниках можно встретить множество работ, статей и книг по тому, как работает этот загадочный фильтр, будь то линейный, расширенный (extended), сигма-точечный (unscented) или любой другой фильтр Калмана. Однако, вопрос корректности работы фильтра освещается намного реже. В это…

    Читать далее »
  • ХабрахабрФото [Из песочницы] Формальная верификация на примере задачи о волке, козе и капусте

    [Из песочницы] Формальная верификация на примере задачи о волке, козе и капусте

    На мой взгляд, в русскоязычном секторе интернета тематика формальной верификации освещена недостаточно, и особенно не хватает простых и наглядных примеров. Я приведу такой пример из зарубежного источника, и дополню собственным решением известной задачи о переправе волка, козы и капусты на другую сторону реки. Но вначале вкратце опишу, что из себя представляет формальная верификация и зачем она нужна. Под формальной верификацией…

    Читать далее »


Кнопка «Наверх»