Курс знакомит с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, связанных с современными технологиями верификации программного обеспечения.
Курс основан на методиках тестирования промышленных программных систем. Он охватывает вопросы построения тестового окружения, планирования системы тестов, анализа и обнаружения дефектов программного кода тестируемой системы, интеграционного и системного тестирования, общих аспектов тестирования пользовательских интерфейсов.
В программу курса входит рассмотрение процессов верификации проектной документации, а также процессов формальной инспекции кода и документации. Детально рассматриваются различные виды документов, сопровождающих процесс верификации, и процессы разработки, в которых эти документы участвуют.
В завершение курса дается обзор методов разработки устойчивого программного обеспечения, позволяющих уменьшить продолжительность фазы тестирования без снижения его качества. Основным инструментальным средством, используемым при обучении, является Microsoft Visual Studio Team Edition for Software Testers.
По завершении курса студент овладевает всеми основными навыками, необходимыми для участия в верификации сложных промышленных систем.
Название: Верификация программного обеспечения
Авторы: Синицын С.В., Налютин Н.Ю.
Издательство: М.: НОУ "Интуит"
Год издания: 2016
Качество: Хорошее
Страниц: 445
Формат: PDF
Язык: Русский
Размер: 37.6 Mb
Скачать "Верификация программного обеспечения (2-е издание)":
