净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件

题型:单项选择题

问题:

净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用 (91) 进行分析和建模,并且将 (92) 作为发现和排除错误的主要机制。使用 (93) 测试来获取认证软件可靠性所需要的信息。

A.产生式归约
B.移进归约
C.盒结构归约
D.规范归约

考点:计算机软件水平考试高级系统分析师系统分析师
题型:单项选择题

牡丹的花色种类多种多样,其中白色的是不含花青素,深红色的含花青素最多,花青素含量的多少决定着花瓣颜色的深浅,由两对独立遗传的基因(A和a,B和b)所控制;显性基因A和B可以使花青素含量增加,两者增加的量相等,并且可以累加。一深红色牡丹同一白色牡丹杂交,得到中等红色的个体。若这些个体自交,其子代将出现花色的种类是[ ]

A.3种

B.4种

C.5种

D.6种

题型:单项选择题

列入《目录》内的进口锅炉压力容器,需要对外出具检验证书的,由省级锅炉监察机构出具检验证书。()

题型:单项选择题

下列关于散射比浊分析的描述,正确的是()

A.散射光的强度与复合物的含量成正比

B.测定的散射信号值是在散射信号响应值曲线的上升臂部分

C.散射比浊法分析与透射比浊分析的原理完全不同

D.一定要保持抗体过量以维持抗原抗体复合物的相对不溶解性

E.抗体量恒定时,形成免疫复合物的反应速率与散射信号响应值的上升呈正比

题型:单项选择题

若纵坐标为泵的扬程H,横坐标为流量qv,只要在曲线()上的各工况点,满足比例定律。

A、H=K1+K2qv

B、H=Kqv

C、Hc=Hst+qv

D、H=Hc+qv

题型:单项选择题

日军的联合作战包括()联合作战、()联合作战、()联合作战等三种形式。

更多题库