Coverage verification by tests of program branches and conditions of software in environments of automatic testing
A H Li, I A Lyapunova, N A Fomenko · IOP Conference Series Materials Science and Engineering · 2018
Software verification is a discipline of software engineering that focuses on compliance of software requirements. In critical areas such as the aviation industry, the quality of military software is subject to strict control. Covering the requirements allows you to assess the completeness of a set of tests in relation to the functionality of the system, but does not allow you to assess the completeness in relation to its software implementation. The same function can be implemented using completely different algorithms that require a different approach to the organization of testing. Our approach uses "concolic" testing to automatically generate test cases.