Информация о книге

978-5-94774-825-3

Главная  » Тематика определяется » Верификация программного обеспечения. Учебное пособие

Налютин Н.Ю., Синицын С.В., Верификация программного обеспечения. Учебное пособие


серия: Основы информационных технологий
Бином. Лаборатория знаний, 2017 г., 978-5-94774-825-3 , 220*150*18 мм., тираж: 2000


Описание книги

Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения.

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



Содержание книги

Лекция 1. Место верификации среди процессов
разработки
программного обеспечения
Лекция 2. Тестирование программного кода
Лекция 3. Тестирование программного кода
(продолжение)
Лекция 4. Тестирование программного кода
(окончание)
Лекция 5. Повторяемость тестирования
Лекции 6-8. Документация, сопровождающая
процесс
верификации и тестирования
Лекция 9. Формальные инспекции
Лекция 10. Формальные инспекции (окончание)
Лекция 11. Модульное тестирование
Лекция 12. Интеграционное тестирование
Лекция 13. Системное тестирование
Лекция 14. Тестирование пользовательского
интерфейса
Лекция 15. Методы разработки устойчивого кода
Лекция 16. Поддержка процесса тестирования при
промышлен
ной разработке программного обеспечения
Семинар 1. Введение
Семинар 2. Тестовые примеры, классы
эквивалентности, ручное
тестирование в MVSTE
Семинар 3. Тестовое окружение
Семинар 4. Модульное тестирование
Семинар 5. Автоматизация модульного
тестирования
Семинар 6. Контрольная работа
Семинар 7. Формальные инспекции
Семинар 8. Покрытие программного кода
Семинар 9. Повторяемость тестирования,
зависимости тестовых
примеров
Семинар 10. Интеграционное тестирование
Семинар 11. Тестирование в Microsoft Solutions
Framework


Об авторе


Отзывы

Хорошая книга  [19 April 2013]
Книга посвящена такому важному аспекту программной инженерии как верификация ПО. Авторы сконцентрировались, в основном, на различных методиках тестирования программ, подробно изложив связанные с тестированием вопросы. Особое внимание в книге уделяется отечественным и зарубежным стандартам в области тестирования. Книга составлена в виде набора лекций и семинарских занятих и будет полезна, прежде всего, преподавателям, ведущим занятия по программированию и программной инженерии.

Последние поступления в рубрике "Тематика определяется"



Лучшие задания на устройство мироздания. 1-4 классы Зеленко С.

В сборник включены занимательные задания, кроссворды, головоломки, загадки, лабиринты, шифровки, решение которых поможет ученикам начальной школы закрепить и расширить знания о растительном и животном мире, о природных явлениях и окружающей среде....

Словарные филворды и головоломки. Игры со словами для детей Зеленко С.

В сборник включены игровые задания в виде филвордов, кроссвордов, кейвордов, лабиринтов, ребусов и шифровок, решение которых поможет ученикам начальных классов закрепить знание словарных слов за курс младшей школы. Задания специально разработаны таким образом, чтобы сделать процесс запоминания сложной учебной информации простым и увлекательным....

Математические судоку и лабиринты. Игровые задания для детей Зеленко С.

Сборник математических судоку и лабиринтов включает занимательные задания, которые помогут ученикам начальных классов выучить и закрепить табличные случаи умножения и деления....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Налютин Н.Ю., Синицын С.В., Верификация программного обеспечения. Учебное пособие в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.