在软件工程中,当前用于保证软件质量的主要技术手段是( )。
A.正确性证明
B.测试
C.自动程度设计
D.符号证明
参考答案:B
下列各句中,没有语病的一项是( )
A.艺术欣赏中的审美体验往往只可意会不可言传,一经点破,那含蓄的美常常会遭到破坏的危险。
B.在当今时代,文化是一个国家软实力的最重要组成部分。这个“软实力”硬不硬、强不强、大不大,与一个国家的文化产业强大与否直接关联。
C.推行有偿使用塑料袋,主要是通过经济手段培养人们尽量减少使用塑料袋,这无疑会对减少白色污染、净化环境产生积极作用。
D.许多地方以较低的价格征用耕地盖起高楼大厦,这给国家不但造成极大的资源浪费,也给老百姓造成极大的利益伤害。
这类设备全部或某些带电部件浸在油中使之不能点燃油面以上或外壳周围的爆炸性混合物的电气设备所对应的防爆电气设备结构性能类型为()。
A.充油型(O)
B.防爆特殊型(s)
C.充砂型(q)
D.粉尘防爆型