автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.11, диссертация на тему:Разработка и исследование измерительных процессоров алгоритмических языков программирования

ВВЕДЕНИЕ.

ГЛАВА 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 Принципы разработки измерительных языковых моделей для "традиционных" языков программирования.

2.1 Философия построения измерительных моделей языков программирования.

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

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

2.2 Обзор процесса компиляции (трансляции). Соглашения и обозначения, принятые при конструировании компиляторов

Построение измерительных моделей символов языка.

Пример фрагмента текста программы на языке Паскаль.

Символ-Число.

Символ-Имя.

Построение измерительных моделей конструкций языка.

Простое предложение.

Основные синтаксические конструкции языков.

Основные синтаксические единицы алгоритмического языка программирования.

Синтаксические связи в предложениях.

Декларация типа.

Описаниеь объекта.

Оператор.

Программная единица.

Динамические модели конструкций языка.

Выводы ко второй главе.

3 Принципы разработки измерительных языковых моделей для "современных" языков программирования.

Влияние расширения возможностей языка на его измерительную модель.

Препроцессорные средства.

Одновременное использование нескольких языков программирования.

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

Объектно-ориентированные средства.

Выводы к третьей главе.

ГЛАВА 4 Методы реализации функций статических измерений языкового процессора.

4.1 Средства получения значений свойств символов и конструкций

4.2 Построение измерительных языковых анализаторов с использованием систем построения трансляторов TP Yacc и TP Lex.

4.2.1 TP Lex и измерительные модели символов.

4.2.2 TP Yacc и измерительные модели конструкций.

4.2.3 Схема создания измерительного анализатора.

4.3 Измерительный анализатор языка программирования

Turbo Pascal 7.0.

4.4 Измерение выборки программ и самого измерительного анализатора.

4.5 Выводы к четвертой главе.

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

Создание высококачественного программного обеспечения предполагает, что в каждой конкретной разработке определяются требования к качеству всей совокупности продуктов разрабатываемого программного средства в терминах его внешних свойств, а затем эти требования специфицируются в терминах внутренних свойств отдельных продуктов и/или компонентов этого программного средства.

В процессе создания этих продуктов/компонентов или по его завершению их разработчик и/или оценщик убеждается в достижении установленных допустимых значений мер внутренних свойств компонентов (что позволяет надеяться на достижение необходимых значений мер внешних свойств).

Для измерения программных продуктов и/или отдельных их компонентов используют специальные анализаторы, обеспечивающие получение значений мер отдельных групп внутренних свойств или метрик качества, или комплексные измерительные средства, позволяющие получить значения большого числа широко распространенных на практике метрик качества программного обеспечения. В настоящее время такие средства широко представлены на рынке. Наиболее известными из них являются: Logiscope - Франция, Software Metrics - CHIA, Cantata - Англия, CMT++ - Финляндия.

Характерным недостатком такого рода средств измерения является, во-первых, использование несогласованных и недостаточно точно определенных используемых понятий, а во-вторых, "закрытость" этих средств, зачастую не позволяющих даже установить, как толкуются в них эти понятия. Одни и те же внутренние свойства (и, следовательно, метрики) различным образом толкуются в разных литературных источниках и/или для различных языков программирования. Все это приводит к несравнимости результатов измерений и оценивания программных средств, написанных на разных языках и/или созданных/оцененных в различных организациях. Естественно, такое положение создает определенные неудобства как для производителей, так и покупателей программных средств, поскольку не позволяет корректно судить об их качестве.

В начале 90-х годов в Институте автоматики и процессов управления (ИАПУ) ДВО РАН предложен языково-ориентированный подход к измерению и оцениванию программных средств, предполагающий выделение трех уровней понятий области "качество программного обеспечения" в соответствии со специализацией пользователей этих понятий и три соответствующих уровня формальных языков для определения самих этих понятий и операций над ними. Согласно результатам анализа возможностей этого подхода, он может позволить формально определять понятия области качество программного обеспечения и достичь единства в толковании этих понятий и связей между ними. Основой построения "здания" этой области в рамках этого подхода является семантика понятий языков программирования, в толковании которой уже давно удалось достичь единства в сообществе разработчиков программного обеспечения.

Нижний уровень понятий в языково-ориентированном подходе представлен внутренними свойствами программных продуктов и, в частности, программ. Внутренние свойства последних объединяются в так называемые измерительные языковые модели, определяемые в терминах семантики языка и его реализации. Механизмом для получения значений мер внутренних свойств программ в терминах измерительных языковых моделей являются измерительные языковые процессоры.

Цель работы. Целью диссертационной работы являлось определение принципов и разработка методов построения измерительных языковых моделей класса современных алгоритмических языков программирования и эффективной реализации статических анализаторов измерительных языковых процессоров.

Достижение этой цели предполагало решение следующих пяти задач:

1) определение принципов построения измерительной модели "традиционного" языка программирования;

2) уточнение этих принципов для построения измерительной модели "современного" языка программирования;

3) разработку измерительной модели одного или нескольких современных языков программирования;

4) разработку методов реализации функций измерения измерительных языковых процессоров;

5) реализацию анализатора измерительного процессора для одного из этих языков с использованием современных промышленных систем построения трансляторов (СПТ).

Методы исследования. Для решения указанных задач использовались элементы теории формальных языков и грамматик, элементы теории графов, методы технологии программирования, методы измерения и оценки качества программного обеспечения.

Научная новизна работы заключается в создании методологии разработки базовых моделей программных продуктов, написанных на формальных языках, при охвате этими моделями всех "элементарных" внутренних свойств продуктов. Основные научные результаты, полученные лично автором и выносимые на защиту, состоят в следующем:

1. Определены принципы, обеспечивающие построение измерительных моделей современных алгоритмических языков программирования, объединяющих в себе возможности создания программ с использованием как традиционного, так и объектно-ориентированного подхода.

2. Разработана измерительная модель "обобщенного современного языка программирования", представляющая собой множество моделей символов и конструкций, встречающихся в современных алгоритмических языках определенного класса. Эта модель является универсальным представлением результатов измерений внутренних свойств программ и/или их компонентов, написанных на любом из языков этого класса. Она может использоваться в качестве базиса для выполнения разнообразных видов анализа программ, в частности, для определения и построения их моделей и определения и вычисления метрик качества.

3. Разработаны методы реализации функций измерения измерительных языковых процессоров, созданных с использованием современных систем построения трансляторов (СПТ).

4. Разработан и экспериментально проверен метод построения измерительных языковых процессоров, основанный на использовании СПТ TP Yacc и TP Lex и разработке специальных библиотек функций работы с таблицами и функций измерений.

Практическая ценность работы состоит в том, что полученные в диссертации научные результаты имеют конкретную прикладную направленность, связанную с обеспечением качества программных средств. Созданная методология применена для создания экспериментального измерительного языкового процессора, применяемого в ИАПУ ДВО РАН для исследования методов и средств языково-ориентированного подхода и в ДВГУ при выполнении курсовых, магистерских и дипломных работ студентов, а также в специализированных лабораторных работах.

В работе получены следующие основные практические результаты.

1. Разработан универсальный формат представления результатов измерения программ, написанных на алгоритмических языках определенного класса. Этот формат обеспечивает хранение значений всех базовых семантических свойств программ и их дальнейшее применение в разнообразных исследованиях. Этот формат может использоваться для хранения результатов измерений и в тех случаях, когда средство измерения отлично от измерительного языкового процессора.

2. Разработаны и доведены до инженерной практики методы реализации функций генерации результатов измерений для процессоров алгоритмических языков программирования, построенных с использованием широко используемых СПТ. Разработанная методология создания измерительных языковых процессоров позволяет создавать средства построения измерительных моделей с невысокими затратами на их реализацию для целого класса языков программирования.

3. Разработанный статический измерительный анализатор программ, написанных на языке Турбо Паскаль версии 7.0, используется как инструмент для исследований самих программ, их моделей и реализаций методов и средств измерений и визуализации результатов измерений. В частности, этот анализатор используется как компонент измерительной среды для исследования методов и средств языково-ориентированного подхода к измерению и оценке качества программ, написанных на алгоритмических языках программирования, а также компонентом экспериментального "рабочего места" оценщика программ в ИАПУ ДВО РАН.

4. Вышеуказанный статический измерительный анализатор используется в учебном процессе по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" при выполнении лабораторных, курсовых, бакалаврских и дипломных работ на кафедре программного обеспечения ЭВМ ДВГУ.

Реализация результатов работы. Представленные в работе исследования по созданию теоретических основ создания измерительных языковых процессоров выполнены в рамках:

1) научно-исследовательских тем ИАПУ ДВО РАН:

• "Методы и средства технологии автоматизированной обработки знаний, специфицирования и анализа программного обеспечения, распределенных вычислительных систем, обработки и визуализации графической информации с применением параллельных вычислений", № гос. регистрации 01.99.00 05772;

• "Методы и средства технологии создания экспертных систем, основанных на системах логических соотношений", № гос. регистрации 01.9.50006915.

2) совместного российско-британского научного проекта "Language-oriented approaches to software quality assessment" ("Языково-ориентированные подходы к оценке качества программного обеспечения"), поддерживаемого The Royal Society - Академией наук Великобритании и выполнявшегося с Department of Computer Science, University of Strathclyde, Глазго, Шотландия, 1996-1998 гг.

В указанных работах автор принимал участие в качестве исполнителя и ответственного исполнителя.

Апробация работы. Основные научные и практические результаты работы докладывались и обсуждались на следующих конференциях и семинарах:

• 4-й Международной конференции "Измерения, контроль и автоматизация производственных процессов "ИКАПП-97" (Барнаул, 1997);

• Международном семинаре ISIS'99 (Владивосток, 1999);

• Дальневосточной математической школе-семинаре им. академика Е.В.Золотова (Владивосток, 1998);

• научных семинарах Института автоматики и процессов управления ДВО РАН и Института математики и компьютерных наук Дальневосточного государственного университета.

Публикация результатов работы. По теме диссертации опубликовано 10 печатных работ.

Личный вклад. В работах [19] и [56] С.Н.Остроуховой разработаны модели всех конструкций языка.

Во введении обоснована актуальность темы, определена цель диссертационной работы и сформулированы задачи, решение которых необходимо для достижения поставленной цели, дана краткая характеристика работы.

Первая глава диссертационной работы посвящена рассмотрению основных используемых в работе понятий, связанных с измерением программ. В ней приводятся сведения об известных из литературы программных средствах измерения программных продуктов (ПП). Выделяются их характерные свойства, достоинства и недостатки.

Вторая глава посвящена решению первой задачи диссертационной работы. В ней излагается философия, лежащая в основе построения измерительных языковых моделей, и формулируются принципы построения таких моделей для алгоритмических языков программирования.

В третьей главе диссертационной работы проводится исследование влияния новых средств "современных" языков программирования: препроцессорная обработка программы; размещение в тексте программы, написанной на одном языке, фрагментов, написанных на другом; раздельная компиляция частей программы и объектно-ориентированные свойства, на измерительные модели и разрабатываются измерительные модели символов и конструкций обобщенного "современного" алгоритмического языка программирования.

Четвертая глава диссертационной работы посвящена решению 4-й и 5-й задачи - разработке методов реализации функций измерения измерительных языковых процессоров и реализации анализатора измерительного процессора для языков программирования Турбо Паскаль 7.0.

4.5 Выводы к четвертой главе

В четвертой главе предложены методы организации таблиц символов и расширения СПТ TP Yacc и TP Lex правилами измерений.

Метод построения измерительных языковых процессоров, основанный на использовании систем построения трансляторов TP Yacc и TP Lex и разработке специальных библиотек функций работы с таблицами и функций измерений, применен для создания анализатора одного из широко используемых языков программирования Турбо Паскаль 7.0.

Разработанный статический измерительный анализатор программ, написанных на языке Турбо Паскаль версии 7.0, используется как инструмент для исследований самих программ, их моделей и реализаций методов и средств измерений и визуализации результатов измерений [23, 24, 29]. Этот анализатор является компонентом измерительной среды для исследования методов и средств языково-ориентированного подхода к оценке качества программ, написанных на алгоритмических языках программирования, а также компонентом экспериментального рабочего места оценщика программ в ИАПУ ДВО РАН.

ЗАКЛЮЧЕНИЕ

В диссертации получены следующие основные результаты.

1. Предложены принципы построения измерительных моделей современных алгоритмических языков программирования. Они определяют выбор элементов множества моделей символов и конструкций и их свойств. Предложенные принципы подтверждены при построении измерительных моделей трех широко используемых языков программирования.

2. Разработаны измерительные модели символов и конструкций обобщенного "современного" алгоритмического языка программирования, по существу, в совокупности образующие измерительную модель такого языка. Эта модель является универсальным представлением результатов измерений внутренних свойств программ и/или их компонентов, написанных на различных алгоритмических языках программирования. На основании этой модели построены измерительные модели языков программирования Турбо Паскаль версии 7.0 я Java.

3. Разработаны методы реализации функций измерения измерительных языковых процессоров путем модификации традиционных компонентов компиляторов, что обеспечивает получение значений мер внутренних свойств программ и/или их компонентов в терминах измерительных языковых моделей.

4. Предложен метод построения измерительных языковых процес-соров, основанный на использовании систем построения трансляторов TP Yacc и TP Lex и разработке специальных библиотек функций работы с таблицами и функций измерений. Этот метод позволяет реализовывать средства измерения программ с относительно невысокими затратами.

5. В соответствии с предложенной методологией построения измерительных языковых моделей и анализаторов измерительных языковых процессоров разработан измерительный анализатор языка Турбо Паскаль версии 7.0. Этот измерительный анализатор используется как инструмент для исследований самих программ, их моделей и реализаций методов и средств измерений и визуализации результатов измерений в Институте автоматики и процессов управления ДВО РАН и Дальневосточном государственном университете.

Алгоритмический язык Алгол 60: Модифицированное сообщение. М.: Мир, 1982. 72 с.

Ахманова О.С. Словарь лингвистических терминов. М.: Изд-во "Советская энциклопедия", 1966. 608 с.

Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Т.1. Синтаксический анализ. Т.2. Компиляция. М.: Мир, 1978. 614 и 488 с.

Баррон Д. Введение в языки программирования: Пер. с англ. под ред. Ю.М.Баяковского. М.: Мир, 1980. 192 с.

Гослинг Д., Арнольд К. Язык программирования Java. СПб.: Питер,

1997. 304 с.

Буч Г. Объектно-ориентированное программирование с примерами применения. М.: Конкорд, 1992. 519 с.

Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975. 543 с.

Джехани Н. Язык Ада. М.: Мир, 1988. 549 с.

Джонсон С.С. Yacc. http//www.docs.rinet.m/YACC/yacc.html

Иенсен К., Вирт Н. Паскаль: Руководство для пользователя. М.: Финансы и статистика, 1989. 255 с.

Катцан Г. Язык ФОРТРАН 77. М.: Мир, 1982. 208 с.

Кауфман В.Ш. Языки программирования. Концепции и принципы. М.: Радио и связь, 1993. 432 с.

Коган Б.И. Измерительные языковые процессоры // Адаптируемые средства программирования. Методы оценки трансляторов: Материалы школы-семинара 5-10 июня 1989 г. Кишинев: ДНТ, 1989. С. 59-63.

Коган Б.И. Использование измерительных языковых процессоров в интеллектуальных средствах оценки качества программ //Методы повышения качества программного обеспечения: Материалы семинара. Владивосток: ДВО АН СССР, 1990. С.31-36.

15] Коган Б.И. Измерительные языковые процессоры для исследований и оценки качества программных средств: Диссертация на соискание ученой степени доктора технических наук. Владивосток: ИАПУ ДВО РАН, 1993. 450 с.

16] Коган Б.И. Определение базовой объективной системы внутренних свойств программных продуктов: Препринт. Владивосток: ИАПУ ДВО РАН, 1996. 56 с.

17] Коган Б.И., Остроухова С.Н. Построение измерительной модели языка программирования: Препринт. Владивосток: ИАПУ ДВО РАН, 1996. 36с.

18] Коган Б.И., Остроухова С.Н. Построение измерительной модели современного языка программирования: Препринт. Владивосток: ИАПУ ДВО РАН, 1998.38 с.

19] Коган Б.И., Остроухова С.Н., Бардин Г.Е. Измерительная модель языка программирования Java: Препринт. Владивосток: ИАПУ ДВО РАН, 1998. 47 с.

20] Коган Б.И., Остроухова С.Н. Измерительные модели языков программирования.// Дальневосточная математическая школа-семинар имени академика Е.В. Золотова. Сборник научных трудов. Часть 3. Владивосток: Изд-во ИАПУ ДВО РАН, 1999. С.35-45.

21] Коган Б.И. Экспериментальные исследования программ. М.: Наука, 1988. 184 с.

22] Коган Б.И., Остроухова С.Н. Измерительные языковые модели: универсальный формат представления результатов измерения программ //Дальневосточная мат. школа-семинар им. академика Е.В.Золотова: Тез. докл. Владивосток: ИПМ ДВО РАН, 1998. С.46.

23] Коган Б.И., Шалфеева Е.А. Средства специфицирования моделей и метрик для поддержки языково-ориентированного подхода к измерению и оценке качества программ. Часть 1: Препринт. Владивосток: ИАПУ ДВО РАН. 40 с.

24] Коган Б.И., Шалфеева Е.А. Средства специфицирования моделей и метрик для поддержки языково-ориентированного подхода к измерению и оценке качества программ. Часть 2: Препринт. Владивосток: ИАПУ ДВО РАН. 40 с.

25] Кондаков Н.И. Логический словарь-справочник. М.: Наука, 1975. 720 с.

26] Лавров С.С. Основные понятия и конструкции языков программирования. М.: Финансы и статистика, 1982. 22 с.

27] Лавров С.С. Универсальный язык программирования (Алгол 60). (Серия: "Библиотечка программиста"). М.: Наука, 1972. 184 с.

28] Линдси Ч., ван дер Мюйлер С. Неформальное введение в Алгол 68. М.: Мир, 1973. 407 с.

29] Матвеева Т.О., Шалфеева Е.А. Специфицирование метрик программных продуктов на основе измерительных языковых моделей // Информационные технологии, 1999. № 7. С. 15-21.

30] Мельчук И.А. Автоматический синтаксический анализ. Том 1. Новосибирск, Изд-во Сибирского отделения АН СССР, 1964, 359 с.

31] Ожегов С.И. и Шведова Н.И. Толковый словарь русского языка. М.: Изд-во "АЗЪ", 1995. 908 с.

32] Оллонгрен А. Определение языков программирования интерпретирующими автоматами. М.: Мир, 1977. 288 с.

33] Остроухова С.Н. Измерительный анализатор языка ISO- Паскаль// Измерение, контроль и автоматизация производственных процессов (ИКАПП-97): Сб. докладов 4-й Международной конференции. Т.1: Измерение и информационные технологии в производственных процессах. Барнаул: Изд-во АлтГТУ, 1997. С. 97-99.

34] Падучева Е.В. О семантике синтаксиса (материалы к трансформационной грамматике русского языка). М.:Наука, 1974. 292 с.

35] Перминов О.Н. Введение в язык программирования Ада. М.: Радио и связь, 1991. 288 с.

36] Пратт Т. Языки программирования. Разработка и реализация: М.: Мир, 1979. 151 с.

37] Программные средства вычислительной техники: Толковый терминологический словарь-справочник. М.: Из-во стандартов, 1990. 368 с.

38] Пярнпуу А.А. Программирование на алгоритмических языках. М.:Наука. Главная редакция физико-математической литературы, 1983. 320 с.

39] Современный русский язык: Учеб. Для филол. спец. ун-тов/ В.А.Белошапкова, Е.А.Брызгунова, Е.А.Зеленская и др.; Под ред. В.А. Белошапковой. 2-е изд., испр. и доп. М.:Высш.шк., 1989. 800 с.

40] Страуструп Б. Язык программирования Си++/Перев.с англ. М.: Радио и связь, 1991. 352 с.

41] Фахрутдинов К.И. Языки программирования. Владивосток: Изд-во Дальневосточного университета, 1991. 188 с.

42] Хантер Р. Проектирование и конструирование компиляторов. М.: Финансы и статистика, 1984. 232 с.

43] Хигман Б. Сравнительное изучение языков программирования. М.: Мир, 1974. 206 с.

44] Шилд Г. Программирование на BORLAND С++ для профессионалов. Мн.: ООО "Поппури", 1998. 800 с.

45] Arnold К., Gosling J. The Java programming language. Addison Wesley Publishing Company, 1994. 249 p.

46] Bache R. Graph model of software: PnD dissertation.London: Polytechnic of the South Bank, 1990. 149 p.

47] Bache R., Bazzana G. Software metrics for product assessment. McGraw-Hill Book Company, 1994. 249 p.

48] Brian L., Emam K., Morasca S. On the Application of Measurement Theory in Software Engineering: International Software Engineering Reseach Network technical report #ISERN-95-04. 23 p.

49] Chidamber S.R., Kemerer C.F. A metrics suite for object oriented design // IEEE Trans. Sofware Eng., 1994. V. 20, N. 6. P.476-493.

50] Cogan B.I. Engineering expert systems for software quality assessment // Proc. of the 2d Int. Comp. Science Conf. on Data and Knowledge Engineering: Theory and Applications, Hong Kong, 1992, p.349-357.

51] Cogan B.I. Building a basic system of internal attributes for software products: An objective approach // Proc. of Int. Conf. on Software Quality, Maribor, Slovenia, 1995. Maribor: University of Maribor press, 1995, p. 127136.

52] Cogan B.I., Ostrouchova S.N. Building a measuring model of a programming language, Research Report RR/96/200. Glasgow: University of Strathclyde, Department of Computer Science, 1996. 37 p.

53] Cogan B.I., Matveeva T.O. A relational approach to software measurement and quality assessment // Proc. of the 7th European Software Control and Metrics Conference, Wilmslow, UK, 1996, p.280-291.

54] Cogan B.I. and Hunter R.B. Language-oriented approach to software measurement, in SMS-96 (eds C. Munson and Walter F. Tichy), pp. 3 to 8, Proceedings of Software Metrics Symposium. Germany, 1996, Berlin: IEEE Computer Society Press, 1996.

55] Cogan B.I., Ostrouchova S.N. Building a measuring model of a modern programming language, Preprint Research Report, University of Strathclyde, Department of Computer Science, 1998. 33 p.

56] Cog98b] Cogan B.I., Ostrouchova S.N. Bardin G.E. The Java language measuring model, Preprint Research Report, University of Strathclyde, Department of Computer Science, 1998. 33 p.

57] Cogan B.I., Ostrouchova S.N. Measuring models of programming languages. In: B.Cogan, I.Rosman (eds). Proc. Slovenian-Russian Workshop on Software Engineering, Vladivostok, 1998. Maribor University Press, 1998. P.77-90.

58] CS VERILOG : LOGISCOPE. http://www.verilogus.com/products/pages/logiscope.htm

59] Dick R. Subjective Software Measurement. Tools for the Human Assessor, Research Report University of Strathclyde, Department of Computer Science, 1993. 20 p.

60] Feldman J.A. A formal semantics for computer languages and its application in a compiler-compiler, CAMC, 9 (Jan. 1966), P.3-9.

61] Fenton N.E. Software Metrics: A Rigorous Approach, Chapman & Hall, 1991. 337 p.

62] Fenton N.E. Software measurement: A necessary scientific basis // IEEE Trans, on Software Eng., 1994. Vol.20. No.3. P.199-206.

63] Fenton N.E., Pfleeger S.L. Software metrics: A Rigorous & Practical Approach. Second ed. International Tompson Computer Press, 1996. 638 p.

64] Gehani N. Ada: An Advanced Introduction Including Reference Manual for the Ada Programming Language, Prentice-Hall, Inc., 1984.

65] Ghani A.A., Hunter R. Standards for Sourse Code Metrics, Research Report SQ-8-93., University of Strathclyde, Department of Computer Science,1993. 14 p.

66] Gosling J., Joy B., Steele G. The Java language specification. Addison-Wesley Longman, Inc. 1996. 825 p.

67] IEEE Guide for the use of IEEE standard dictionary of measures to produce reliable software: ANSI/IEEE Std 982.2-1988. 96 p.

68] IEEE standard glossary of software engineering terminology: ANSI/IEEE Std 610.12-1990. 88 p.

69] IEEE standard for a software quality metrics methodology: IEEE/ANSI Std 1061-1992, 88 p.

70] IEEE standard classification for software anomalies. IEEE/ANSI Std 10441993, 26 p.

71] ISO/IEC 9126, Software product evaluation - Quality characteristics and guidelines for their use, 1991. 17 p.

72] Jensen K., Wirth N. Pascal User Manual and Report, Springer-Verlag, 1985.

73] Kitcheman B.K., Pfleeger S.L., Fenton N. Towards a framework for software measurement validation// IEEE Trans. On Software Eng., 1995. Vol.21. No.12. P.929-943.

74] Koffman E.B. Turbo Pascal. 5th ed. Addison-Wesley Publishing Company, Inc. 1995.

75] Metrics Tools. http://www.stsc.hill.af.mil/CrossTalk/1995/feb/Metrics.asp

76] Microman Examples and Download Links for Lex & Yacc. http://www.uman.com/lexyacc.stml

77] Naur P. (ed.) Revised report on the algorithmic language Algol 60, Comm. Of the ACM, 1963,6,1, 1-17.

78] Plauger P.J., Brodie Jim. Standard C: A reference. Prentice Hall PTR. 1996.

79] Pressman R.S. Software Engineering: Practitioner's Approach. European 3d Rev.ed. McGraw-Hill Inc., 1994. 802 p.

80] Pressman R.S. Software Engineering: Practitioner's Approach. Fourth edition. McGraw-Hill Inc., 1997. 885 p.

81] SCOPE Technology Work Report SC.93/009/GMD.hlh.dw/T2.1/DT/03, SCOPE-Partners and CEC, 1993. 89 p.

82] Software measurement Tool Book. Software quality with measurement tools. http://ivs.cs.uni-magdeburg.de/sw-eng/us/metrics/econtents.shtml.

83] Software Testing FAQ: Testing Tools Supplier List, http ://w ww. ci gital. com/marick/faqs/tools. htm

84] SPI Partners Tools, http://www.spipartners.nl/data/toolsconen.html

85] Tools for calculating software metrics. http ://www.pitt. edu/~ddarcy/isprof/tools. html

86] Tools List Testing. http://www.cio-dpi.gc.ca/emf/solutions/softools/5-3-2toolsl.html