An Overview of CSAT Random Test