Table | Card | RUSMARC | |
Allowed Actions: –
Action 'Read' will be available if you login or access site from another network
Action 'Download' will be available if you login or access site from another network
Group: Anonymous Network: Internet |
Annotation
В данном пособии приведены материалы двух методов тестирования программного обеспечения: проверка за столом и модульное тестирование. Одна глава посвящена проверке программ методом статического анализа кода. Пособие оперирует материалами книги Г. Майерса «Искусство тестирования программ», материалами лабораторных работ студентов направления «Математика и компьютерные науки» ВШТИИ (Кондраев Д, Чалков К.), материалами, отражающими современное состояние систем статического анализа кода и систем автоматизации тестирования. Пособие предназначено для студентов направлений подготовки 02.03.01 и 09.04.04.
Document access rights
Network | User group | Action | ||||
---|---|---|---|---|---|---|
ILC SPbPU Local Network | All |
![]() ![]() ![]() |
||||
![]() |
Internet | Anonymous |
Table of Contents
- Оглавление
- ВВЕДЕНИЕ
- 1. Принципы тестирования программного обеспечения
- 2. Инспекции, сквозные просмотры и обзоры программ
- 2.1. Инспекции и сквозные просмотры
- 2.1.1 Инспекция кода
- 2.1.2. Сквозные просмотры
- 2.1.3 Проверка за столом
- 2.1.4. Рецензирование
- 3. Статический анализатор кода
- 3.1. Преимущества статических анализаторов кода
- 3.2. Недостатки статических анализаторов кода
- 3.3. Статические анализаторы кода для поиска уязвимостей
- 3.3.1. Перечень инструментов для статического анализа кода
- 3.4. Пример лабораторной работы проверки кода статическим анализа тором и результаты выполнения
- 3.4.1. Пример результатов выполнения пункта 1 лабораторной работы (выбор приложения)
- 3.4.2. Пример результатов выполнения пункта 2 лабораторной работы (установка инструмента)
- 3.4.3. Пример результатов выполнения пункта 3 лабораторной работы (конфигурация правил анализатора)
- 3.4.4. Пример результатов выполнения пунктов 4 и 5 лабораторной ра боты (проверка кода приложения анализатором и разбор ошибок)
- 3.4.5. Пример результатов выполнения пунктов 6 и 7 лабораторной ра боты (анализ исправленного кода, составление отчета)
- 3.5. Выводы
- 4. Модульное тестирование
- 4.1. Проектирование тестов
- 4.2. Тестирование методом «черного ящика»
- 4.2.1. Эквивалентное разбиение
- 4.2.2. Анализ граничных значений
- 4.2.3. Применение причинно-следственных диаграмм
- 4.3. Пример выполнения лабораторных работ: разработка тестов для первой программы
- 4.3.1. Разработка тестов по методу белого ящика
- 4.3.2. Разработка тестов по методу черного ящика
- 4.3.3. Выводы о результатах тестирования первой программы
- 4.4. Пример выполнения лабораторных работ: разработка тестов для второй программы
- 4.4.1. Разработка тестов по методу белого ящика
- 4.4.2. Разработка тестов по методу черного ящика
- 4.3.3. Выводы о результатах тестирования второй программы
- 4.5. Выводы
- 5. Автоматизация тестирования
- 5.1. Пример выполнения лабораторных работ по автоматизации тестирования
- 5.1.1. Результаты выполнения лабораторной работы №1
- 5.1.2. Результаты выполнения лабораторной работы №2
- 5.1.3. Результаты выполнения лабораторной работы №3
- 5.1.4. Результаты выполнения лабораторной работы №4
- СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
- ПРИЛОЖЕНИЕ А. ИСХОДНЫЙ КОД ЛАБОРАТОРНОЙ РАБОТЫ №1
- ПРИЛОЖЕНИЕ Б. ИСХОДНЫЙ КОД ЛАБОРАТОРНОЙ РАБОТЫ №2
- ПРИЛОЖЕНИЕ B. ИСХОДНЫЙ КОД ЛАБОРАТОРНОЙ РАБОТЫ №3
- ПРИЛОЖЕНИЕ Г. ИСХОДНЫЙ КОД ЛАБОРАТОРНОЙ РАБОТЫ №4
- ПРИЛОЖЕНИЕ Д. ЛАБОРАТОРНАЯ РАБОТА ПРОВЕРКИ КОДА СТАТИЧЕСКИМ АНАЛИЗАТОРОМ PMD – СПИСОК ПРАВИЛ
Usage statistics
|
Access count: 0
Last 30 days: 0 Detailed usage statistics |