Resolution of cyclic dependencies of the graphical model interconnection requirements for software-Reference-Cited by-同舟云学术

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

Published:2024 Issue:31 Volume: Page:1-13
ISSN:2071-2898
Container-title:Keldysh Institute Preprints
language:
Short-container-title:KIAM Prepr.

Author:

Sudakov Vladimir Anatolievich^ORCID,Shabliy Alexey Denisovich^ORCID

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.

Publisher

Keldysh Institute of Applied Mathematics

Reference21 articles.

1. Вигура А.Н. Анализ и тестирование программ на основе алгебраической модели, Информационные технологии // Вестник Нижегородского университета им. Н.И. Лобачевского. 2011. № 5 (1). с. 185–190.

2. Осипов В.П., Судаков В.А., Хахулин Г.Ф. Информационные технологии формирования этапной программы научно-прикладных исследований на российском сегменте Международной космической станции // Вестник компьютерных и информационных технологий. 2012. № 12(102). c. 24-28.

3. Штейнберг О.Б., Ивлев И.А. Применение преобразования циклов "Retiming" с целью уменьшения количества используемых регистров // Южный федеральный университет // Известия ВУЗов. Северо-Кавказский регион. Технические науки. 2017. № 3, с 76-80.

4. Недоводеев К.В. Метод генерации графов потоков данных, используемых при автоматическом синтезе параллельных программ для неоднородных многоядерных процессов // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. 2012. № 3, с. 47-52.

5. Штейнберг О. Б. Минимизация количества временных массивов в задаче разбиения циклов // Известия ВУЗов, Северо-Кавказский регион, естественные науки. 2011. № 5, с. 31-35.