根据克拉维的观点,为了证明一个命题,可以证明其()是错误的。
第1题:
● 下列关于软件测试的叙述中,不正确的是()。()A.软件测试是为了发现错误而执行程序的过程B.测试是为了证明程序有错,而不是证明程序无错C.一个好的测试用例是在于它能发现至今未发现的错误D.一个成功的测试是发现了程序中所有的错误
第2题:
Myers在1979年提出了一个重要观点,即软件测试的目的是为了______。
A) 证明程序正确
B) 查找程序错误
C) 改正程序错误
D) 验证程序无错误
A.
B.
C.
D.
第3题:
A、命题获得
B、命题证明
C、命题学习
D、命题应用
第4题:
认定公民的出生时间,其证明依据的效力从高到低的顺序是医院证明、其他相关证明、户籍证明。 ( )
参考答案:错误
第5题:
数学命题学习分为()阶段。
A、命题习得
B、命题获得
C、命题证明
D、命题应用
第6题:
程序正确性证明最常用的方法是【 】,它对程序提出一组命题。如果在数学上证明这些命题成立,就能保证程序不发生错误。
第7题:
A.核实命题
B.理解命题
C.发现命题
D.计算命题
第8题:
证明程序正确最常用的方法是______,它对程序提出一组命题,如在数学上证明这些命题不成立,就能保证程序不发生错误。
第9题:
A.数学命题引人的设计
B.复习设计
C.数学命题分析设计
D.数学命题的证明
第10题:
Myers在1979年提出了一个重要观点,即软件测试的目的是为了______。
A.证明程序正确
B.查找程序错误
C.改正程序错误
D.验证程序无错误