阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。
【说明】
某智能家居系统软件设计中，家庭内网节点软件设计包括协调器软件、现场采集/执行器（室内温湿度采集节点、模拟台灯控制节点、模拟雨水窗户监控节点、模拟空调控制节点和火灾监测节点）的软件设计。软件功能组成如图5-1所示。
整个系统中，协调器是整个家庭内网的核心和起点，负责管理各个节点设备与PC网关的信息和控制指令的传输。温湿度采集终端将传感器的数据以点播的形式发送给协调器，其他采集/控制节点以广播的形式与协调器进行数据的交换，协调器和PC机采用串口通信协议。协调器软件主要完成以下功能：
（1）创建信道，组建网络；如果失败，则继续创建；
（2）组建网络成功，则进行各层事件扫描；
（3）如果检测到应用层有事件，则转第（4）步，否则反复扫描各层事件；
（4）判断数据类型，如果是室内环境数据，则经串口发送到网关；如果是控制指令，则向控制节点发送控制指令；如果前面两者均不是，则不处理；
（5）继续扫描各层事件。
【问题1】（4分）
在本软件开发过程中，开发人员使用了基于模型的嵌入式代码生成技术，目前对模型验证最主要的方法是（1）。通过此方法验证后，利用此验证结果可对模型的覆盖率进行分析，模型的覆盖率类型一般包括（2）?（至少写出两种类型）。
（1）备选项：A．评审 B.分析 C.仿真 D.测试
【问题2】（10分）
为了测试此软件功能，测试人员设计了表5-1所示的测试用例，请填写该表中的空（1） ~ （5）。
表5-1 测试用例
【问题3】（6分）
覆盖率是度量测试完整性和测试有效性的一个指标。在嵌入式软件白盒测试过程中，通常以语句覆盖率、条件覆盖率和MC/DC覆盖率作为度量指标。
在实现第4条功能时，设计人员采用了下列算法：
if （（ 数据有效==TRUE） && （数据类型==室内环境数据））
{ 数据经串口发送到网关； }
if （（数据有效==TRUE） && （ 数据类型==控制指令））
{ 向控制节点发送控制指令； }
请指出对上述算法达到100%语句覆盖、100%条件覆盖和100%MC/DC覆盖所需的最少测试用例数目，并填写在表5-2的空（1） ~ （3）中。
表5-2 测试覆盖用例统计表
