Organization of testing in verification of avionics software in onboard systems with high critical level

In this article we consider problem of organization of testing based high- and low-level requirements. Purpose is to make processes that surround testing more effective such as test-plan composing, preparing test data and collecting artifacts. New models of testing project in terms of verification process and methods for working with models are proposed.