列表

详情


阅读下列说明和图,回答问题1至问题3,将解答填入答题纸的对应栏内。
【说明】
在智能家居系统软件设计中,家庭内网节点软件设计包括协调器、现场采集/执行器(室内温湿度采集节点、模拟台灯控制节点、模拟雨水窗户监控节点、模拟空调控制节点和火灾检测节点)的软件设计。软件功能组成如图3-1所示。

图3-1  软件功能组成图
整个系统中,协调器是整个家庭内网的核心,负责管理各个节点设备与PC网关的信息和控制指令的传输。温湿度采集终端将传感器的数据以点播的形式发送给协调器,其他采集/控制节点以广播的形式与协调器进行数据交换,协调器和PC机采用串口通信协议。协调器软件主要完成以下功能:
(1)创建信道,组建网络;如果失败,则继续创建;
(2)组建网络成功,则进行各层事件扫描;
(3)如果检测到应用层有事件,则转第(4)步,否则反复扫描各层事件;
(4)判断数据类型,如果是室内环境数据,则经串口发送到网关;如果是控制指令,则向控制节点发送控制指令;如果前面两者均不是,则不处理;
(5)继续扫描各层事件。

【问题1】(3分)
在本软件开发过程中,开发人员使用了基于模型的嵌入式代码生成技术,目前对模型验证最主要的方法是(1),通过此方法验证后,利用此验证结果可对模型的覆盖率进行分析,模型的覆盖率类型一般包括(2)(至少写出两种类型)。 
【问题2】(6分)
为了测试此软件功能,测试人员设计了表3-1所示的测试用例,请填写该表中的空(1)〜(3)。


【问题3】(6分)
覆盖率是度量测试完整性的一个手段,也是度量测试有效性的一个手段。在嵌入式软件白盒测试过程中,通常以语句覆盖率、条件覆盖率和MC/DC覆盖率作为度量指标。
在实现第4条功能时,设计人员采用了下列算法:
if ((数据有效==TRUE) && (数据类型==室内环境数据))
{数据经串口发送到网关;}
if ((数据有效==TRUE) && (数据类型==控制指令))
{向控制节点发送控制指令;}
请指出对上述算法达到100%语句覆盖、100%条件覆盖和100%MC/DC覆盖所需的最少测试用例数目,填写在表3-2的空(1)〜(3)中。
                                                                                表3-2测试覆盖用例统计表


参考答案:

【问题1】
(1)白盒测试(2)语句覆盖、判定覆盖、条件覆盖、条件判定覆盖、修正的条件判定覆盖、条件组合覆盖、路径覆盖。(能写出两个就行)
【问题2】
(1)进行各层事件扫描(2)室内环境数据(3)模拟台灯
【问题3】
(1)2(2)2(3)4

详细解析:

MC/DC是Modified Condition/Decision Coverage(MC/DC)的缩写,含义是修正条件判定覆盖。
MC/DC:条件表示不含有布尔操作符号的布尔表达式;判定表示由条件和零或者很多布尔操作符号所组成的一个布尔表达式;而修正条件判定覆盖方法要求在一个程序中每一种输入输出至少得出现一次,在程序中的每一个条件必须产生所有可能的输出结果至少一次,并且每一个判定中的每一个条件必须能够独立影响一个判定的输出,即在其他条件不变的前提下仅改变这个条件的值,而使判定结果改变。
比如:IF( A||B||C )
|| 为或,即ABC只要一个为真,就能判定为真。因为判定中的每一个条件必须能够独立影响一个判定的输出,即在其他条件不变的前提下仅改变这个条件的值,而使判定结果改变。
例如:ABC为TFF
改变BC的值并不影响判定结果,但改变A的值会影响判定结果。
同理 FTF,FFT FFF都符合要求。


上一题