О применении метода скользящего разделения смесей для стохастической верификации времени выполнения программстатья