The testing of a computing model for a stationary time series is a standard task in statistics. When a parametric approach is used to model the time series, the question of goodness-of-fit arises. In this paper, we employ the empirical likelihood for an a-mixing process and formulate a statistic...