Аннотация:
Рассматриваются вопросы синтеза дискретно-событийной модели для распределенной вычислительной системы. Модель отражает события обмена информацией между программными модулями системы и предназначена для построения тестовых последовательностей, обнаруживающих нарушения в этих обменах. Предлагается версия модели, позволяющая сокращать относительный объем диагностической информации, передаваемой в средства диагностирования.