LOGICAL TESTING CONSTRUCTIONS
The article describes testing methods based on the use of logical test structures. The paper proves that most of the tests are logical constructions tied to a specific subject. It is shown that the basis of logical testing structures are models of information structures and technology of logic programming. The special logical basis applied in logic programming is applicable also in the field of testing. The paper proves that logical testing consists of moving from question-answer testing to logical chains. The article describes the advantages and disadvantages of logical testing structures.