Resolution of cyclic dependencies of the graphical model interconnection requirements for software

Obtaining information about the traceability of software requirements to application source code files is a complex application problem. Especially when establishing the required scope of verification procedures, the implementation of which is necessary to confirm the feasibility of requirements when changing one or more source code files. A model has been developed that provides analysis of the connectivity of source code files between themselves and the requirements. A method is proposed for resolving cyclic dependencies and generating a traceability graph of requirements for source code files. A software implementation of the model is proposed, which includes optional modules for studying its optimal configuration. The dependence of operating time on the implementation of the data storage method in the developed software solution has been studied.