Наукова періодика України Радіоелектронні і комп’ютерні системи

Brukhankov S. S. 
About static analysis of variables physical dimensions for critical-mission software / S. S. Brukhankov, B. М. Konorev, M. S. L′vov, G. N. Zholtkevych // Радіоелектронні і комп’ютерні системи. - 2010. - № 6. - С. 186–191. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_6_34
Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built. Dimensions and dimensional distributions are presented in the paper in order to define invariants for program variables. The method to analyze the model is described and grounded in the paper. The experimental results shown in the paper make it possible to evaluate test-sensitivity at the rate of about 65 %.
  Повний текст PDF - 335.956 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Brukhankov S.
  • Konorev B.
  • L′vov M.
  • Zholtkevych G.

    • Бібліографічний опис для цитування:

    Brukhankov S. S. About static analysis of variables physical dimensions for critical-mission software / S. S. Brukhankov, B. М. Konorev, M. S. L′vov, G. N. Zholtkevych // Радіоелектронні і комп’ютерні системи. - 2010. - № 6. - С. 186–191. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_6_34.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського