仅依据规格说明书描述的程序功能来设计测试实例的方法称为______。

甲对乙享有60万元债权，丙、丁分别与甲签订保汪合同，但未约定保证责任的范围和方式。戊以价值30万元的房屋为乙向甲设定抵押并办理了登记。请回答以下问题。

下列关于乙、丙、丁关系的表述何者正确( )

A．丙、丁的保证都为连带责任保证

B．丙、丁对乙的全部债务承担保证责任，但彼此之间不负连带责任

C．若丙与丁事后约定各自担保乙的30万元债务，该约定未经甲的同意不能生效

D．若丁代乙清偿了全部债务，应首先向乙追偿，若乙不能偿还再要求丙分担责任

下列说法不正确的是（　　）

A．可以用pH试纸测定正常雨水的pH约为5.6

B．可以用石蕊溶液来确定溶液的酸碱性

C．医疗上可以用氯化钠来配制生理盐水

D．工业上可以用硫酸生产化肥和农药

2000年我国环境保护奋斗目标是，力争使环境污染和生态破坏加剧的趋势得到（），部分城市和地区的环境质量有所改善。

A、基本控制

B、完全控制

C、彻底消除

D、部分消除 

纱线线密度越大，钢丝圈重量应该越（）。