单项选择题

A.发现错误可能性大
B.能证明软件正确
C.简单
D.复杂