Методы и средства интегральной оценки тестированности программного проекта, позволяющие управлять процессом разработки тестов

• Автор: Пинаев, Дмитрий Владимирович
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 1998
• Место защиты: Санкт-Петербург
• Количество страниц: 154 с.

ОГЛАВЛЕНИЕ
ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
Г ЛАВА 1. Обзор литературы по методам и средствам тестирования программного обеспечения
ЕЕ Структура и задачи главы
1.2. Понятие тестирования ПО
ЕЗ. Тестирование и жизненный цикл программы. Объекты тестирования
1.3.1. Жизненный цикл программы
1.3.2. Объекты тестирования
1.3.3. Катёгории тестов для различных объектов тестирования
1.4. Виды, критерии и методы тестирования
1.5. Структурное тестирование
1.5.1. Тестирование на основе потока управления
1.5.2. Тестирование на основе потока данных
1.5.3. Критерии структурного тестирования
1.6. Методы проектирования тестовых путей для достижения заданной степени тестированное™ в структурном тестировании
1.7. Функциональное тестирование
1.8. Ошибки и тестируемость ПО
1.8.1. Категории ошибок
1.8.2. Критерии завершения тестирования
1.8.3. Тестируемость ПО
1.9. Автоматизация процесса тестирования ПО
1.9.1. Автоматизация регрессионного тестирования
1.9.2. Требования к системе автоматизации тестирования
1.10. Обзор средств автоматизации тестирования
1.10.1. Средства автоматизации тестирования, имеющие исследовательскую направленность

1.10.2. Автоматизация тестирования с помощью CASE-систем
1.10.3. CASE-системы, автоматизирующие функциональное тестирование
1.10.4. CASE-системы, автоматизирующие структурное тестирование
1.10.5. Состояние средств автоматизации тестирования
1.11. Выводы
ГЛАВА 2. Интегральная оценка тестированности программного проекта
2.1. Структура и задачи главы
2.2. Оценка степени тестированности ПО
2.3. Графовая модель программы для процедурного программирования
2.4. Графовая модель программы для объектно-ориентированного программирования
2.5. Оценка степени тестированности программного проекта в ООП
2.6. Управление процессом построения новых тестов
2.7. Ранжирование участков тестовых путей
2.8. Методика проведения интегральной оценки степени тестированности программного проекта и управление качеством ПО
2.9. Выводы
ГЛАВА 3. Система оценки и управления степенью тестированности программного проекта и методика ее использования
3.1. Структура и задачи главы
3.2. Требования к программному проекту, подлежащему тестированию
3.3. Требования к программному комплексу автоматизации тестирования
3.4. Прототип программного комплекса, реализующего интегральную оценку тестированности программного проекта
3.4.1. Язык программирования Tcl/Tk
3.4.2. Tel профайлер - назначение, состав и функции проекта
3.4.3. Структура проекта Tel профайлер
3.4.4. Подсистема статического анализа
3.4.5. Модуль топологического анализа
3.4.6. Подсистема динамического анализа
3.4.7. Подсистема анализа результатов тестирования
3.4.8. Известные ограничения Tel профайлера
3.4.9. Методика проведения оценивания тестированности программного проекта с использованием Tel профайлера
3.4.10. Реализованность требований к программному комплексу автоматизации тестирования в разработанном ПКАТ
3.5. Выводы
ГЛАВА 4. Результаты применения средств оценки тестированности программного проекта
4.1. Структура и задачи главы
4.2. Методы и средства, использовавшиеся при тестировании программных проектов
4.2.1. Пример применения Tel профайлера
4.2.2. Анализ применения разработанных методов и средств
4.3. Результаты применения разработанных методов и средств
4.4. Выводы
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА

Тестирование потока транзакций граф транзакций
Синтаксическое тестирование входные условия в виде БНФ
Логическое тестирование таблицы решений и механизмы булевой алгебры
Тестирование состояний граф состояний программы
Таблица 1.2. Методы функционального тестирования
В [23] предложена некоторая общая стратегия функционального тестирования программы, постепенно наращивающая набор тестов:
1. Если спецификация содержит комбинации входных условий, то начать рекомендуется с применения метода функциональных диаграмм.
2. В любом случае необходимо использовать анализ граничных значений, хотя их можно учесть и в функциональных диаграммах на шаге 1.
3. Дополнить систему тестов за счет метода эквивалентного разбиения.
4. Для получения дополнительных тестов рекомендуется использовать и метод предположения об ошибке на завершающей стадии построения тестов.
Одним из перспективных направлений развития тестирования в целом было бы установление зависимостей между входными условиями и предикатами программы [58]. Если бы удалось установить соответствие между условиями, записанными на естественном языке, и конкретными языковыми конструкциями, то вполне реальной стала бы возможность оперативного перехода от структурных методов к функциональным и обратно. Прототипом подобного подхода может стать стратегия повторного тестирования, ориентированная на структуру, а не на функции программы, изложенная в [58]. Но, в общем, на сегодняшний день подобное соединение структурного и функционального тестирования является неформализованной задачей, решение которой основано на интуиции тестировщиков.