Kaul N. Analytic Methods of Systems and Software Testing 2021