Gordeyev A. Models, methods and information technology of software quality assessment on basis of profiling and injection of faults

Subject of research - informational control system software quality assessment processes. Goal of research - informational control system software quality assessment fullness increase on based development and use of methods and tools, which basis on profiling technologies and faults injection. Pursued researches are based on use of set theory methods at development of faset-hierarchical structures description and transformation models; mathematical models for prediction of potential software faults quantity; metrics for complexity assessment of program code and control program graph. Scientific results are: models of description and transformation of facet-hierarchical structure, which are based on them matrix-set representation and use of join and decomposition operations, models allow to formalize process of requirements and faults profiling for software quality assessment; software profiling method at the expense of facet-hierarchical structures describing corresponding profiles transformation andverification operations formalization which allows to provide assessment fullness and automatize process of requirements and faults profiling of software receiving; method of software verification quality assessment with use of faults injection on basis of development forming and faults profiles residual analysis procedures, which allows to raise software assessment fullness. Degree of application - industrial. Main results are assume to use in organizations and enterprises engaged in development, undependable verification, expertise of ICS software.