Информационно-библиотечный центр Поволжского государственного технологического университета

Главная

Упрощенный режим

Описание

Базы данных

Книги- результаты поиска

Вид поиска

Книги

Статьи

Полные тексты изданий ПГТУ

Периодика

Авторефераты и диссертации

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Синицын, С. В.$<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

Вид документа : Однотомное издание
Шифр издания : 004.052.42(07)/С 38 яяя (другие формы)
Автор(ы) : Синицын С. В., Налютин Н. Ю.,
Заглавие : Верификация программного обеспечения / С. В. Синицын, Н. Ю. Налютин . -2-е изд.
Выходные данные : Москва: ИНТУИТ, 2016
Колич.характеристики :445 с.
ISBN, Цена 978-5-94774-825-3: Б.ц.
УДК : 004.052.42(07)
ББК : 22
Ключевые слова (''Своб.индексиров.''): конфигурационное управление--учебники--тестирование программного курса--программное обеспечение--верификация--управление качеством--устойчивые коды--формальные инспекции--эбс лань
Аннотация: Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, связанных с современными технологиями верификации программного обеспечения. Курс основан на методиках тестирования промышленных программных систем. Он охватывает вопросы построения тестового окружения, планирования системы тестов, анализа и обнаружения дефектов программного кода тестируемой системы, интеграционного и системного тестирования, общих аспектов тестирования пользовательских интерфейсов. В программу курса входит рассмотрение процессов верификации проектной документации, а также процессов формальной инспекции кода и документации. Детально рассматриваются различные виды документов, сопровождающих процесс верификации, и процессы разработки, в которых эти документы участвуют. В завершение курса дается обзор методов разработки устойчивого программного обеспечения, позволяющих уменьшить продолжительность фазы тестирования без снижения его качества. Основным инструментальным средством, используемым при обучении, является Microsoft Visual Studio Team Edition for Software Testers. По завершении курса студент овладевает всеми основными навыками, необходимыми для участия в верификации сложных промышленных систем.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024
Найти похожие

Вид документа : Однотомное издание
Шифр издания :
Автор(ы) : Синицын С. В., Хлытчиев О. И.,
Заглавие : Основы разработки программного обеспечения на примере языка С / С. В. Синицын, О. И. Хлытчиев . -2-е изд.
Выходные данные : Москва: ИНТУИТ, 2016
Колич.характеристики :211 с.
Цена : Б.ц.
Ключевые слова (''Своб.индексиров.''): эбс лань
Аннотация: В курсе отражены базовые принципы построения программных комплексов встроенных систем. Значительное место уделено технологии проектирования и методам верификации (тестирования) разработанных программ. Рассматриваются вопросы истории развития вычислительной техники и ее программного обеспечения (ПО) с позиций алгоритмизации, технологии и языка кодирования. Алгоритмический аспект отвечает на вопрос, как найти решение поставленной задачи. Технологический – указывает последовательность действий достижения цели, определяет применяемые инструменты и способы оценки результатов. Язык высокого уровня, в данном случае Си, предоставляет разработчикам возможность реализации ПО в форме, пригодной для его выполнения на различных платформах.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024
Найти похожие

Тематический навигатор

Статистика за 12.08.2024
Число запросов	24100
Число посетителей	443
Число заказов	0