A实验性运行软件B证明软件正确C找出软件中全部错误D发现软件错误而执行程序