Книга: Синицын С.В. «Верификация программного обеспечения»

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

Серия: "Основы информационных технологий"

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

Издательство: "Бином. Лаборатория знаний" (2017)

ISBN: 978-5-94774-825-3

Другие книги схожей тематики:

АвторКнигаОписаниеГодЦенаТип книги
Сергей ЗыльПроектирование, разработка и анализ программного обеспечения систем реального времени (+ CD-ROM)От издателя:Рассмотрены фундаментальные теоретические концепции систем реального времени, функциональная… — (формат: 60x90/16 (145х217 мм), 336стр. (таблицы) стр.) Подробнее...2010
160бумажная книга

См. также в других словарях:

  • Тестирование программного обеспечения — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен …   Википедия

  • Цикл разработки программного обеспечения — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/30 июля 2012. Пока процесс обсуждения …   Википедия

  • Верификация — Позитивизм …   Википедия

  • верификация (с точки зрения электробезопасности) — …   Справочник технического переводчика

  • верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник …   Словарь-справочник терминов нормативно-технической документации

  • Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»