阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。【说明】某智能家居系统软件设计中，家庭内网节点软件设计包括协调器软件、现场采集/执行器(室内温湿度采集节点、模拟台灯控制节点、模拟雨水窗户监控节点、模拟空调控制节点和火灾监测节点)的软件设计。软件功能组成如图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测试覆盖用例统计表
【问题1】分析条件覆盖、判定覆盖、MC/DC【问题2】(1)各层扫描 （2）室内环境数据（3）模拟雨水窗户监控节点发送控制指令（4）台灯 （5）空调控制指令【问题3】 2 2 3 【解析】 【问题1】模型验证的主要方法是分析：正确性分析；有效性分析；有用性分析；高效性分析正确性分析：（模型稳定性分析，稳健性分析，收敛性分析，变化趋势分析，极值分析等）有效性分析：误差分析，参数敏感性分析，模型对比检验有用性分析：关键数据求解，极值点，拐点，变化趋势分析，用数据验证动态模拟。高效性分析：时空复杂度分析与现有进行比较模型的覆盖率类型：条件覆盖、判定覆盖、MC/DC【问题2】（1）组网成功，则进行各层事件扫描（2）如果是室内环境数据，则经串口发送到网关（3）模拟雨水窗户监控节点发送控制指令（4）台灯（5）空调控制指令【问题3】本题中两个if语句为顺序结构，当第1组数据类型为室内环境为真时，第2组数据类型为控制指令就会出现假对于语句覆盖，选择：数据类型有效位真和一个数据类型为室内环境；数据类型有效为真和一个数据类型为控制指令条件覆盖，选择：数据类型有效为真和一个数据类型为室内环境为真；数据类型有效为假和一个数据类型为控制指令为真；MC/DC，1个数据有效条件为假，数据类型有效为真并1个数据类型等于室内环境数据，数据类型有效为真并1个数据类型等于控制指令，所以参考答案为3.
