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

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

Detalhes bibliográficos
Autor principal:	Синицын С. В. Сергей Владимирович
Outros Autores:	Налютин Н. Ю. Никита Юрьевич
Resumo:	Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.
Idioma:	russo
Publicado em:	Москва, БИНОМ. Лаборатория знаний, 2008
coleção:	Основы информационных технологий
Assuntos:	Верификация данных программное обеспечение программные коды тестирование документация модульное тестирование интеграционное тестирование системное тестирование устойчивые коды разработка промышленная разработка семинары программы учебные пособия
Formato:	Livro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=151489

Registros relacionados

Основы тестирования программного обеспечения: учебное пособие
por: Котляров В. П. Всеволод Павлович
Publicado em: (Москва, БИНОМ. Лаборатория знаний, 2016)

Разработка через тестирование для iOS
por: Грэхем Л.
Publicado em: (Москва, ДМК Пресс, 2013)

Методы верификации и оценки качества программного обеспечения учебное пособие
por: Семахин А. М.
Publicado em: (Курган, КГУ, 2018)

Эксплуатация, сопровождение и обслуживание информационных систем учебное пособие
por: Рудаков Н. В.
Publicado em: (Иваново, ИГЭУ, 2023)

Тестирование программного обеспечения учебник для вузов
por: Щербак А. В. Алексей Викторович
Publicado em: (Москва, Юрайт, 2025)

Тестирование программного обеспечения учебник для вузов
por: Щербак А. В. Алексей Викторович
Publicado em: (Москва, Юрайт, 2026)

Эффективное тестирование программного обеспечения
por: Аниче М.
Publicado em: (Москва, ДМК Пресс, 2023)

Тестирование программного обеспечения учебное пособие для вузов
por: Щербак А. В. Алексей Викторович
Publicado em: (Москва, Юрайт, 2025)

Управление разработкой ПО: пер. с англ.
por: Пайлон Д. Дэн
Publicado em: (Санкт-Петербург, Питер, 2014)

Технология разработки программного обеспечения: учебное пособие
por: Гагарина Л. Г. Лариса Геннадьевна
Publicado em: (Москва, Форум, 2013)

Python. Разработка на основе тестирования. Повинуйся Билли-тестировщику, используя Django, Selenium и JavaScript: пер. с англ.
por: Персиваль Г. Гарри
Publicado em: (Москва, ДМК Пресс, 2018)

Технология разработки программного обеспечения
por: Брауде Э. Д. Эрик Дж.
Publicado em: (СПб., Питер, 2004)

Верификация и тестирование сложных программных средств; Информационные технологии; № 7
por: Липаев В. В.
Publicado em: (2004)

Технология разработки и отладки программ: учебное пособие
por: Федотова Д. Э. Дина Эммануиловна
Publicado em: (Москва, Изд-во МИРЭА, 1987)

Программная инженерия. Тестирование и контроль качества программного обеспечения учебное пособие для вузов
por: Турнецкая Е. Л.
Publicado em: (Санкт-Петербург, Лань, 2025)

Технологии разработки программного обеспечения. Разработка сложных программных систем: учебник
por: Орлов С. А. Сергей Александрович
Publicado em: (СПб., Питер, 2004)

Адаптивные технологии разработки программного обеспечения учебное пособие
por: Андреев А. Е.
Publicado em: (Волгоград, ВолгГТУ, 2015)

Тестирование программного обеспечения. Внедрение, управление и эксплуатация: пер. с англ.
por: Рэшка Дж. Джефф
Publicado em: (Москва, Лори, 2013)

Тестирование программного обеспечения учебное пособие
por: Бубнов А. А.
Publicado em: (Рязань, РГРТУ, 2024)

Основы технологии разработки программных продуктов: учебное пособие
por: Гагарина Л. Г. Лариса Геннадьевна
Publicado em: (Москва, Форум, 2006)

Технология разработки программного обеспечения учебное пособие
por: Зубкова Т. М.
Publicado em: (Оренбург, ОГУ, 2017)

Структурное проектирование и конструирование программ: пер. с англ.
por: Йодан Э.
Publicado em: (Москва, Мир, 1979)

Экстремальное программирование: разработка через тестирование: пер. с англ.
por: Бек К. Кент
Publicado em: (СПб., Питер, 2003)

Тестирование черного ящика. Технологии функционального тестирования программного обеспечения и систем: пер. с англ.
por: Бейзер Б. Борис
Publicado em: (СПб., Питер, 2004)

Технологии разработки программного обеспечения. Современный курс по программной инженерии: учебник
por: Орлов С. А. Сергей Александрович
Publicado em: (СПб., Питер, 2012)

Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования; Известия вузов. Физика; Т. 58, № 8
por: Кушик Н. Г. Наталья Геннадьевна
Publicado em: (2015)

Тестирование программного обеспечения учебное пособие для вузов
por: Игнатьев А. В.
Publicado em: (Санкт-Петербург, Лань, 2025)

Задачи, программы, вычисления, результаты: пер. с англ.
por: Квиттнер П.
Publicado em: (Москва, Мир, 1980)

Python. Разработка на основе тестирования. Повинуйся Билли-тестировщику, используя Django, Selenium и JavaScript
por: Персиваль Г.
Publicado em: (Москва, ДМК Пресс, 2018)

Оптимизация и тестирование численного кода для расчёта характеристик дифракционного излучения от плоских мишеней; Молодежь и современные информационные технологии
por: Дышеков А. А.
Publicado em: (2019)

Технология разработки программного обеспечения учебное пособие
por: Зубкова Т. М.
Publicado em: (Санкт-Петербург, Лань, 2022)

Ч. 2 : Руководство программиста; Система управления базами данных СЕТОР
Publicado em: (1983)

Кн. 2: Технология, надежность и качество программного обеспечения; Техника разработки программ
Publicado em: (2008)

Ч. 3; Шестнадцатая Всесоюзная школа-семинар по вычислительным сетям
Publicado em: (1991)

Проектирование и реализация прикладного программного обеспечения учебное пособие
por: Влацкая И. В.
Publicado em: (Оренбург, ОГУ, 2015)

Тестирование программного обеспечения и отработка алгоритмов АСУТП для нефтегазового комплекса; Промышленные АСУ и контроллеры; № 1
por: Грибов В. В.
Publicado em: (2005)

Стандартизация и разработка программных систем: учебное пособие для вузов
por: Гусятников В. Н. Виктор Николаевич
Publicado em: (Москва, Финансы и статистика, 2010)

Автоматизация тестирования: для чего?; Прогрессивные технологии и экономика в машиностроении
por: Салапаев А. И.
Publicado em: (2018)

Языки и методы программирования: учебно-методичекое пособие
por: Рыбалка С. А. Сергей Анатольевич
Publicado em: (Томск, Изд-во ТПУ, 2014)

Структуры данных в Python: начальный курс
por: Шихи Д.
Publicado em: (Москва, ДМК Пресс, 2022)