Automating requirements traceability in project documentation using TraceTrend tool: model, design and application

Odarushchenko, O. M.; Odarushchenko, O. B.; Одарущенко, Олег Миколайович; Одарущенко, Олена Борисівна

Публікація:
Automating requirements traceability in project documentation using TraceTrend tool: model, design and application

dc.contributor.author	Odarushchenko, O. M.
dc.contributor.author	Odarushchenko, O. B.
dc.contributor.author	Одарущенко, Олег Миколайович
dc.contributor.author	Одарущенко, Олена Борисівна
dc.date.issued	2025
dc.description.abstract	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.
dc.identifier.citation	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.
dc.identifier.issn	1814-4225
dc.identifier.other	UDC 004.42:004.415.2:004.052.42
dc.identifier.uri	https://dspace.pdau.edu.ua/handle/123456789/22183
dc.language.iso	en
dc.publisher	Radioelectronic and Computer Systems
dc.relation.ispartofseries	No. 4 (116)
dc.subject	traceability analysis
dc.subject	mathematical modeling
dc.subject	formal verification
dc.subject	TraceTrend tool
dc.subject	test coverage
dc.subject	documentation consistency
dc.subject	safety standards
dc.subject	automated analysis
dc.subject	system engineering
dc.title	Automating requirements traceability in project documentation using TraceTrend tool: model, design and application
dc.title.alternative	Автоматизація відстеження вимог у проєктній документації за допомогою інструменту TraceTrend: модель, проєктування та застосування
dc.type	Article
dspace.entity.type	Publication