【摘 要】
：
本文首先介绍测试用例定义,然后介绍了测试用例生成的两个方向:白盒测试用例生成技术与黑盒测试用例生成技术。对于如何有效将研究成果真正应用到实际测试用例生成中,目前还缺乏有效解决方案,因此测试用例生成技术有效应用也是今后的研究方向之一。本文旨在对测试用例生成研究的最新进展进行介绍,并提出测试用例生成技术今后的发展方向。
【基金项目】
：
国家重点研发计划项目(2018YFB1403400)。
论文部分内容阅读
本文首先介绍测试用例定义,然后介绍了测试用例生成的两个方向:白盒测试用例生成技术与黑盒测试用例生成技术。对于如何有效将研究成果真正应用到实际测试用例生成中,目前还缺乏有效解决方案,因此测试用例生成技术有效应用也是今后的研究方向之一。本文旨在对测试用例生成研究的最新进展进行介绍,并提出测试用例生成技术今后的发展方向。
其他文献
一个地区的营商环境反映了其经济软实力,并促进着其高质量发展。基于此,本文选取长株潭城市群作为研究空间单元,采用实地或以地域限定为条件的网络调查形式,以随机抽样调研形式对其双循环与城市间协同发展现状进行了解评价,系统掌握长株潭城市群营商环境发展现存问题。
推进粤港澳大湾区建设是国家重大发展战略之一,对于加深内地和港澳交流合作,形成全面开放的战略格局,具有十分重要的意义。建设粤港澳大湾区不仅需要总结和借鉴世界湾区发展的成功经验,而且离不开财政提供制度性和全局性的支撑。为此,需要打通不同制度藩篱,深化“一国两制”丰富内涵;创造宜居宜业环境,吸引各类人才聚集;实施创新驱动发展战略,激励科技创新;辐射周边城市制造业,金融服务实体经济发展;科学规划城市布局,节约集聚开发土地。
本文设计的基于Quartz和Spring的可视化代理定时任务的方案可以让使用者直观的看到系统中任务调度的情况,有效管理系统中的作业任务,提高定时任务调度的质量和效率。
本文阐述了龙岩中心城市新罗区房地产市场的现状,分析了房地产市场价格波动的原因,提出了地方政府和土地管理部门运用土地供应政策促进房地产市场平稳健康发展的具体措施和做法。
伴随青岛片区的初步成立,针对自贸区的建设也开始落实起来。在自贸区中,青岛西海岸新区是其关键的载体,因此它可以从中获取较大的效益。文章根据青岛西海岸的具体状况,以及自贸区发展的影响进行了探讨,并在此基础上分析了青岛西海岸新区发展的经济意义,以期为有关人士提供参考。
本文围绕物联网的关键技术展开阐述,并就嵌入式系统开发的实际意义、发展趋势展开详细分析,以期引起相关工作人员的重视,为信息通信技术的应用提供参考。
国有企业在社会新常态背景下逐步推进市场化改革,国有企业审计作为国家审计的重要组成部分,审计监督成为保障国有企业有序规范发展的关键工作。基于此,本文阐述了国有企业审计监督问题的提出背景,展开国有企业在新常态下完善审计监督的现实意义分析,结合经济新常态特点提出国有企业在新常态下完善审计监督的方法建议,使国有企业审计监督工作满足市场化改革需求。
本文基于Spring Boot 2.1.0、Redis技术、MySQL数据库等技术,结合现实需求,设计并实现了这款前后端分离的请销假系统,它能够帮助高校在敏感时间节点(例如重要的宗教节日)、公共卫生突发事件等时候实现高效、实用、简单的请销假管理,相对于传统的请假方式,使用请销假系统可以大幅减少资源浪费,方便学生进行请销假,同时也方便管理辅导员和班主任进行审批以及科学管理,大幅提高高校管理请销假的效
本文从供配电系统、环境系统、消防系统和监控系统四个方面探讨了高校网络中心机房智能化管理系统基本构成,然后重点分析了高校网络中心机房智能化管理系统的模块及功能,主要包括配电系统模块、机房环境监控系统模块、消防安全系统模块、保安系统模块等,最后展望了智能化管理系统的发展前景。
智能投顾业务源于金融科技对传统投顾业务的数字化、智能化升级,形成当前领域内多元化的竞争格局及渐趋成熟的商业模式。与此同时,“千人千面”的现实实现难度、买方投顾模式下的潜在利益冲突等问题也随之暴露。未来,智能投顾经营者应当结合自身资源禀赋探索差异化发展路径,以技术赋能全业务链条的升级,此外,技术监管、信息披露等方面也应当形成更为完善的行业准则,保障智能投顾业务的合规稳健发展。