【摘 要】
：
嵌入式软件主要用于对其他设备的控制、监视及管理,对其进行测试时需要1个有效的完整度量,用于评价测试的可靠性、稳定性,为此,提出基于多维度覆盖率的嵌入式软件测试分析方
【基金项目】
：
福建省教育厅中青年教师教育科研项目(JA15892)。
论文部分内容阅读
嵌入式软件主要用于对其他设备的控制、监视及管理,对其进行测试时需要1个有效的完整度量,用于评价测试的可靠性、稳定性,为此,提出基于多维度覆盖率的嵌入式软件测试分析方法。利用多维度覆盖理论,从多个角度分析软件测试覆盖率,根据软件测试实际情况,找出软件测试中的薄弱点,对软件测试动态结果做出综合评价。在同一环境运行条件下,对比基于多维度覆盖率测试分析方法与基于目标码测试分析方法的软件测试缺陷率分析结果,证明研究的有效性。
其他文献
研制了高低温环境下航天对接机构的力—直线刚度测试平台, 开发与平台配套的软件系统.该测试系统力检测精度≤0. 5% , 位移检测精度为± 0. 03 mm, 测控软件系统具备测试任务
太阳能水蒸发技术在进行废水处理和海水淡化以获取洁净水资源的过程中均表现出极高的效率。以常见生物质甘蔗作为原料制作低成本和对环境无害的碳基材料,使其具有多孔结构和较大的比表面积进而表现出高效的太阳能吸收效率。甘蔗多孔碳片/仿生稻管通道蒸发装置用氙灯光源模拟太阳光进行纯水的光热蒸发测试,研究其作为太阳能水蒸发器在海水淡化和废水净化中提纯净水的性能和效率。甘蔗多孔碳片/仿生稻管通道蒸发装置不仅充分利用生物质,展示了优异的光热蒸发性能,而且为海水淡化,以及去除重金属离子和油水分离提供了可能。
注重人居环境是我们城市物质空间建设的方向.人居环境的宗旨是以人为本,服务于人的居住,建设有序的空间和宜居的环境.住宅作为城市建设的特大规模量,它所形成的人工环境的优
作为联通东亚、西欧和北美三大经济中心的通道,“冰上丝绸之路”存在可优化的空间。“中蒙俄经济走廊”和“冰上丝绸之路”陆河联运路线(以下简称陆河联运路线)的提出能够优化“冰上丝绸之路”,使其更为直接、经济、可靠。陆河联运路线是纵向联通“冰上丝绸之路”和“中蒙俄经济走廊”的可行性运输通道。提出(1)“中蒙俄经济走廊”到“冰上丝绸之路”之间存在3条潜在可行的陆河联运通道,分别是:①西线:中国乌鲁木齐—哈萨克斯坦—俄罗斯新西伯利亚—鄂毕河—萨列哈尔德—北冰洋鄂毕湾;②中线:中国北京—蒙古乌兰巴托—俄罗斯伊尔库茨克—
为了研究飞秒激光参数对制备金膜表面光栅的影响,设计搭建了飞秒激光干涉微加工实验装置,经衍射光栅得到的两束相干光在金膜表面诱导出微光栅。借助原子力显微镜研究在不同的脉冲能量密度、脉冲个数、波长等条件下制备的光栅形貌,测得光栅的周期和线宽。研究发现,飞秒激光参数对光栅形貌的影响显著,制备光栅的最佳波长为800 nm,脉冲能量密度为0.7945~1.3356 J·cm-2,得到的光栅最小周期为6.54μm。理论分析了激光参数与所制备的光栅的特征参数之间的数量关系,讨论了这种关系形成的内在物
中俄原油管线穿越了多年冻土区及季节性冻土区,沿线冻土分布研究对于管线安全营运具有重要的意义。通过地表温度模型获得边界条件,并利用ANSYS软件模拟了不同研究区段下的管道冻土温度场。研究结果表明:对于年平均地表温度为-1℃的区段,管道油温对管道周围温度场影响半径约3 m,油温振幅对管道上下侧土层温度影响不同。距离管道中心2.45 m处和10 m处的冻土上限与油温振幅也存在响应关系。
在新冠疫情影响下,非接触式测温需求激增,随着社会的发展,其在电力、制造、养殖等场景中也有大量的应用,而热成像技术正是目前非接触式测温的最佳选择。基于意法半导体的STM32F407ZGT6微控制器和专用外设硬件组成嵌入式物联网平台,使用ST-HAL外设库底层驱动框架,并移植MicroPython标准库到Keil MDK5环境,通过匹配USB-OTG和定制外设API,组成1套基于Python的开发方法
随着科学技术的迅速发展,动画表现技术逐渐被运用于现代城市景观设计中,促进新时代的进一步发展.动画表现相关设计软件有很多,包括3ds max、VUe、Sketch up等,3ds max是当下
利用原位反应过程分别制备碳纳米管、活性炭和碳纳米管/活性炭复合体负载硫化镉的复合材料,进行光催化降解甲基橙的研究。结果显示,在碳纳米管和活性炭作载体时,光催化降解反应速率常数为没有载体条件下的3.6倍和8.8倍。按质量比为20∶80的碳纳米管/活性炭复合载体承载硫化镉的光催化性能又显著高于分别以碳纳米管和活性炭为载体负载的硫化镉,其光催化降解反应速率常数高于单独以活性炭为载体条件下的30%~40%。说明碳纳米管在改性活性炭作光催化剂载体时,在提高降解有机物的效率方面具有显著作用。
提出了一种基于生成对抗网络的步态特征提取与识别算法。以CASIA-B数据集的步态图像为研究对象,对不同视角、不同衣着或手持物的GEI特征进行分析。在54°,90°,126°3种典型角度下对网络模型的性能进行分析,发现模型的识别性能随着视角跨度增大而逐渐降低,当视角为90°时网络模型达到最高的识别准确率。在CASIA-B数据集上的实验结果表明,使用生成对抗网络实现步态识别是可行的。