Разработка и исследование методов и средств структурных испытаний программ

Разработка и исследование методов и средств структурных испытаний программ

Автор: Никифорова, Наталия Юрьевна

Шифр специальности: 05.13.11

Научная степень: Кандидатская

Год защиты: 2003

Место защиты: Владивосток

Количество страниц: 200 с. ил

Артикул: 2610056

Автор: Никифорова, Наталия Юрьевна

Стоимость: 250 руб.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ГЛАВА 1 МЕТОДЫ И СРЕДСТВА ИСПЫТАНИЙ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ. ОСНОВНЫЕ ПОНЯТИЯ .
1.1 Оценка качества и измерения программного обеспечения.
1.1.1 Качество программного средства.
1.1.2 Метрики свойств программных продуктов
1.1.3 Методы измерений программного обеспечения
1.1.4 Граф потока управления.
1.2 Испытания программного обеспечения.
1.2.1 Методы испытаний программного обеспечения
1.2.2 Программные средства поддержки испытаний программного обеспечения
1.3 Традиционные методы покрытия испытаниями потока управления в программной единице .
1.3.1 Методы покрытия испытаниями семантических языковых конструкций программной единицы.
1.3.2 Методы покрытия испытаниями компонентов графа потока управления
1.4 Языковоориентированный подход к измерениям и оцениванию качества программных продуктов
1.4.1 Характеристика языковоориентированного подхода
1.4.2 Измерительная модель конструкции простой оператор
1.4.3 Определение графа потока управления в терминах измерительной языковой модели
1.4.4 Динамические измерения программных продуктов.
1.4.5 Метод частотных счетчиков
1.4.6 Трасса исполнения программной единицы
1.4.7 Измерительный языковой процессор.
1.4.8 Построение измерительных языковых анализаторов с использованием систем построения трансляторов.
1.4.9 Статический измерительный анализатор языка программирования Турбо Паскаль версии 7.0.
СодиУхсонис
1.5 Задачи диссертационной работы.
ГЛАВА 2 ФОРМАЛЬНЫЕ ОПРЕДЕЛЕНИЯ ТРАДИЦИОННЫХ
МЕТОДОВ И МЕТРИК СТРУКТУРНЫХ ИСПЫТАНИЙ ПРОГРАММНОЙ ЕДИНИЦЫ В ТЕРМИНАХ ИЗМЕРИТЕЛЬНОЙ ЯЗЫКОВОЙ МОДЕЛИ .
2.1 Формальное определение множества трасс исполнения программной единицы
2.2 Формальное определение метода покрытия операторов.
2.3 Формальное определение метода покрытия циклов.
2.3.1 Определение множества циклов
2.3.2 Определение множества покрытых циклов.
2.4 Формальное определение метода покрытия ветвей в программной единице
2.4.1 Определение множества ветвей в программной единице
2.4.2 Определение множества покрытых ветвей в программной единице
2.5 ФОРМАЛЫЮЕ определение метода покрытия путей между определением и использованием значений переменных.
2.5.1 Определение множества путей между определением и использованием значений переменных.
2.5.2 Определение множества покрытых путей между определением и использованием значений переменных
2.6 Формальное определение метода покрытия всех путей в программной единице
2.6.1 Определение множества всех путей в программной единице
2.6.2 Определение множества покрытых путей в программной единице
2.7 Формальное определение метода покрытия вершин.
2.7.1 Определение множества вершин
2.7.2 Определение множества покрытых вершин.
2.8 Формальное определение метода покрытия дуг
2.8.1 Определение множества дуг.
2.8.2 Определение множества покрытых дуг
Смср.ж1Ши
2.9 Формальное определение метода покрытия ветвей в графе потока управления
2.9.1 Определение множества ветвей в графе потока управления
2.9.2 Определение множества покрытых ветвей в графе потока управления
2. Формальное определение метода покрытия линейнонезависимых путей.
Определение графа потока управления, преобразованного в сильно связный граф.
Определение множества элементарных контуров в преобразованном графе потока управления.
Определение базисного множества линейнонезависимых путей графа потока управления
Определение множества покрытых линейнонезависимых путей.
2. Формальное определение метода покрытия простых путей.
Определение множества простых путей.7
Определение множества покрытых простых путей.
2. Формальное определение метода покрытия всех путей в каждом цикле
Определение множества всех путей в каждом цикле
Определение множества покрытых путей в циклах
2. Выводы ко второй главе.
ГЛАВА 3 КОНТЕКСТ В ПРОГРАММЕ .
3.1 Понятие контекст в естественном языке.
3.2 Интерпретация в терминах языка программирования понятий, используемых при определении контекста в естественном языке
3.2.1 Единица языка.
3.2.2 Точно определенный смысл и значение единицы языка.
3.2.3 Законченная по смыслу часть текста
3.3 Основные отличия текста на языке программирования от текста ил естественном языке
3.4 Определение I юнятия контекст в программе.
3.5 Принципы построения модели множества потенциальных контекстов.
СкУсрМОНИЧ
3.6 Модель множества потенциальных ко1 текстов фрагме I га Iрограммы
3.7 Построение моделей множества потенциальных контекстов в простом ОПЕРАТОРЕI
3.7.1 Модель простого оператора с одним выходным потоком управления МЛКЛО1.
3.7.2 Модель простого оператора с несколькими выходными потоками управления Ш1КПО
3.8 Построение модели множества потенциальных контекстов в
ПОСЛЕДОВАТЕЛЬНОСТИ ПРОСТЫХ ОПЕРАТОРОВ
3.9 ПОСТРОЕНИЕ МОДЕЛИ МНОЖЕСТВА ПОТЕНЦИАЛЬНЫХ КОНТЕКСТОВ В БЛОКЕ 1
3. ПОСТРОЕНИЕ МОДЕЛИ МНОЖЕСТВА ПОТЕНЦИАЛЬНЫХ КОНТЕКСТОВ В ПРОГРАММНОЙ ЕДИНИЦЕ.
3. ВЫВОДЫ К ТРЕТЬЕЙ ГЛАВЕ1 1
ГЛАВА 4 МЕТОД ПОКРЫТИЯ ИСПЫТАНИЯМИ ПОТЕНЦИАЛЬНЫХ
КОНТЕКСТОВ ПРОГРАММНОЙ ЕДИНИЦЫ .
4.1 ОПРЕДЕЛЕНИЕ МЕТОДА ПОКРЫТИЯ ИСПЫТАНИЯМИ М1ЮЖЕСТВА
ПОТЕНЦИАЛЬНЫХ КОНТЕКСТОВ ПРОГРАММНОЙ ЕДИНИЦЫ1
4.1.1 Множество потенциальных контекстов программной единицы.
4.1.2 Множество потенциальных контекстов, покрытых испытаниями.
4.2 Равнозначные методы покрытия испытаниями.
4.2.1 Метод покрытия операторов и метод покрытия вершин графа потока управления
4.2.2 Метод покрытия ветвей в программной единице и метод покрытия ветвей в графе потока управления
4.3 Сравнение степени проверенности программной единицы,
ОБЕСПЕЧИВАЕМОЙ ПРИМЕНЕНИЕМ РАЗЛИЧНЫХ МЕТОДОВ ПОКРЫТИЯ ИСПЫТАНИЯМИ.
4.3.1 Метод покрытия потенциальных контекстов, метод покрытия операторов и метод покрытия вершин графа потока управления.
4.3.2 Метод покрытия потенциальных контекстов и метод покрытия дут.
4.3.3 Метод покрытия потенциальных контекстов и метод покрытия ветвей .
4.3.4 Метод покрытия потенциальных контекстов и метод покрытия циклов.
4.3.5 Метод покрытия потенциальных контекстов и метод покрытия простых путей.
4.3.6 Метод покрытия потенциальных контекстов и метод покрытия линейнонезависимых путей.
4.3.7 Метод покрытия потенциальных контекстов и метод покрытия всех путей в каждом цикле
4.3.8 Метод покрытия потенциальных контекстов и метод покрытия путей между определением и использованием значений переменных метод покрытия с1еше путей.
4.3.9 Метод покрытая потенциальных контекстов и метод покрытия всех путей.
4.3. Результаты сравнения степени проверенности программной единицы, обеспечиваемой применением различных методов покрытия испытаниями.
4.4 Достоинства и недостатки метода покрытия потенциальных
контекстов программной ЕДИНИЦЫ.
4.4.1 Степень проверенности программной единицы, обеспечиваемая
применением метода покрытия потенциальных контекстов
4.4.2 Создание средств поддержки покрытия потенциальных контекстов
4.4.3 Ресурсоемкость тестирования программной единицы при использовании метода покрытия потенциальных контекстов
4.5 Выводы к четвертой главе.
ГЛАВА 5 МЕТОДЫ РЕАЛИЗАЦИИ ФУНКЦИЙ ДИНАМИЧЕСКИХ
ИЗМЕРЕНИЙ ИЗМЕРИТЕЛЬНОГО ЯЗЫКОВОГО ПРОЦЕССОРА. СОЗДАНИЕ ПРОГРАММНЫХ СРЕДСТВ ИЗМЕРЕНИЯ ПРОЦЕССА ИСПОЛНЕНИЯ ПРОГРАММ, ПОДДЕРЖИВАЮЩИХ СТРУКТУРНЫЕ ИСПЫТАНИЯ.
5.1 Измерение динамических свойств программ
5.1.1 Расширение исходного текста измеряемой программы средствами сбора динамической информации.
5.1.2 Библиотека подпрограмм генерации расширенной программы
Смержшис у
5.1.3 Библиотека подпрограмм сбора динамической информации
5.1.4 Создание с использованием систем построения трансляторов x и ТР Уасс измерительного анализатора, обеспечивающего выполнение динамических измерений.
5.1.5 Выполнение динамических измерений программ с использованием измерительного анализатора.
5.2 Создание программных средств измерения процесса исполнения
ПРОГРАММ, ПОДДЕРЖИВАЮЩЕГО СТРУКТУРНЫЕ ИСПЫТАНИЯ
5.2.1 Определение степени покрытия программ испытаниями с использованием измерительного анализатора
5.2.2 Построение множеств покрываемых испытаниями компонентов.
5.2.3 Построение множеств покрытых испытаниями компонентов и вычисление значений метрик покрытия
5.3 Выводы к пятой главе
ЗАКЛЮЧЕНИЕ .
ЛИТЕРАТУРА


Цель испытаний убедиться, что программное средство функционирует в соответствии со спецификациями выявить его дефекты и несоответствия, т. Таким образом, испытания являются конечной экспертизой специфицирования, проектирования и кодирования, тем этапом разработки программного обеспечения, на котором может быть оценено его качество , 0. В данной главе диссертационной работы рассматриваются основные используемые в работе понятия, связанные с испытаниями программных продуктов. Оценка качества и измерения i ра. Массовое применение компьютеров в различных областях человеческой деятельности привело не только к расширению номенклатуры разрабатываемых программных средств, но и к повышению требований к их качеству. Достижение высокого качества программного средства требует точного определения того, что означает ею качество1, и точных методов измерения этого программного средства с целью установления, обладает ли оно таким качеством, какое указано в его спецификациях. Международные стандарты серии , рассматривают вопросы управления качеством и используют одно и то же определение этого понятия Качество это совокупность свойств и характеристик продукции или услуги, которые придают им способность удовлетворять обусловленные или предполагаемые потребности . Качество программного средства в значительной степени определяется качеством входящих в него программ. Качество программы, т. Внутреннее свойство i i продукта процесса, ресурса это такое свойство, которое может быть измерено в терминах только самого продукта процесса, ресурса. Внешнее свойство x i продукта процесса, ресурса это такое свойство, которое может быть измерено только но отношению к тому, как этот продукт процесс, ресурс соотносятся со своим окружением . Другими словами, внутреннее свойство в отличие от внешнего может быть измерено путем изучения самого продукта процесса, ресурса без рассмотрения его взаимодействия с внешним для него миром. Пока программа не разработана полностью и не испытана в полной мере, невозможно говорить о ее реальных потребительских свойствах, но можно прогнозировать их по внутренним свойствам уже готовых компонентов программы . Общепринятым является введение различного рода метрик внутренних свойств программных продуктов и измерение программных продуктов и характеристик их качества в терминах этих метрик и моделей качества 4, 9, , , , , , , , , , , , , , , , , , , , , 0, 1, 4. Цель введения метрик производить оценивание на протяжении всего процесса создания программного средства, показывающее, удовлетворяются ли требования к качеству программного средства. Использование метрик уменьшает субъективность в оценивании качества, поскольку появляется количественная основа для принятия решений о качестве программного средства , , , . Получение сбор значений метрик программного обеспечения подразумевает измерение оценщиками различных по форме представления компонентов программного обеспечения и различное участие самого компонента в этих измерениях. Как правило, инспекция выполняется с использованием так называемых контрольных списков. Рисунок 1. Классификация методов измерений. К настоящему времени сложилась определенная общепринятая классификация см. Граф потока управления традиционная модель структуры потока управления в программной единице, представляющая собой ориентированный граф, в котором вершинам соответствуют операторы, а дугам возможные передачи управления между этими операторами , . Вершина, соответствующая входу в программную единицу, называется входной Сначальной полустепенъ захода такой вершины равна нулю. Вершина, соответствующая окончанию исполнения программной единицы, называется выходной конечной полустепень исхода такой вершины равна нулю. Вершина, полустепень захода и полустепень исхода которой отличны от нуля, называется внутренней. Каждая вершина графа потока управления лежит на некотором пути от входной вершины к выходной. Различают два типа вершин графа потока управления процедурные вершины с полустепенью исхода равной единице и предикатные вершины с полустепенью исхода больше единицы .

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.275, запросов: 244