An approach for system tests design and its application

An approach for system test design is suggested and justified by the corresponding mathematical model. It is based on the representation of a testing process in an aggregate form of two dynamically interacting components: a control testing table and a testing processor. Control testing tables are equivalent to linear programs which process Boolean arrays. It is proved that the correctness problem for such programs is solvable and polynomial complexity algorithm is suggested. The utilization is considered for the approach when designing system tests for multicomputer systems and complexes, designing a software system for microcode synthesis and for performance evaluation of multi-user systems