基于蒙特卡罗树搜索算法的测试用例自动生成

来源 :浙江理工大学 | 被引量 : 0次 | 上传用户:feiyang187
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Test case generation is an integral aspect of any effective software debugging process.Manual test case generation is error-prone and expensive.Therefore automatic test case generation has been widely used to improve efficiency and effectiveness of software test.Various methods have been proposed for automatic test case generation.However,automatic generation of test cases with higher coverage is still one of the challenges faced by structural testing of software.To address this problem,this paper proposed two new methods which use Monte Carlo Tree Search(MCTS)and Parallel Monte Carlo Tree Search(PMCTS)for test case generation.Our methods can maximize branch coverage of derived test cases within the available test resources.The main work of this paper is summarized as follows:(1)A MCTS method(M-TCG)is proposed to formulate test case generation problem as a tree exploration problem and then utilizes MCTS for heuristically searching the optimal test cases.Tree policy is explored in constructing simulated test case generation tree.To evaluate the effectiveness and efficiency of MCTS method,comparative experiments were conducted based on 17 projects with 66 non trivial Java classes from SF110 corpus and other benchmarks.Experiment results indicate that the proposed MCTS method improved average branch coverage by 2.1% compared with Dyna MOSA which is a state-of-the-art evolutionary technique.Our method also decreased memory consumption by 4% compared with the existing adaptive a Dyna MOSA approach.(2)We proposed PMCTS method(PM-TCG)which extends M-TCG method for automatic test case generation.Since computational cost for constructing the search tree in rollouts of MCTS is expensive,PMCTS method can further improve its effectiveness by formulating the test case generation problem as a parallel tree exploration problem and then uses PMCTS for heuristically searching the optimal test cases.Experiments were conducted on the subject programs used in the MCTS method.Experimental results show that our new method can improve 5.1% average branch coverage and decrease 4% memory consumption compared with Dyna MOSA and a Dyna MOSA,Hence,PMCTS method improved MCTS method by 3%average branch coverage with no decrease in the statistical significant memory usage.(3)A prototype system was designed and implemented.Based on the implementation of above algorithms,an experiment prototype system for automatic test case generation is developed and the effectiveness of the proposed methods is verified by evaluation experiments.The system automatically executes the input program and outputs test cases by specified method.
其他文献
目的:探讨伴中央颞区棘波的儿童良性癫痫(Benign childhood epilepsy with centrotemporal spikes,BECTS)患儿非快速眼动(Non-rapid eye movement,NREM)睡眠期频繁的中央颞区棘波(Centrotemporal spikes,CTS)对认知功能的影响,破译认知功能障碍背后的微结构和神经网络的改变,明确其潜在的神经生物学机制。
学位
目的:探讨体医融合干预对稳定期慢性阻塞性肺疾病(chronic obstructive pulmonary disease,简称慢阻肺)患者肺功能、功能性体适能以及临床症状的影响。方法:选取研究对象为2021年3月至2022年1月就诊于宜昌市第一人民医院呼吸与危重症医学科门诊或经住院治疗好转处于稳定期的慢阻肺患者60例,随机分为观察组和对照组,每组30例。所有患者均进行常规健康教育。对照组:按照原
学位
随着城镇化进程加深,在民居建筑方面,乡村聚落逐渐摒弃了传统的营建模式,失去原有的聚落风貌;在聚落形态方面,新建聚落摒弃了传统的生态有机聚落,取而代之的是完全理性的大尺度带型布局,与当地的生态环境要求与地域资源背景相背离。本文通过文献资料梳理,根据水土资源与气候环境情况,结合河西走廊不同自然分区,选取南部洪积扇裙带区的典型绿洲——新坝镇浅山地区所在的绿洲为研究范围,根据自然与社会人文因素选取多个典型
学位
研究背景:异基因造血干细胞移植(allo-HSCT)是目前治疗恶性肿瘤和血液疾病的一种成熟有效的方法。急性移植物抗宿主病(aGVHD)是移植后的常见并发症,严重制约allo-HSCT的应用与发展,同时严重威胁着移植病人的生命安全。移植物抗宿主病(GVHD)由激活的异体供者T淋巴细胞驱动,这些T淋巴细胞会发起细胞毒性攻击,对受体的皮肤、肝脏和肠道造成损害。其中,胃肠道在移植物抗宿主病中发挥着关键作用
学位
目的:银屑病是一种由免疫介导的慢性炎症性皮肤病,影响着全世界0.09%~11.43%的人口。研究表明银屑病和饮食营养有着密切的关系。维生素D作为一种较常见的脂溶性维生素,具有多种生理功能,它能够影响皮肤角质细胞的增殖和再生,因此可能是银屑病发病和治疗过程中一个重要的影响因素,但目前尚无确切的证据证明维生素D和银屑病之间的关系。本研究的目的是通过对文献进行Meta分析以确定维生素D与银屑病发病和治疗
学位
城市空间是资本主义的产物,空间资源分配的不均衡与不平等,不仅影响劳动力市场的变化,促进劳动力的流动,而且加深了空间分异与社会阶层分化的问题。本文利用2019年上海都市社区第二轮调查的数据,通过logit回归分析比较在沪雇员群体的离沪意愿状况及其相关影响因素,并基于户籍差异,借助城市空间正义理论,进一步分析城市空间因素对本地户籍雇员和外地户籍雇员离沪意愿的影响。最后结合离沪去向的情况,对于城市空间的
学位
二十一世纪至今,中国的汽车行业发展取得巨大进步,但在飞速发展过程中,供应链上下游企业面临资金短缺的瓶颈越来越突出。由于传统的借贷门槛高,上下游企业自身条件有限难以满足银行借贷标准,资金问题成为了上下游企业发展的“拦路虎”。如今供应链之间的竞争逐步取代单个企业之间竞争,帮助上下游企业迅速成长核心企业责无旁贷,所以供应链融资服务便应运而生。供应链融资与传统的银行借贷有所不同,传统借贷的放贷依据仅仅是融
学位
伴随钢铁企业生产排放出大量含锌粉尘,世界各国对含锌粉尘的处理也愈加重视。这些产生于冶炼过程中的含锌粉尘,对于钢铁企业来说是一种难以处理和难高效利用的二次资源。含锌粉尘中含有大量的碳、铁、锌等有价元素。随着碳减排政策的推行,低碳排放、清洁生产开始成为现代钢铁冶炼趋势。本文以高炉布袋除尘灰和瓦斯灰两种含锌粉尘为原料,对其进行了系统的物理化学性质检测分析,以及热态性能和工艺矿物学分析。同时对H2和CO还
学位
第一部分ERAS理念指导下的NOSES技术在全腔镜下治疗结直肠癌中的安全性、可行性及临床应用价值目的:探讨加速康复外科(Enhanced recovery after surgery,ERAS)理念指导下经自然腔道取标本手术(Natural orifice specimen extraction surgery,NOSES)在完全腹腔镜下高位直肠癌及乙状结肠癌治疗中的安全性、可行性及临床应用价值。
学位
近年来,地方官员在不同城市间的流动越来越频繁,官员的空间流动对于促进城市间的沟通发挥着不可忽视的重要作用。官员的空间流动也是中央政府平衡各地区发展、实现社会公平的重要手段。以往研究多是集中在对官员流动作用的分析上,探讨的是官员流动对地区经济、教育、环境等的影响,忽略了对官员流动本身的关注。因此,以城市为研究单元,将官员的空间流动看作是城市与城市之间的“桥梁”,对官员流动的具体模式进行深入探讨具有重
学位