Books In Russian

Тестирование ПО

Практически исчерпывающий список литературы с 1973 года по настоящее время по тестированию ПО с небольшими рецензиями - Что почитать о тестировании ПО?

Основы программной инженерии

Перевод на русский язык SWEBOK 2004, Software Engineering Body of Knowledge (Свод знаний по программной инженерии). Материалы: https://github.com/ligurio/swebok-ru.

Test-Driven Development in Practice - Сергей Борисов

Тестирование программного обеспечения. Базовый курс. - Святослав Куликов

Автоматизация тестирования от «А» до «Ы» - Gennadiy Alpaev

Учебник по SilkTest - Gennadiy Alpaev

Учебник по TestComplete - Gennadiy Alpaev

Формальные методы

Michael Jackson. Problem Frames: Analysing & Structuring Software Development Problems

Хорошая книга об анализе проблем (не способов решения!), которые встают перед разработчиками ПО. Будет интересна тем, кто хочет грамотно анализировать задачи и составлять требования.

Daniel Jackson. Software Abstractions: Logic, Language, and Analysis

Книга об Alloy, инструменте для поиска моделей, и его принципах. От читателя особой подготовки не требуется, но нужны внимание и вдумчивость. Поможет понимание реляционной алгебры (операции join, транзитивного замыкания отношений). Но это необязательно, в книге всё хорошо объяснено.

Юрий Карпов. Model Checking. Верификация параллельных и распределённых программных систем

Хорошая обзорная книга о моделировании. Доходчиво написана, рассмотрены все основные темы, приведено множество примеров. Никакой серьёзной подготовки от читателя не требуется, знания матлогики и дискретки в объёме стандартной вузовской программы более чем достаточно.

Handbook of Model Checking

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

Дядов: У меня такая есть. Как справочник отличная книга, но как введение в тему - явно тяжела, зато обширная библиография к каждой главе позволяет найти книги для введения на любой вкус. Почти весь материал из этой книги есть в книге Юрия Карпова. Я бы рекомендовал Карпова. По моим впечатлениям, Карпов лучше для практиков, а Байер и Катоен для теоретиков. Подача материала у Карпова мне кажется проще, хотя и весьма сжато.

Советов: Я просто к тому, что учебник Карпова — это именно учебник (замечательный) и он, естественно, даже не претендует на полный охват тем, которые есть в современном обсуждаемом нами справочнике.

Christel Baier and Joost-Pieter Katoen. Principles of Model Checking

Компактнее, чем "Handbook of Model Cheking" (975 против 1234 стр.), там меньше материала, но объясняется более простым языком.

Введение в формальные методы верификации программ - А.С. Камкин

Верификация программ методом Model Checking - А.М.Миронов

Практикум по математической логике. Coq.

Введение в верификацию автоматных программ на основе метода Model checking - С.Э. Вельдер, А.А. Шалыто