Теория и метод тестирования встроенной операционной системы реального времени