Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании

M.S. Lvov

Abstract


В работе рассматривается класс «физических» программ  т. е. программ, осуществляющих физические вычисления. Некоторые переменные таких программ имеют физический смысл, определяемый их физическими размерностями. Приведен алгоритм статического анализа исходного программного кода, проверяющий правильность использования переменных в соответствии с их физическими размерностями. Используются алгебраические модели программ, дополненные спецификациями физических размерностей входных и выходных переменных. Алгоритм интерпретирует эту модель, используя системы соотношений типа равенств из стандартной системы физических размерностей и семантику операторов алгебраической модели объектного языка программирования. Алгоритм реализован средствами алгебраического программирования системы APS-1.


Keywords


Физические программы

References


Briukhankov S.S., Konoriev B.M., Lvov M.S., Zholtkevitch H.N. About the Static Variable Dimensions Analysis for Software of Critical Appliance (English) // Radioe-lectronic and Computing Systems. N 6(47). Kharkiv "KHAI". – 2010. – P. 186–191.

Rushby J.M. Formal Verification of Algorithms for Critical Systems // IEEE Trans. Soft. Eng. – 1993. – Vol. 19, N 1. – P. 13–23.

Binkley D. Source Code Analysis: A Road Map // Future of Software Engineering 2007. – IEEE: Proc. FOSE’07, 2007. – P. 89–105.

Konorev B.M., Kharchenko V.S,. Chertkov G.N., Alekseev Yu.G., Manzhos Yu.S., Ser-gienko V.V. Integrated Instrumental Environment for Critical-Mission Software Systems Assessment, in Russian // Kharkiv: I&C System Certification Centre. State Centre for Regulation of Supplies and Service of Quality of State Nuclear Regulatory Committee of Ukraine, 2005. – 258 p.

Letichevsky А.А., Kapitonova J., Volkov V. and others. Algebraic Programming System APS: User Manual // Glushkov Institute of Cybernetics, National Acad. of Sciences of Ukraine, Kiev, Ukraine, 1998. – 50 p.

Kapitonova J., Letichevsky A., Lvov M., Volkov V. Tools for Solving Problems in the Scope of Algebraic Programming // Lecture Notes in Computer Sciences. – N 958. – 1995. – Р. 31–46.

Lvov M.S. Algebraic approach to the prob-lem of solving systems of linear inequalities // Cybernetics and Systems Analysis. – 2010. – Vol. 46, N 2. – Р. 326–338.

Lvov M.S., Peschanenko V.S. Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling // Cybernetics and Systems Analysis. – 2012. – Vol. 48, N 4. – Р. 931–942.

Letichevsky A., Letychevskyi O., Peschanenko V. About One Efficient Algo-rithm for Reachability Checking in Modeling and Its Implementation // Communications in Computer and Information Sci-ence. – 2012. – N 149. – P. 149–165.

Lvov M.S. Polynomial invariants for linear loops. // Сybernetics and Systems Analysis. – 2010. – Vol. 46, Issue 4. – P. 660–668.

Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. 3-е изд., перераб. и доп. – Киев: Наук. думка, 1989. – 376 с.


Refbacks

  • There are currently no refbacks.