Research Progress in Software Testing on Cloud Computing