Управління якістю програмного забезпечення як задача оберненого виведення на основі нечітких процес-орієнтованих моделей надійності

Abstract

The problem of inverse inference based on fuzzy process-oriented software reliability models is considered. The reliability model of the development process is built on the basis of a logical-algorithmic description in the system of V.M. Hlushkov’s algebra of algorithms. The problem of reliability analysis is reduced to the problem of inverse inference and requires the solution of the system of fuzzy relation equations (SFRE), which follows from the logicalgorithmic description. The set of SFRE solutions allows us to restore the sequence of processes and events that caused the current state of the system. The task of analyzing the security of data storage in Flutter applications is considered, where the processes that ensure data protection are: data encryption; processes for authenticating users and giving them access to protected resources in the application or on the server.