Approach to the Analysis of Software Requirements Specification on Its Structure Correctness

During forming and formulating the requirements, it is important to comply with the standards that govern the software development process. The main basic standard for specifying the software requirements is ISO/IEC/IEEE 29148:2018, which regulates the structure and required items of the specification. Result of such analysis is: the known models, methods and tools don't solve the problem of software requirements specification analysis on its structure correctness (according to ISO/IEC/IEEE 29148:2018). In this paper, the authors have proposed the formalization of the structure of software requirements specification (according to ISO/IEC/IEEE 29148:2018) in the form of set-theoretical models of sections of the specification. The approach to the analysis of software requirements specification on its structure correctness (according to ISO/IEC/IEEE 29148:2018) was developed. This approach made it possible to perform a quick automated check of the software requirements specification on consideration of the above-defined specification's items. Such check allows making the automatic conclusion about the correctness/incorrectness of the structure of the specification, about the possibility of further work on the project according to such specification or about the need for re-work of the specification.