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

admin2020-05-31  25

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

    整个系统中,协调器是整个家庭内网的核心,负责管理各个节点设备与PC网关的信息和控制指令的传输。温湿度采集终端将传感器的数据以点播的形式发送给协调器,其他采集/控制节点以广播的形式与协调器进行数据的交换,协调器和PC采用串口通信协议。协调器软件主要完成以下功能;
(1)创建信道,组建网络:如果失败,则继续创建;
(2)组建网络成功,则进行各层事件扫描;
(3)如果检测到应用层有事件,则转第(4)步,否则反复扫描各层事件;
(4)判断数据类型,如果是室内环境数据,则经串口发送到网关:如果是控制指令,则向控制节点发送控制指令:如果前面两者均不是,则不处理:
(5)继续扫描各层事件。
在本软件开发过程中。开发人员使用了基于模型的嵌入式代码生成技术,目前对模型验证最主要的方法是________________,通过此方法验证后,利用此验证结果可对模型的覆盖率进行分析,模型的覆盖率类型一般包括________________(至少写出两种类型)。

选项

答案[*]

解析 本题考查软件测试的一些基本概念和方法在测试实践中的应用,特别是针对目前基于模型开发软件的验证技术。
    软件测试过程中,测试人员不仅需要熟悉一些基本的测试概念和测试方法,而且需要通过对软件设计和算法的理解,运用测试方法进行基于需求的测试用例设计,同时需要根据不同的覆盖率要求保证设计测试用例的充分性。
    此题目要求考生认真阅读题目所给的软件需求和算法信息,结合嵌入式软件测试的基本概念和测试用例设计要求,在此嵌入式软件测试中进行实际应用。
    随着嵌入式软件规模越来越大,可靠性要求越来越高,采用基于模型的开发方法已成为发展趋势。特别是一些基于模型的开发工具自带的代码生成器已经经过鉴定,其生成的代码已经不需要进行白盒测试。所以对基于模型开发的软件测试来说,模型的验证方法就尤为关键,因为模型的正确性决定着代码的正确性。
    目前对模型采取的验证方法包括评审、分析和仿真。评审和分析都是静态的验证方法,而仿真属于动态验证方法。通过动态仿真模型,可以发现模型动态运行过程中的一些问题。仿真完成后,可以根据动态仿真结果分析模型的覆盖率,而静态验证方法评审和分析的结果就不能作为模型覆盖率分析的基础。所以根据这些内容可知,问题1的模型验证最主要的方法是仿真。
    模型的覆盖率类型主要包括条件覆盖、分支(或判定)覆盖、MC/DC覆盖、插值表覆盖、信号范围覆盖、组合逻辑块覆盖等。目前的工程实践中,经常使用的覆盖率类型包括条件覆盖、分支(或判定)覆盖和MC/DC覆盖。考生可从这三种常用类型中选择两种类型,也可从全部覆盖类型中任意选择两种类型。
转载请注明原文地址:https://kaotiyun.com/show/QLWZ777K
0

最新回复(0)