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%. Key words: software dependability, static code analysis, dimensional analysis, control flow, control flow equation, fixed point problem
