Разработка и исследование измерительных процессоров алгоритмических языков программирования

• Автор: Остроухова, Светлана Николаевна
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Владивосток
• Количество страниц: 184 с.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ

ГЛАВА 1 Средства измерения программных продуктов.

1.1 Основные понятия измерений программных продуктов

1.1.1 Внешние и внутренние свойства программных продуктов.

1 1.2 Метрики качества программного средства, схема метрик

1.1.3 Измерения программных продуктов.

1.1.3.1 Измерительные шкалы.

1.1.3.2 Методы измерений

1.1.3.3 Протоколы измерений.

1.2 Известные программные средства измерения

программных продуктов
1.2.1 Краткая характеристика известных средств измерений
1.3 Языковоориентированный подход к измерениям и
оцениванию программных продуктов.
1.4 Измерительные языковые модели.
1.5 Измерительный языковой процессор
1.6 Задачи диссертационной работы..
ГЛАВА 2 Iринцины разработки измерительных языковых моделей
для традиционных я тыков программирования
2.1 Философия построения измерительных моделей
языков программирования
2 1.1 Внешнее представление программных продуктов.
2.1.2 Измерение программных продуктов как вид деятельности
2.2 Обзор процесса компиляции трансляции. Соглашения
и обозначения, принят ые при конструировании компиляторов
Построение измерительных моделей символов языка
Пример фрагмента текста программы на языке Паскаль.
СимволЧисло.
СимволИмя.
Построение измерительных моделей конструкций языка.
Простое предложение
Основные синтаксические конструкции языков.
Основные синтаксические единицы алгоритмического
языка прраммировання.
Синтаксические связи в предложениях
Декларация типа
Описались объекта
Оператор.
Программная единица
Динамические модели конструкций языка
Выводы ко второй главе.
Принципы разработки измерительных языковых моделей
для современных языков программирования
Влияние расширения возможностей языка на его
измерительную модель.
Препроцессорные средства.
Одновременное использование нескольких
языков программирования
Раздельная компиляция частей программы.
Объектноориентированные средства
Выводы к третьей главе.
ГЛАВА 4 Методы реализации функций статических измерений
языкового процессора.
4.1 Средства получения значений свойств символов и конструкций
4.2 Построение измерительных языковых анализаторов с использованием систем построения трансляторов ТР Уасс и ТР x
4.2.1 ТР Тех и измерительные модели символов.
4 2.2 ТР и измерительные модели конструкций.
4.2.3 Схема создания измерительного анализатора
4.3 Измерительный анализатор языка программирования
7.0
4.4 Измерение выборки программ и самого
измерительного анализатора
4.5 Выводы к четвертой главе.
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА


Этому также способствует создание интеллектуальных автоматических программных средств, поддерживающих деятельность по обеспечению высокого качества разрабатываемого программного обеспечения и охватывающих как можно более широкий диапазон деятельности специалистов в прикладной области качество программного обеспечения. Качество программного средства в значительной степени определяется качеством входящих в пего программ. Качество самой программы, т. Пока программа не разработана полностью и не испытана в полной мере, невозможно говорить о ее реальных потребительских свойствах, но можно прогнозировать их по внутренним свойствам уже готовых компонентов программы () Поэтому возможность измерения внутренних свойств программ является необходимым для разработчика, стремящегося получить высокое качество того, что он создает. Эту возможность обеспечивают ему соответствующие средства измерения Этим средствам и посвящена первая глава диссертационной работы. В разделе 1. В разделе 1. Выделяются их характерные свойства, достоинства и недостатки В разделе 1. Предложенный подход состоит в разработке и использовании трех уровней согласованных формальных языков Основным языковым уровнем являются так называемые измерительные языковые модели (ИМ), описанные в разделе 1. В разделе 1. Международные стандарты “серии “, рассматривают вопросы качества программных средств и используют одно и то же определение понятия “качество программного средства". Качество конкретного программного средсгва - эго степень, в которой оно обладает желаемой комбинацией свойств (атрибутов). Установление качества программного средсгва эквивалентно установлению множество значений атрибутов качества этого программного средства. Согласно [], “внутреннее свойство (internal attribute) продукта (процесса, ресурса) то такое свойство, которое может быть измерено чисто в терминах самого продукта (процесса, ресурса) ". Другими словами, внутреннее свойство в отличии от внешнего может быть измерено путем изучения самого продукта (процесса, ресурса) без рассмотрения его взаимодействия с внешним для него миром Общепринятым является введение различного рода метрик и мер внутренних свойств программных продуктов и измерение программных продуктов в терминах этих метрик и мер. Следует отметить, что сегодня внешние свойства программных продуктов определяются через их внутренние свойства достаточно произвольно. Попытку M. Holsteda определения упрощенной “физической” модели одного из программных продуктов - текстов программ - принято считать неудачной. Понятие метрика ’ имеет различные толкования в различных литературных источниках. Метрика качества программного средства (software quality metric) - это функция, чьими входами являются данные о программном средстве (software data), а выходом - простое количественное значение, которое может быть интерпретировано, как степень, в которой программное средства обладает ладанным атрибутом, который влияет на качество программного средства. Цель метрик - производить оценивание на протяжении всего жизненного цикла программного средства, показывающее, удовлетворяются ли требования к его качеству. Использование таких метрик уменьшает субъективность в оценивании качества, поскольку появляется количественная основа для принятия решений о качестве программного средства. Для гою чтобы доверять результатам оценивания некоторого программного средства, а также иметь возможность сравнивать между собой результаты оценивания различных программных средств, должны согласованно собираться значения одинаковых метрик. Метрики, собираемые в различных проектах, должны согласовываться гак, чтобы обшиє свойства продуктов или процессов могли выделяться независимо от особенностей этого продукта или процесса. Любая метрика, применяемая для оценивания программного продукта или для обеспечения его качества, должна иметь научную основу для тех заключений, которые делаются с се использованием Она должна входить в некоторую теоретическую схему метрик {metrics framework). Схема . Иерархическая классификация (рис. R Bache в своей книге [] определяет схему метрик как "набор хорошо понимаемых понятий и определений и стратегии для получения значимых выводов из t/меюіцихся данных ". Рис.