下列选项中，（）不是运用风险同质性原理的结果。

A.30岁的人与40岁的人购买相同性质的保险时所缴纳的保费不相同

B.女性和男性的保费不同

C.不同职业的人购买相同性质的保险时所缴纳的保费不相同

D.不同年龄的人购买相同性质的保险时所缴纳的保费相同

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有______才有可能证明程序的正确性。