Введение.
Глава 1. Современные методы оценки качес1ва тестирования
1.1 Вступление
1.2 Анализ покрьпия кода.
1.2.1 Определение АПК
1 2.2 Исходные посылки АПК
1.2.3 Вазовые критерии покрытия .
1.2.4 Прочие критерии
1.2.5 Сравнение пока мюлей.
I 3 Мутационное тестирование.
1.3.1 Описание метода МТ.
1.3.2 Затраты на мутационное тестирование
1.3.3 Генерация тестовых данных, основанная на ограничениях
1.3.4 Улучшения технологии М Г.
1.3.5 Новый процесс М Г
1.4 Заключение
Глава 2. Логические неисправности ВП. Моделирование неисправностей
2.1 Модель вычислительною процесса программы.
2.2 Понятие логической неисправности.
2.3 Моделирование лот ических неисправностей.
2 3.1 Неисправности в командах перехода
2.3.2 Применение моделирования неисправностей в командах условною перехода
2.3.3 Критерий качества тестирования.
2.3.4 Пример прямою моделирования неисправностей.
2.4 Эквивалентность исходною и модифицированною ВП. Компенсации неисправностей.
2.4.1 Понятие эквивалентности вычислительных процессов.
2 4.2 Полная эквивалентность ВП.
2.4.3 Частичная эквивалентность ВП. Компенсации
2.5 Поиск случайных неисправностей с помощью МПЛН
2.5.1 ТПП как диат ноет ичсский словарь
2.5.2 Случайные неисправности линейных участков
2.6 Сравнение критерия покрытия моделируемых неисправностей с друт ими критериями оценки эффективности тестирования
2 6.1 Сравнение критерия покрытия моделируемых неисправностей и критерия покрытия мутаций при мутационном тестировании.
2 6.2 Сравнение критерия покрьпия моделируемых неисправностей и критерия покрьпия ветвей.
2.7 Общие выводы по критерию покрытия моделируемых неисправностей
2.8 Заключение.
Глава 3. Опасные ситуации при моделировании неисправностей .
3.1 Моделирование лот ических неисправностей в циклах
3 1 1 Пробпсма моделирования неисправностей в ВП, содержащих циклы.
3.1.2 Классификация циклов по степени определенности количества итерации
3.1 3 Внесение неисправностей в циклы с ладанным числом итерации Ц1
3.1.4 Внесение неисправностей в циклы с ораниченным числом иерацмй Ц2 .
3.1.5 Внесение неисправностей в циклы с неограниченным числом иераций ЦЗ .
3.1.6 Меюл отладки бесконечною цикла.
3.1.7 Моделирование неисправностей в ник ах различных видов
3.1.8 Распошаваниеопасных Питр в машинном коде программы.
3.1.9 Моделирование неисправностей во вложенных циклах.
3.2 Опасные си уации при моделировании неисправностей, не связанные с циклами. 7 3 3 Заключение
Глава 4. Автоматизированная система МИЛН.
4.1 Составные части автомати тированной системы М1Л1.
4.2 Офаничения, вызванные работой с исполняемыми файлами профамм.
4.3 Испольшвание автоматизированной системы МИЛН для тестирования ВП
4.3.1 Список решаемых тадач
4.3.2 Циклическое улучшение качества тестирования ВП.
4.3.3 1 оиск случайных неисправностей.
4.4 Порядок работы автоматизированной системы МИЛИ.
4.5 Пример работы автоматизированной системы МПЛН
4.6 Системные требования и время работы
4.7 Заключение.
Заключение.
Исполыованная литератра.
Список используемых сокращений и обозначений
АПК анализ покрытия кода ВП вычислительный процесс ГАМ фафоаналитическая модель
МПЛН моделирование простых логических неисправностей МС мутационная система МТ мутационное тес 1ирование 0 программное обеспечение
Г1Э полная эквивалентность вычислительных процессов
САПР система автоматизированного проектирования
ТПП таблица проверяемых неисправностей
УП условиепредикат
Ц1 цикл с заданным числом итераций
Ц2 цикл с ограниченным числом итераций
ЦЗ цикл с неограниченным числом итераций
ЧЭ частичная эквивалентность вычислительных процессов
ЯВУ язык высокого уровня
i команда условного перехода
команда безусловно о перехода
Введение
Актуальность
- Київ+380960830922