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

978-5-8114-3041-3

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

Старолетов С., Основы тестирования и верификации программного обеспечения

Лань, 2018 г., 978-5-8114-3041-3


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

Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения....

Ключевые слова

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



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

Введение
1. Необходимость процессов тестирования и
верификации программного обеспечения
1.1. Тестирование и верификация, основные
определения
1.2. Тестировщик или QA-инженер
1.3. Тестирование черного и белого ящика
1.4. Регрессивное тестирование
1.5. Процесс тестирования и V-модели
ЧАСТЬ 1. Тестирование и разработка программного
обеспечения
2. Специфицирование программного обеспечения и
его тестирование методом черного ящика
2.1. Спецификация в виде инвариантов,
предусловий и постусловий
2.2. Спецификация в виде Use Case-диаграмм
языка UML
2.3. Работа тестировщика
2.4. Работа с баг-трекинговой системой
2.5. Краткая справка по командной работе на
GitHub
2.5.1. Установки
2.5.2. Получение у себя на компьютере локальной
копии уже имеющегося репозитория
2.5.3. Добавление в репозиторий своих файлов и
папок
2.5.4. Фиксация изменений (коммит)
2.5.5. Передача изменений на сервер
2.5.6. Обновление файлов с сервера
Задания (командная работа по специфицированию
и тестированию)
3. Уровень кода. Модульное тестирование и
документирование проекта
3.1. Качество на уровне кода
3.2. Место процесса модульного тестирования в
процессе разработки
3.3. Документирование проекта на уровне кода
3.4. Процесс модульного тестирования
3.5. Фреймворка модульного тестирования
3.5.1. JUnit - модульное тестирование для Java
3.5.2. NUnit и MSTest - модульное тестирование для
/Net-языков
3.5.3. Google Test (C++), мультиплатформенный
фреймворк
3.6. Некоторые советы по модульному
тестированию
Задания (документирование кода и модульное
тестирование в группе)
4. Методологии разработки *DD. Разработка через
тестирование
4.1. Что такое методология разработки
4.2. Немного о MDD (Model Driven Development)
4.3. Разработка через тестирование (TDD, Test
Driven Development)
4.4. Разработка, управляемая поведением (BDD,
Behavior Driven Development)
4.5. Некоторые предложения по разработке через
написание статей (ADD, Article Driven development)
Задания (разработка через тестирование)
5. Функциональное автоматизированное
тестирование
5.1. Зачем нужно функциональное тестирование и
зачем его автоматизировать
5.2. Подход Apple к автоматизации
5.3. Тестирование настольных (desktop)
приложений с помощью IBM Rational Functional
Tester
5.4. Тестирование Web-приложений с помощью
Selenium
Задания (функциональное тестирование)
ЧАСТЬ 2. Методы анализа программ и их
верификация
6. Статические проверки и динамический анализ
программ
6.1. Статический анализ, его необходимость
6.2. PVS-Studio
6.3. Cppcheck
6.4. О написании собственных статических
анализаторов
6.5. Динамический анализ с помощью Valgrind
6.6. О пользе и вреде "printf injection"
Задания (динамический и статический анализ)
7. Тройки Хоара. Дедуктивная верификация.
Контракты на код
7.1. Язык программирования Eiffel. Design By
Contract
7.1.1. Введение в классы на Eiffel
7.1.2. Контракты на Eiffel
7.1.3. Тестирование в Eiffel
7.1.4. Контракты на циклы
7.1.5. Многопоточность и контракты на
параллельно выполняющиеся действия
7.2. Microsoft .NET Code Contracts
7.2.1. Подключение MS Code Contracts
7.2.2. Определение контрактов и их проверка
7.2.3. Более сложные контракты
Задания (контракты на код)
8. Model Based Testing. Средство MS Spec Explorer
8.1. Тестирование по модели
8.2. Задачи теории графов для генерации тестов
8.3. Установка и работа в Spec Explorer
8.4. Создание модели для простой
последовательности
8.5. Создание модели для сложной
последовательности
8.6 Другие возможности Spec Explorer
Задания (тестирование с помощью МВТ)
9. Model Based Checking. Средство Spin
9.1. Что такое Model Based Checking
9.2. Особенности языка описания моделей Promela
9.3. Темпоральная логика линейного времени
9.4. Метод Model Checking внутри
9.5. Верификация и симуляция в SpinHiSpin
9.5.1. Пример с моделированием поведения
интерфейса приложения
9.5.2. Установка Spin и графической оболочки iSpin
9.5.3. Работав среде iSpin
9.5.4. Работа со Spin из командной строки
9.5.5. Применение верификации при решении
переборных задач
9.5.6. Пример применения симуляции для задачи
массового обслуживания
9.5.7. Верификация протоколов и параллельных
действий
Задания (Model Based Checking)
10. Модульная платформа статической
верификации Frama-C
10.1. Начало работы с Frama-C, работа с frama-c-gui
10.2. Метод слабейших предусловий и анализ
спецификаций на ACSL
10.3. Проверка LTL-выражений для С-программ
Задания (верификация С-программ на уровне кода
и требований)
Итоговый тест для самоконтроля
Литература


Об авторе


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



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

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

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

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

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

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

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