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

Петр Константинович Вытовтов; Евгений Михайлович Марков; Виктор Александрович Куликов

Авторы

П. К. Вытовтов
Е. М. Марков
В. А. Куликов

Ключевые слова:

временная сложность, метрики программного кода, нейронные сети, статический анализ программного кода, скорость выполнения программы

Аннотация

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

Библиографические ссылки

Thomas J. McCabe. A Complexity Measure // IEEE Transactions On Software Engineering. - Vol. SE-2, No. 4. - December 1976.

Холстед М. Х. Начала науки о программах. - М. : Финансы и статистика, 1981.

Michael Sipser. Introduction to the Theory of Computation // Course Technology Inc, 2006.

Vytovtov P. K., Markov E. M., M. Aiman Al Akkad. Analysis of Software Code Metrics for Defining Their Priority for Cocol’s Metric // Приборостроение в XXI веке - 2014. Интеграция науки, образования и производства : сб. материалов X Всерос. науч.-техн. конф. с междунар. участием (Ижевск, 12-14 нояб. 2014 г.). - Ижевск : Изд-во ИжГТУ имени М. Т. Калашникова, 2015. - 615 с.

Там же.

Курмангалеев Ш. Ф. Методы оптимизации Cи/Cи++-приложений, распространяемых в биткоде LLVM с учетом специфики оборудования // Труды Института системного программирования РАН. - 2013. - Т. 24. - С. 127-144.

Ravichandhran Madhavan, Viktor Kuncak. Symbolic Resource Bound Inference for Functional Programs // Computer Aided Verification (CAV). - 2014.

TensorFlow - an Open Source Software Library for Machine Intelligence. - URL: https://www.tensorflow.org/ (дата обращения: 17 марта 2016 г.).

Оsanwe/time-complexity. - URL: https://github.com/ osanwe/time-complexity (дата обращения: 17 марта 2016 г.).

Fragglet/c-algorithms: A library of common data structures and algorithms written in C. - URL: https://github.com/ fragglet/c-algorithms (дата обращения: 17 марта 2016 г.)

Big-O Algorithm Complexity Cheat Sheet. - URL: http://bigocheatsheet.com/ (дата обращения: 17 марта 2016 г.)