Публікація: Automating requirements traceability in project documentation using TraceTrend tool: model, design and application
Дата
2025
Автори
Odarushchenko, O. M.
Odarushchenko, O. B.
Одарущенко, Олег Миколайович
Одарущенко, Олена Борисівна
Назва видання
ISSN
Назва тому
Видання
Radioelectronic and Computer Systems
Анотація
The object of the study is a formalized model of requirements traceability in project documentation for hardware-software systems. The subject matter of the research encompasses the application of mathematical modeling and tool-based approaches to automate the traceability process, focusing on the design and functionality of the TraceTrend software tool. The primary goal of the study is to improve the quality and integrity of requirements management by implementing traceability mechanisms that ensure logical consistency, hierarchical correctness, and complete test coverage across all project documentation stages. The research tasks include: identifying challenges related to manual requirements tracing in safety-critical domains; constructing a formal mathemat-ical model based on set theory, binary relations, and directed graphs; defining binary matrices for requirement inheritance and test coverage; developing automated analysis techniques for traceability conditions; integrating the model into the TraceTrend tool; and demonstrating its applicability through a real-world case study. The study employed the following methods: mathematical modeling of binary relations, model-based testing, static analysis of documentation structures, and the use of Boolean matrix operations for verifying coverage and con-sistency. As a result of the research, a formal model of requirements traceability was created and implemented in the TraceTrend tool.
Опис
Ключові слова
traceability analysis, mathematical modeling, formal verification, TraceTrend tool, test coverage, documentation consistency, safety standards, automated analysis, system engineering
Бібліографічний опис
Odarushchenko O., Striuk O., Shamanskiy V., Hroza P., Odarushchenko E. Automating requirements traceability in project documentation using TraceTrend tool: model, design and application/ Radioelectronic and Computer Systems, 2025, No. 4 (116), pp. 236–244. DOI: https://doi.org/10.32620/reks.2025.4.16.