A试验性运行软件B发现软件错误C证明软件正确D修改软件中出现的错误