●阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。

【说明】

某智能家居系统软件设计中，家庭内网节点软件设计包括协调器软件、现场采集/执行器（室内温湿度采集节点、模拟台灯控制节点、模拟雨水窗户监控节点、模拟空调控制节点和火灾监测节点）的软件设计。软件功能组成如图5-1所示。

图5-1  软件功能组成图

整个系统中，协调器是整个家庭内网的核心和起点，负责管理各个节点设备与PC网关的信息和控制指令的传输。温湿度采集终端将传感器的数据以点播的形式发送给协调器，其他采集/控制节点以广播的形式与协调器进行数据的交换，协调器和PC机采用串口通信协议。协调器软件主要完成以下功能：

（1）创建信道，组建网络；如果失败，则继续创建；

（2）组建网络成功，则进行各层事件扫描；

（3）如果检测到应用层有事件，则转第（4）步，否则反复扫描各层事件；

（4）判断数据类型， 如果是室内环境数据，则经串口发送到网关；如果是控制指令，则向控制节点发送控制指令；如果前面两者均不是，则不处理；

（5）继续扫描各层事件。

【问题1】 （4分）

在本软件开发过程中，开发人员使用了基于模型的嵌入式代码生成技术，目前对模型验证最主要的方法是（1）。通过此方法验证后，利用此验证结果可对模型的覆盖率进行分析，模型的覆盖率类型一般包括（2） （至少写出两种类型）。

（1）备选项：

（5）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  测试覆盖用例统计表