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

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]
Книга посвящена такому важному аспекту программной инженерии как верификация ПО. Авторы сконцентрировались, в основном, на различных методиках тестирования программ, подробно изложив связанные с тестированием вопросы. Особое внимание в книге уделяется отечественным и зарубежным стандартам в области тестирования. Книга составлена в виде набора лекций и семинарских занятих и будет полезна, прежде всего, преподавателям, ведущим занятия по программированию и программной инженерии.

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



Математика. Подготовка к ЕГЭ. Задачи с параметрами.10-11 классы 

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

План счетов бухгалтерского учета с последними изменениями 

Читателю предлагается самая последняя редакция Плана счетов бухгалтерского учета финансово-хозяйственной деятельности организаций и инструкции по его применению с учетом последних приказов Минфина РФ. План счетов - это важнейший инструмент бухгалтерского учета, настольная книга для каждого практического бухгалтера....

На ферме. Книжка с наклейками 

Игры с наклейками - занятие не только интересное, но и полезное. С этой книгой малыш познакомится с различными видами транспорта, потренируется решать простые логические задачки и находить соответствия....

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