Верификация программного обеспечения

Автор - Никита Налютин, Сергей Синицын

Книга Никиты Налютина и Сергея Синицына "Верификация программного обеспечения" является учебным курсом, который знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.

Курс основан на методиках тестирования промышленных программных систем. Он охватывает вопросы построения тестового окружения, планирования системы тестов, анализа и обнаружения дефектов программного кода тестируемой системы, интеграционного и системного тестирования, общих аспектов тестирования пользовательских интерфейсов. В программу курса входит рассмотрение процессов верификации проектной документации, а также процессов формальной инспекции кода и документации. Детально рассматриваются различные виды документов, сопровождающих процесс верификации, и процессы разработки, в которых эти документы участвуют. В завершение курса дается обзор методов разработки устойчивого программного обеспечения, позволяющих уменьшить продолжительность фазы тестирования без снижения его качества. Основным инструментальным средством, используемым при обучении, является Microsoft Visual Studio Team Edition for Software Testers. По завершении курса студент будет владеть всеми основными навыками, необходимыми для участия в верификации сложных промышленных систем.

Данный учебный курс разработан преподавателями кафедры "Кибернетика" МИФИ в тесном сотрудничестве с предприятием авиационной отрасли ДС БАРС (Бортовые Алгоритмы и Разработка Систем) и московским представительством корпорации Microsoft. Настоящий курс ориентирован на студентов и специалистов -разработчиков программного обеспечения, изучающих вопросы технологии создания программных систем с повышенными требованиями к критичности, то есть таких систем, отказы которых могут привести к катастрофическим последствиям или значительным материальным потерям. Основная ориентация курса - на персонал, который непосредственно вовлечен в процесс верификации программного обеспечения системы. Материал курса будет полезен для руководителей проектов, разработчиков требований и архитектуры системы, так как от них зависит организация работ и качество проектной документации. В курсе затронуты вопросы конфигурационного управления и управления качеством, которые могут быть интересны всем участникам программного проекта.

Предполагается, что для восприятия материала курса необходимо знать язык программирования С, C++ или C# и быть знакомым с основами разработки программных систем. Желательно иметь представление о модульном и объекно-ориентированном подходах, пошаговой детализации и коллективной разработке программного обеспечения.

Издательство – ИНТУИТ

Год издания – 2016

Формат книги - PDF

Размер - 37,6 Мб

СКАЧАТЬ с gigapeta.com

Или

СКАЧАТЬ с turbobit.net

Или

СКАЧАТЬ с hitfile.net