KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

KIAM Preprint № 31, Moscow, 2024
Authors: Sudakov V.A., Shabliy A.D.
Resolution of cyclic dependencies of the graphical model interconnection requirements for software
Abstract:
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.
Keywords:
requirements, traceability, source code, graph models, directed graph, cycles
Publication language: russian,  pages: 13
Research direction:
Mathematical modelling in actual problems of science and technics
Russian source text:
Export link to publication in format:   RIS    BibTeX
View statistics (updated once a day)
over the last 30 days — 13 (-11), total hit from 06.05.2024 — 37
About authors:
  • Sudakov Vladimir Anatolievich,  orcid.org/0000-0002-1658-1941KIAM RAS
  • Shabliy Alexey Denisovich,  orcid.org/0009-0003-9632-0251Moscow Aviation Institute