7．模糊测试方法包含了以下哪几项？（） *本题目实为多选题型 ①预生成测试用例。 ②随机生成输入。 ③手工协议变异测试。 ④变异或强制性测试。 ⑤自动协议生成测试。 A. ① ③ B. ① ② C. ① ② ③ D. ① ② ③ ④ ⑤

（一）取整法（round to integer method） 1.直接取整法：要求模糊度浮点解要有足够的精度，且模糊度间的相关性要小； 2.条件取整法：是一种基于条件最小二乘的取整方法，同样要求初始解的精度要高； 3.不相关模糊度变换取整法：该方法通过模糊度变换提高变换后的模糊度的精度，从而使取整的成功率提高。 （二）搜索法 1.在坐标空间内搜索：如模糊度函数法； 2.在模糊度空间搜索：如FARA、FASF法、LAMBDA法等。 快速模糊度分解法 它对于长度小于15KM的基线，能够用1～2min的双频观测数据求出整周模糊度参数，对于单频数据也可以把定位时间缩短在30min以内。 总之，该方法很大程度上提高了相对定位的效率，现已被广泛应用。它包括候选模糊度的确定及模糊度的筛选和有效性检验。 为了精化多面体置信范围，快速分解法还定义了任意两个模糊度参数差值的置信区间。 上述检索过程的结果是一组备选整数模糊度向量，把每个备选整数模糊度作为已知数代入法方程，求出相应的测站坐标和单位权方差，其中具有最小单位权方差的备选整数模糊度向量为最终的整数解向量，同时还要作如下检验： （1）整数解与初始解的相容性检验； （2）最小单位权方差与初始解单位权方差相容性检验； （3）最小单位权方差与次小单位权方差的可区分性检验。