2014 год
https://lib.nsu.ru/xmlui/handle/nsu/1318
2024-03-29T02:38:44ZАвтоматизация сбора и анализ метрик программного кода для языка PHP.
https://lib.nsu.ru/xmlui/handle/nsu/7710
Автоматизация сбора и анализ метрик программного кода для языка PHP.
Яковлева, Анна Алексеевна; Yakovleva, Anna Alekseevna
Объектом исследования в данной работе стало создание актуальной методики оценки качества программного кода для языка PHP. Эта работа была выполнена по заказу ИТ компании «Алавар.ру». Статистика оценки кода может стать основой для определения интегральных характеристик и разделения уровней качества исполняемой работы. На основе такой оценки ИТ-компания сможет более качественно планировать экономические показатели и более эффективно принимать на работу программистов, распределять между ними задания, планировать корпоративное обучение и рост сотрудников.
В рамках исследования была достигнута цель работы – автоматизация сбора и анализ метрик программного кода для языка PHP.
Исходя из цели работы, были выполнены следующие задачи:
1. Осуществлен анализ потребностей ИТ компании, ожиданий от применения методики оценки качества;
2. Определены требования к методике оценки качества;
3. Выполнен анализ существующих средств для автоматизации сбора и анализа метрик программного кода;
4. Проведен выбор метрик подходящих под требования компании;
5. Разработан программный модуль для сбора оценочных метрик разного типа;
6. Созданы новые метрики целесообразные для использования компанией;
7. Создан инструментарий для анализа полученных значений метрик.
Текст работы состоит из введения, четырех глав и заключения. В первой главе описывается определение требований к создаваемой методике. Во второй главе рассматриваются существующие аналоги системы для сбора метрик программного кода для языка PHP. В третьей главе описываются существующие метрики качества программного кода. В заключительной главе описывается процесс автоматизации сбора и анализ метрик программного кода для языка PHP. Объем работы — 30 страниц. Работа содержит 6 иллюстраций. Использовано тринадцать источников литературы.
2014-06-01T00:00:00ZПрограммный комплекс для многомерного анализа биологических данных JACOBI 4: архитектура, графический интерфейс, расширение функционала
https://lib.nsu.ru/xmlui/handle/nsu/7709
Программный комплекс для многомерного анализа биологических данных JACOBI 4: архитектура, графический интерфейс, расширение функционала
Штайгер, Ирина Александровна; Shtayger, Irina Alexandrovna
Данная работа выполнена в рамках проекта JACOBI 4 по разработке
программного комплекса для поддержки новой технологии поиска генов-кандидатов в
генные сети, разработанной в ИциГ СО РАН. С 2013 года JACOBI 4 является частью
более крупного проекта ИЦиГ СО РАН “Интеллектуальный анализ и комбинирование
гетерогенных данных” (№13-07-00315), поддержанного грантом РФФИ.
Целью работы является облегчение процесса анализа биологических данных
путѐм создания программного комплекса, позволяющего проводить такой анализ.
Реализованный программный комплекс включает в себя 5 подсистем состоящих
из 6 модулей с графическим интерфейсом и 5 основных конфигурационных файлов.
JACOBI 4 введен в эксплуатацию и используется для обучения студентов в ИЦиГ СО
РАН. По итогам применения пакета для анализа биологических данных подготовлена и
принята к печати публикация.
Объем дипломной работы: 39 страниц. Количество рисунков - 13. Список
литературы содержит указания на 16 источников.
2014-06-01T00:00:00ZГенерация и доказательство формул корректности предикатных программ
https://lib.nsu.ru/xmlui/handle/nsu/7708
Генерация и доказательство формул корректности предикатных программ
Чушкин, Михаил Сергеевич; Chushkin M.S.
Парадигма предикатного программирования занимает промежуточное положение
между парадигмами функционального и императивного программирования. Язык
предикатного программирования P определяет класс программ, не взаимодействующих с
внешним окружением. Эти программы реализуют функции, отображающие значения
входных переменных в значения результатов и не взаимодействуют с внешним окружением.
Метод дедуктивной верификации, используемый в предикатном программировании,
существенно отличается от классических методов Флойда и Хоара. Он базируется на
понятии логики программы. Метод позволяет доказывать тотальную корректность
программ.
Целью работы является разработка и реализация системы верификации программ на
языке P. Система верификации состоит из трех компонент. Основной компонентой системы
верификации является генератор формул корректности программы. Генератор реализует
метод дедуктивной верификации предикатных программ.
Две другие компоненты – это трансляторы на язык CVC3 и PVS. Сгенерированные
формулы проходят проверку на истинность в SMT-решателе CVC3. Формулы, которые
решатель не смог проверить, доказываются в системы PVS.
В рамках работы была построена система правил вывода условий корректности.
Реализована система дедуктивной верификации предикатных программ. Система успешно
прошла апробацию в рамках курса “Формальные методы в описании языков и систем
программирования”. Работа докладывалась на международной научной студенческой
конференции 2014 года, где была удостоена диплома третьей степени.
Объем работы составляет 62 страницы. В работе использовано 12 иллюстраций и 4
таблицы. В работе присутствуют ссылки на 24 внешних источника.
2014-06-01T00:00:00ZИнтеллектуальная система анализа геолого-промысловых данных
https://lib.nsu.ru/xmlui/handle/nsu/7707
Интеллектуальная система анализа геолого-промысловых данных
Татарников, Вадим Владимирович; Tatarnikov, Vadim V.
Объектом исследования данной работы являются методы заполнения пробелов в таблицах «объект-свойство-время» (кубах данных).
Целью работы является снижение степени неопределённости данных мониторинга нефтегазовых скважин, через предобработку: заполнение пробелов и обнаружение ошибок. Достоверность и полнота этих данных имеет большое значение для принятия решений при эксплуатации скважин, в частности, при реализации схемы переключения расходомера по событиям для измерения дебита.
В работе предложена реализация программной системы обеспечивающей сбор, обработку и хранение геолого-промысловых данных. Проанализированы существующие методы заполнения пробелов в кубах данных и предложен собственный метод, основывающийся на понятии компактности и функции конкурентного сходства.
Разработанная система предназначена для внедрения в системы мониторинга нефтегазовых месторождений и организации с её помощью обработки геолого-промысловых данных, с целью обнаружения ошибок, заполнения пробелов и выделения событий. Область применения разработанного алгоритма не ограничивается геолого-промысловыми данными, алгоритм позволяет анализировать кубы данных произвольной природы, в том числе разнотипные.
Объём работы 26 страниц, в работе имеется 9 иллюстраций, список литературы состоит из 12 использованных источников.
2014-06-01T00:00:00Z