蜕变测试驱动的机器学习软件测试技术研究

来源 :武汉大学 | 被引量 : 0次 | 上传用户:storm369
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来机器学习技术取得了长足的发展,成为诸多软件的创新驱动力,其质量与可靠性问题正逐渐引起人们的高度关注。软件测试是保障软件质量的重要手段,将软件测试技术应用于机器学习软件的质量保障与评估具有重要研究价值。而区别于传统软件,机器学习软件一般规模庞大、结构复杂;软件行为具有不确定性,预期输出难以构造;其数据驱动特性和内部行为分析方法的缺失使得其往往被当作无法解释的黑盒。因此,传统软件测试技术难以直接应用于机器学习软件。蜕变测试是一种能有效缓解测试谕言缺失问题的技术,已有效应用于诸多领域。本文旨在针对上述问题与挑战,基于蜕变测试技术对机器学习软件测试方法进行研究。本文工作主要分为两部分:(1)提出面向聚类系统的度量与评估方法。具体地,以度量数据动态特性对聚类的影响为目的,基于用户对聚类的一般期望定义了一系列适用于大多数应用场景的通用蜕变关系,实现聚类系统有效性度量;其次,定义了基于蜕变关系的充分性度量准则以引导聚类系统的评估;最后,提出了一套完整的聚类系统评估框架,以帮助用户评估及选择适用于特定场景的聚类系统。在六个经典聚类系统上的实验以及真实用户调研验证了本方法的可用性和有效性。(2)提出面向深度图像检索系统的测试方法。具体地,基于图像检索系统特性定义了一系列蜕变关系作为测试谕言;其次,为探索现有深度学习测试准则的多样性内涵,定义了五种量化指标以度量神经网络内部状态的多样性,并对上述多样性与系统失效行为间的相关性进行了实证研究;最后,以探索多样性为目标,提出了基于贪心搜索的测试用例生成算法,并在分类任务下对测试用例的质量进行了度量。在两个公用数据集和三个深度学习模型上的广泛实验证实了本方法的有效性。
其他文献
黑色素瘤(Melanoma)是一种起源于神经嵴黑色素细胞的恶性肿瘤,其恶性程度高﹑侵袭力强、易转移且预后差,严重威胁着人类的健康。在临床上,黑色素瘤中晚期多采用达卡巴嗪(Dacarbazine,DTIC)等化疗,但疗效不佳,远未达到人们的预期。为增强疗效,引入肿瘤营养疗法就具有重要的意义。蓝莓营养丰富,富含花青素(Blueberry anthocyanin,BA),被誉为“水果之王”。研究表明BA
改革开放以来,中国经济建设取得了举世瞩目的成就,人民物质生活条件得到了极大的改善,我国当前社会的主要矛盾已经由人民日益增长的物质文化需要同落后的社会生产力之间的矛盾转变为人民日益增长的美好生活需要和不平衡不充分的发展之间的矛盾。具体来看,人民对美好生活的向往主要体现在经济、政治、社会、文化和生态五大方面,其中生态文明建设的直接体现为人们对美好生活和工作的生态环境质量的不懈追求。各大研究机构高度关注
目的:基于介孔二氧化硅纳米颗粒(Mesoporous silicon nanoparticles,MSNs)构建装载miR-26a的载体系统,对该载体系统进行表征并研究其对大鼠骨髓间充质干细胞(Rat bone marrow mesenchymal stem cells,rBMSCs)成骨分化的影响。方法:使用聚乙烯亚胺(Polyethylenimine,PEI)将miR-26a封装在MSN的介孔
近几年来,我国学生体质健康的问题已经成为家庭、学校、社会关注的热点。在课程改革背景下,分析学生体质与学校体育现状,提出改善学校体育工作以提高学生体质健康水平的办法尤为重要。本研究以宏庙小学学生体质健康和体育特色设置为研究对象,通过文献资料法、专家访谈法和问卷调查法等研究方法对宏庙小学体育特色现状及学生体质现状进行调查与分析,探讨宏庙小学体育工作与学生体质的现状,以期寻找切实有效的办法来改善学校体育
海淀区作为北京市基础教育阶段办学规模最大的区,在学校体育竞赛工作方面拥有丰富的资源,体育竞赛活动作为海淀区学校体育工作的重点之一,其中非常重要的一项工作就是成为学校体育教育的大区、强区,力争通过开拓前瞻的工作探索,发挥更大的示范引领作用。学校体育竞赛活动的完善和发展也呈现出新的态势,在原来仅有体育传统校的基础上新增了足球特色校、冰雪特色校,在经费和政策上给予了很大支持,使得学校参与区级体育竞赛活动
我国在获得2022年冬季奥运会举办权之后,滑雪产业的升级成为不可逆的历史潮流。而在滑雪产业的全产业链条中,大型滑雪旅游度假村是产业发展的主力,是产业升级的关键环节,处于核心与引领地位,故大型滑雪旅游度假村在这其中应承担重要的历史责任。但我国目前滑雪旅游度假村仍处于“小作坊式”分散经营的局面,且经营活动主要集中于冬季,人才流失严重等问题严重,无论在宏观产业规模还是微观企业效益上都落后于国际滑雪产业强
葡萄糖的浓度可用以衡量人体的代谢程度,是评价人体健康与否的重要指标。对葡萄糖含量的定量测量在生物化学、食品分析和临床化学等领域具有十分重要的意义。将光刻与热解技术结合的碳微机电系统工艺是低成本制备碳结构的有效方法,可获得具有宽的电化学稳定窗口、良好的生物兼容性和导电性的碳微纳结构。碳微纳结构因其大的有效表面积,可缩短电子扩散距离,在能量存储器件和生物传感器等领域表现出巨大的潜力。本文在研究悬浮光刻
由于无线信号传输时可能存在障碍物影响,致使信号最终通过反射或者折射的方式到达接收端。反射和折射的传播方式不仅会造成接收信号到达时间(TOA,time of arrival)大于发送端到接收端的直线距离传输时间,而且信号到达角度(AOA,angle of arrival)也与直线传播到达角度不同。将无线信号非直线距离传播的方式定义为非视距(NLOS,non-line-of-sight)传播,同时,由
随着通信技术的发展,WiFi产业链逐渐成熟,WiFi设备和产品的成本开始降低,WiFi迎来了新的发展机遇:尤其是在一些偏远地区,受蜂窝网络基站成本因素影响,小区宽带接入和数据回传等业务成为了一个不小的难题,而WiFi凭借低成本的优势脱颖而出,在这些应用场景中得到了人们的关注。机遇往往伴随着挑战,在这些应用场景中,对WiFi网络提出了更高的要求,例如,需要WiFi网络提供更远的传输距离,更小的链路抖
无线保真(Wireless Fidelity,Wi-Fi)是新技术时代最伟大的成功技术应用案例之一,其带来的社会效益为世界大多数人所熟知。Wi-Fi能使人们的相互交流和娱乐更加便捷,并在全球范围内创建了新的技术、提供了新的职业。由Wi-Fi带来的经济价值令人叹为观止,Wi-Fi已成为人们生活必不可少的一部分,并且是企业和运营商网络的关键互补技术,因此,对于IEEE的802.11系列的未来技术和发展