程序正确性证明最常用的方法是 【16】 ,它对程序提出一组命题。如果在数学上证明这些 发布时间:2017-07-20 01:40 │ 来源:www.tikuol.com 题型:填空题 问题: 程序正确性证明最常用的方法是 【16】 ,它对程序提出一组命题。如果在数学上证明这些命题成立,就能保证程序不发生错误。
题型:填空题 有以下程序(说明:字母A的ASCⅡ码值是65): #include <stdio.h> void fun (char *s) while(*s) if(*s%2) printf("%c",*s); s++: main() char a[]="BYTE"; fun(a); printf("\n"); 程序运行后输出的结果是( )。A.BY B.BTC.YT D.YE 查看答案
题型:填空题 依次填入下列各处横线上的词语最恰当的一组是( ) (1)群众看见了伽西莫多赤裸的驼背,突起的胸脯,长着许多硬皮和汗毛的肩膀,便____出一阵哄笑。 (2)那姑娘有些疑惑,想起了前一晚那件未遂的暴行,便像小孩害怕被野兽咬着似的,____地把手缩回去了。 (3)辛德勒____良久,最终作出决定要尽力挽救那些即将遭灭顶之灾的犹太人。 A.爆发恐惧考虑B.暴发恐惧权衡C.爆发惊恐权衡D.暴发惊恐考虑 查看答案