Основы тестирования и верификации ПО: учебное пособие

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

В первой части подробно рассматриваются процессы тестирования: специфицирование ПО, документирование, модульное тестирование в средах IntelliJ IDEA и MS Visual Studio. Особое внимание уделяется методологиям разработки через тестирование (TDD) и через поведение (BDD) на языке Java, а также функциональному автоматизированному тестированию в IBM Rational Tester и тестированию веб-приложений с помощью Selenium.

Вторая часть посвящена перспективным методам верификации и моделирования: контрактному программированию на языке Eiffel, .NET Code Contracts, Model Based Testing в MS Spec Explorer, Model Based Checking в среде iSpin с использованием инструмента Spin, а также платформе Frama-C. Эти технологии позволяют формально проверять корректность программного кода.

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