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

Abstract

Розглядається задача оберненого виведення на основі нечітких процес-орієнтованих моделей надійності ПЗ. Модель надійності процесу розробки будується на основі логіко-алгоритмічного опису в системі алгебри алгоритмів В.М. Глушкова. Задача аналізу надійності зводиться до задачі оберненого виведення і потребує розв'язання системи нечітких логічних рівнянь (СНЛР), що випливає із логіко-алгоритмічного опису. Множина розв’язків СНЛР дозволяє відновити послідовність процесів та подій, що спричинили наявний стан системи. Розглядається задача аналізу безпеки збереження даних у Flutter додатках, де процесами, що забезпечують захист даних є: шифрування даних; процеси аутентифікації користувачів і надання їм доступу до захищених ресурсів в додатку або на сервері.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.