导读:本文包含了验证用例论文开题报告文献综述及选题提纲参考文献，主要关键词:无线资源管理,测试用例,GCF,联合开发
验证用例论文文献综述
[1]（2019）在《是德科技与高通联合开发的5G射频解调和无线资源管理测试用例率先通过GCF验证》一文中研究指出是德科技公司宣布,该公司与高通公司旗下子公司高通科技联合开发的5G新空口(NR)一致性测试用例在业界率先获得全球认证论坛(GCF)的认可。这些测试用例主要适用于频率范围(FR)1内非独立组网模式下的射频解调和无线资源管理。是德科技是一家领先的技术公司,致力于帮助企业、服务提供商和政府客户加速创新,创造一个安全互联的世界。是德科技使用其5G射频/无线资源管理一致性测试工具套件创造了业界第一个里程碑式成就,显着加速5G设备的全球认证。这一(本文来源于《中国电子商情(基础电子)》期刊2019年08期）
[2]（2019）在《GTI 证实是德科技提供了最多的5G 新空口测试用例,用于验证在中国移动网络中部署的5G设备 是德科技的5G网络仿真解决方案套件为5G设备一致性测试和载波验收测试提供领先支持》一文中研究指出是德科技公司(NYSE:KEYS)宣布,在上海举办的第25届GTI研讨会上,GTI(TD-LTE全球发展倡议组织)证实:是德科技提供了最大数量的5G新空口(NR)测试用例,用于验证在中国移动网络中部署的5G设备。是德科技的5G网络仿真解决方案提供了数量最多的5G测试用例,以帮助中国移动及其整个芯片组制造商、设备制造商以及测试实验室生态系统加速验证新的5G移动设备。这些解决方案利用是德科技的通用平台——UXM5G无线平台——提供了对各(本文来源于《电子测量与仪器学报》期刊2019年07期）
石轩[3]（2018）在《基于UVM的验证环境自动化生成和测试用例的标准化设计》一文中研究指出随着集成电路工艺水平与设计能力的不断提升,SoC设计复杂度也不断提高,为保证正常流片,芯片验证的工作量大幅增加,IC验证已成为影响芯片研发效率的关键环节之一。但业界通用的数字IC验证环境搭建策略耗时较长,同时验证环境的可复用性较差,测试用例的开发也存在缺乏规范、可读性差、复用性差的通病,这些问题都严重制约了IC验证的效率。为解决IC验证面临的低效问题,本文的研究目标是开发一款自动化生成验证环境的工具,以实现迅速搭建可复用性高的验证环境,并设计简洁易用的标准化测试用例,以提高测试用例的开发和复用效率。本文自动化生成验证环境的工具主要由标准化验证环境系统和代码生成系统构成。标准化验证环境系统基于UVM和常用接口VIP,设计出可配置化的分层网络式验证环境。代码生成系统基于Mako模板和Python脚本,设计出简洁易用的验证环境代码自动生成器。标准化测试用例的设计基于验证场景中的常用操作,定义了一系列时钟、复位、寄存器、IOC和总线操作的标准测试指令集。本文最终实现了对于任意给定待验设计,基于代码生成系统可以迅速搭建与给定待验设计高度匹配的验证环境,另外采用标准化测试指令集可以迅速编写符合不同验证需求的标准化测试用例。将本文设计的验证策略应用于实际数字IC验证项目,应用结果表明,针对任意待验设计,此工具均可在半个工作日内完成验证环境搭建,至少提高了70%的验证环境搭建效率。在满足功能覆盖率至少达到90%的要求下,测试用例开发效率提高了30%以上。相较于传统验证方法,本文搭建的验证环境易于更新迭代、可靠性高、可复用性高,另外本文提出的标准化测试用例可读性高、可复用性强。本文在IC验证环境结构和测试用例编写方面的创新性设计,为IC验证的效率提高提供了新的思路和一个完善可行的解决方案。(本文来源于《西安电子科技大学》期刊2018-04-01）
李儒,王晋年,王春红,梁文秀,侯江涛[4]（2016）在《定量遥感综合服务平台软件验证用例设计》一文中研究指出验证用例的设计直接关系到软件服务平台运营的高效性和规范性。本文结合"定量遥感综合服务平台"的业务服务要求,探讨了验证用例设计方法并提供了具体的应用案例,保障了服务平台运营的高效性和规范性。(本文来源于《城市地理》期刊2016年18期）
宋丹辉[5]（2013）在《基于测试用例的应用本体需求验证方法研究》一文中研究指出文章从判定语义正确性的基本准则、需求验证方法两方面分析当前研究的不足。在此基础上,针对应用本体特点,提出一个基于测试用例的需求验证模型,并深入分析测试用例的具体内涵,探讨现有的本体测试工具的特点及不足,最后总结需求验证方法与其他评价方法的区别。(本文来源于《图书与情报》期刊2013年01期）
闵庆欢[6]（2009）在《软件可靠性验证测试中降低测试用例量方法研究》一文中研究指出可信软件目前广泛应用于社会生活的各个领域,与硬件可靠性快速提升相比,软件可靠性的发展相对滞后,已成为制约软件可信性水平进一步提高的瓶颈。软件可靠性测试在提升软件可靠性水平中扮演着重要的角色,一般可分为软件可靠性增长测试和软件可靠性验证测试。本文旨在针对可信软件验证测试阶段,所需测试用例量大、测试持续周期长的情况,在保证可靠性指标的前提下,给出两种有效降低测试用例量的方法,并提出通过使用第二类极大似然估计理论对两种方法进行优选,从而为解决软件可靠性验证测试阶段降低测试用例量的问题提供新的技术途径和实现手段。论文的主要研究内容和贡献如下:首先,本文重点研究了两种目前常用的产生测试用例的方法,即基于软件运行剖面的测试用例产生方法和基于Markov链使用模型的可靠性测试用例产生方法。并针对后一种方法设计并给出应用示例,通过对示例模型的分析,发现使用测试链到使用链收敛准则确定测试用例量的方法存在缺陷,并且也不能有效的降低测试用例数目。其次,为了在不降低可靠性验证测试指标的前提下减少测试用例量、缩短验证测试持续期,本文提出两种基于先验贝叶斯统计学方法的可靠性验证测试用例产生方法,即基于先验矩超参数计算的先验分布确定方法和基于共轭最大熵超参数计算的先验分布确定方法,并分别在软件离散执行和连续执行两种情况下予以阐述。最后提出基于第二类极大似然估计理论的先验分布优选方法,择优选取上述两种可靠性验证测试用例产生方法。再次,为了验证基于先验贝叶斯的统计推断方法比无先验知识的统计推断方法在可靠性验证测试时所需的测试用例量更少,更具优势,本文针对上述两种方法进行数值仿真计算,对比试验结果证实了这一点。最后通过对基于先验贝叶斯统计学的两种不同可靠性验证测试用例产生方法的数值比较,验证了可以根据第二类极大似然估计理论进行择优选取。(本文来源于《南京理工大学》期刊2009-05-01）
验证用例论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
是德科技公司(NYSE:KEYS)宣布,在上海举办的第25届GTI研讨会上,GTI(TD-LTE全球发展倡议组织)证实:是德科技提供了最大数量的5G新空口(NR)测试用例,用于验证在中国移动网络中部署的5G设备。是德科技的5G网络仿真解决方案提供了数量最多的5G测试用例,以帮助中国移动及其整个芯片组制造商、设备制造商以及测试实验室生态系统加速验证新的5G移动设备。这些解决方案利用是德科技的通用平台——UXM5G无线平台——提供了对各
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
验证用例论文参考文献
[1]..是德科技与高通联合开发的5G射频解调和无线资源管理测试用例率先通过GCF验证[J].中国电子商情(基础电子).2019
[2]..GTI证实是德科技提供了最多的5G新空口测试用例,用于验证在中国移动网络中部署的5G设备是德科技的5G网络仿真解决方案套件为5G设备一致性测试和载波验收测试提供领先支持[J].电子测量与仪器学报.2019
[3].石轩.基于UVM的验证环境自动化生成和测试用例的标准化设计[D].西安电子科技大学.2018
[4].李儒,王晋年,王春红,梁文秀,侯江涛.定量遥感综合服务平台软件验证用例设计[J].城市地理.2016
[5].宋丹辉.基于测试用例的应用本体需求验证方法研究[J].图书与情报.2013
[6].闵庆欢.软件可靠性验证测试中降低测试用例量方法研究[D].南京理工大学.2009