【摘 要】
：
指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题。针对这些不足，通过对嵌入式软件测试技术的研究，以形式化的需求描述、基于
论文部分内容阅读
指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题。针对这些不足，通过对嵌入式软件测试技术的研究，以形式化的需求描述、基于数据域的测试用例生成等方法为基础，以系统测试环境为平台，建立了适合嵌入式软件系统测试的模型框架。然后针对模型的各个部分，提出了具体的实现方案。最终将该方案应用于某型号嵌入式软件的系统测试中，保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性，并且大大提高了测试的效率。帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质
其他文献
德育是素质教育的一个重要组成部分,它贯穿于整个教学始终。英语《新课标》强调,教学中应该遵循英语教学规律,寓思想教育于语言教学之中。本文从中国目前英语教学中德育的现
小学数学教师要培养学生的运算能力,使之掌握有效的运算技巧,学会灵活地进行运算,能在最短的时间内得出正确 的结果.从夯实理论基础、掌握运算技巧和多样化训练三个方面进行
<正> 1 概述 对于大中型水库、水电站、重要河道、分洪闸、引水闸、水利枢纽工程等的闸门群不仅要求现场单个闸门测控,而且要求分组多闸门控制或根据上、下游水位、库区容量
<正> 一、引 言 设某水库为其下游某城市承担拦洪削峰任务,使流经该城市的河道的流量Q_c不超过安全值Q_s的概率等于规定的防洪安全概率: P(Q_c≤Q_s)=1-P_s.(1)该城市的防洪
本文的主要内容是论述了作者结合数学实验的理念采用案例法、文献分析法以及问卷调查法等在教学实践中对探究式教学的实施进行探索。论文首先在对国内外数学课堂教学现状分析
<正> 食品添加剂系指在食品生产、加工、保藏等过程所加入和使用的化学合成或天然物质。食品添加剂不影响食品营养价值,并可防止食品腐败变质,若合理使用,对食品生产加工和人
概述了东北高速公路行车安全气象条件预报业务系统的总体结构,介绍了系统包含的行车安全气象条件预报专用数据库、行车安全气象条件预报方法和预报工作平台。业务应用结果表
利用1971—2010年黑龙江省63个气象站地面气象观测数据,应用气候趋势系数、气候倾向率等方法分析黑龙江省蒸发皿蒸发量和实际蒸发量的时空演变特征。结果表明:近40 a来,黑龙
山洪灾害监测预警系统建设是防治山洪灾害的一项重要的非工程措施,能提升灾害来临前的预警信息传递能力,最大限度地减少人员伤亡和财产损失。以辽宁省新宾县山洪灾害项目建设
本文研究乘积季节模型在传染病发病情况预测中的应用,并探讨提高模型准确性和实用性的途径.以1980年1月至2000年7月江苏省肾综合征出血热发病资料建立模型,以2000年的发病资