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

P. K. Vytovtov; E. M. Markov; V. A. Kulikov

Authors

P. K. Vytovtov
E. M. Markov
V. A. Kulikov

Keywords:

artificial neural networks, software metrics, software time requirements, static source code analysis, time complexity

Abstract

The article is about a method of evaluating the time complexity of software based on artificial neural network. Necessary input parameters, neural network topology, and time complexity classes are determined. The experimental results of training a neural network are shown. The obtained result can be used in automation of evaluating the source code.

References

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 г.)