8 (812) 320-06-69

Каталог

Категории
Высшее образование (16+) (44671)
Высшее образование
Естественные науки (2770)
Естественные науки
Общественные науки (3854)
Общественные науки
Информатика и компьютерные технологии (4975)
Информатика и компьютерные технологии
Инженерное дело (1487)
Инженерное дело
Телекоммуникации, электроника, электротехника и радиотехника (1412)
Телекоммуникации, электроника, электротехника и радиотехника
Строительство. Архитектура (819)
Строительство. Архитектура
Строительство. Архитектура. Журналы (17)
Строительство. Архитектура. Журналы
Бетон и железобетон (3)
Бетон и железобетон
Жилищное строительство (7)
Жилищное строительство
Строительные материалы (7)
Строительные материалы
Юридические науки.Право (4557)
Юридические науки.Право
Отрасли права (2870)
Отрасли права
Гуманитарные науки (6444)
Гуманитарные науки
Иностранные языки (2420)
Иностранные языки
Экономика. Экономические науки (7774)
Экономика. Экономические науки
Образование. Педагогические науки (4112)
Образование. Педагогические науки
Медицина и здравоохранение (993)
Медицина и здравоохранение
Физическая культура и спорт (510)
Физическая культура и спорт
Среднее профессиональное образование (14+) (3312)
Среднее профессиональное образование
Коллекции (48919)
Коллекции
Издательские коллекции (48500)
Издательские коллекции
Журналы (1146)
Журналы
Остаться в выбранном разделе
Назад к каталогу

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

Верификация программного обеспечения ISBN 978-5-94774-825-3
ISBN 978-5-94774-825-3
Авторы: 
Синицын С.В., Налютин Н.Ю.
Тип издания: 
Учебное пособие
Издательство: 
Москва: Национальный Открытый Университет ИНТУИТ
Год: 
2024
Количество страниц: 
445
Аннотация

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

Библиографическое описание Скопировать библиографическое описание

Синицын С.В. Верификация программного обеспечения / С.В. Синицын, Н.Ю. Налютин. - Москва : Национальный Открытый Университет ИНТУИТ, 2024. - 445 с. - ISBN 978-5-94774-825-3. - URL: http://secure.ibooks.ru/bookshelf/394179/reading (дата обращения: 23.07.2025). - Текст: электронный.