Fundamental dependencies for requirements compliance conditions of a unique system under limited amount of testing

The paper proposes a methodology for assessing compliance of unique systems with the requirements basing on a limited amount of testing. The proposed methodology is based on the principles of three-component cognition, knowability and integrity, as well as the formal axiomatic method. We formulated a system of fundamental axioms for the proposed methodology, including: the axiom of compliance of a unique system action properties with the requirements; the axiom of compliance of a unique system appearance with the requirements; the axiom of compliance of a unique system purpose with the requirements. Based on the postulated axioms, we formulated and proved theorems that determine, based on the inference rules, the dependencies of the conditions for compliance of a unique system with the requirements. Analysis of the formulated theorems and their corollaries is carried out.