Manzhos Y. The semantic models, methods and information technology for increasing of reliability information control system software

The object of research is processes of verification and eva­luation of quality and reliability the software (SW) of infor­ma­tion control system (ICS). A purpose of research is a rise of authenticity of estimation of quality and reliability SW of the ICS via the attributes, metrics, models, methods, based on the semantic invariant. The functional analysis; higher algebra; theories of groups, dimensional, the graph, ab­stract data type, probability mathematical statistics. Develo­ped: the semantic model (SM) of SW, which proves expe­dien­ce of use of se­mantic attributes - physical dimensional for for­mal verifica­tion ICS SW; method of verification, based on the SM, that al­lows to promote objectivity of esti­mation of quality and ICS reliability; method of static analysis, allo­wing to find semantic software defects (SD); method of estima­tion of the verifica­ti­on result, allowing to estimate reduction of quantity of SD via using of statistical value SW; model of SW quality, that was secured by theground and choice of project decisions on di­ver­sification of IT of veri­fica­tion as superpo­sition of great num­ber of attributes, thanks to consideration of real degree of variety of attributes; adap­tive method of calibra­tion of sensiti­veness and degree of variety, that allows to esti­mate authen­ti­city of verification by injection of the SD in the SM and eli­mi­na­te interference and generation of the second SD, via to com­bi­nation of injection and expo­sure of SD with measuring attri­butes of program in­variant. The level of introducing is branch. The area of use is ICS development enterprises, еducation institutions .