Describir: Алгоритм тестирования мультипроцессорных многомодульных бортовых цифровых вычислительных систем интегрированной модульной авионики