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

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

Автор: Шалфеева, Елена Арефьевна

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

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

Год защиты: 2000

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

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

Артикул: 2295733

Автор: Шалфеева, Елена Арефьевна

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

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

Введение
Глава 1. Анализ метрик, применяемых при оценивании
программных средств, и моделей, используемых для определения и вычисления метрик
1.1 Основные понятия, используемые при моделировании программных продуктов
1.2 Модели проектов и программ
1.3 Основные метрики качества и связь метрик с внешними свойствами программ
1.4 Задачи диссертационной работы.
Глава 2. Разработка согласованной системы моделей традиционной и объектноориентированной программ для используемых на практике метрик.
2.1 Обобщенная модель структуры традиционной
программы для используемых на практике метрик . .
2.2 Модель иерархии наследования классов.
2.3 Модель потока сообщений
2.4 Модель взаимодействия компонентов объектноориентированного проекта и программы.
2.5 Выводы к главе 2
Глава 3. Создание языка для формального определения внутренних свойств программ в терминах измерительных языковых моделей.
3.1 Графовые модели программ и формат их представления .
3.2 Языковые средства для представления графовых
моделей программ в терминах измерительных языковых моделей.
3.3 Метрики программ.
3.4 Языковые средства для представления метрик программ
в терминах моделей программ
3.5 Выводы к главе 3
Глава 4. Реализация библиотеки метрик.
4.1 Построение графовых моделей программ по измерительным
моделям.
4.2 Вычисление метрик программ по графовым моделям .
4.3 Выводы к главе 4
Заключение
Литература


Термин атрибут (attribute) используется для компонента класса программы, называемого в литературе также полем (field), [], переменной (variable) []. Термин входная вершина графа потока управления используется для вершины графа, называемой в литературе start node [, ]) и entry node [, ]). Термин выходная вершина графа потока управления используется для вершины графа, называемой в литературе stop node [, ], exit node (where the control flow stops or returns to a calling software unit) [, ]), terminal node []. Любой ПП, в частности, исходный код (будем называть его программой) или какая либо его часть, представляют собой слишком "сложную" совокупность элементов и конструкций, чтобы одновременно рассматривать все эти компоненты, их связи и свойства. Как правило, при изучении/анализе/оценивании и т. ПП представляется различными типами моделей, каждый из которых охватывает только часть компонентов ПП и свойств этих компонентов [, , ]. Свойства моделей ПП принято приписывать самим ПП. Ниже рассматриваются основные применяемые на практике типы графовых моделей традиционных проектов и программ. Обобщающие модели для ОО проектов и программ рассматриваются в главе 2. Следует отмстить, что зачастую конкретный тип моделей предполагает, что ПП разработан с соблюдением определенных правил, соблюдение которых, как установила практика создания ПС, повышает качество , уменьшает число ошибок в них, повышает производительность труда разработчиков и г. При моделировании потока управления вершинам графа (обычно) ставят в соответствие операторы этого модуля, при этом дуга между вершинами показывает передачу управления от одного оператора к другому [, ]. В общем случае модуль может быть написан так, что он имеет несколько входов и/или несколько выходов. Следует заметить, что написание модулей второго типа программистам, как правило, запрещено. В тех случаях, когда модуль программы относится к первому типу, в качестве его модели рассматривают граф потока управления - орграф, в котором всем вершинам, кроме выходной вершины, соответствуют простые операторы языка, имеющие операционную семантику, а дугам - связи по управлению между этими операторами []. При этом вершина, соответствующая входу в модуль, называется входной, фиктивная вершина, соответствующая окончанию выполнения модуля (point in software module at which execution can terminate), называется выходной, и каждая вершина лежит на некотором пути от входной вершины к выходной [, ]. Примечание. Некоторые специалисты по технологии программирования выделяют входные и выходные вершины в графе особым образом [, , ]. Принято различать два типа вершин графа потока управления: процедурные -вершины с полустепенью исхода равной единице, предикатные - вершины с полустепенью исхода больше единицы. В качестве меток вершин могут быть использованы номера соответствующих операторов. В качестве меток дуг, выходящих из предикатных вершин, может быть использовано одно из значений: и, если полученное в вершине значение есть истина (true), либо л, если вычисленное значение естъ ложь (false) []. На рис. Модуль является модулем первого типа (с одним входом и одним выходом). Всем вершинам графа потока управления, кроме выходной, соответствуют предложения (операторы) модуля. Метки этих вершин соответствуют номерам предложений (операторов) в модуле программы. Фиктивная вершина, соответствующая выходу из модуля, не имеет метки. Дугам соответствуют связи по управлению между предложениями (операторами) модуля. Каждая дуга, выходящая из предикатной вершины, имеет метку, показывающую, при каком значении логического выражения имеет место соответствующая связь по управлению. Поскольку граф потока управления отражает структуру потока управления в модуле, его используют для изучения свойств этой структуры. В частности, по нему определяют ’’трудоемкость” применения различных стратегий тестирования; ’’структурность" модуля, т. При этом вложенностью конструкции (оператора) называют ее (его)вхождение в другую конструкцию ("сложный" оператор), а глубиной вложенности - число уровней вложения конструкции (оператора) ].

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

28.06.2016

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

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

15.02.2015

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

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


Все новости

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