【摘 要】
：
软件自动化是提高软件生产率的根本途径.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.在自动化测试中,测试输入自动生成是
【机 构】
：
计算机软件新技术国家重点实验室(南京大学); 南京大学计算机科学与技术系;
【基金项目】
：
国家重点研发计划(批准号:2017YFB1001801);国家自然科学基金(批准号:61690204,61802165)资助项目
论文部分内容阅读
软件自动化是提高软件生产率的根本途径.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.在自动化测试中,测试输入自动生成是最为关键和资源消耗最大的步骤之一,极大地影响自动化测试的有效性.由于Android应用独有的特性,自动为其生成测试输入存在独特的挑战.为了应对这一挑战,已有许多Android应用测试输入自动生成技术被提出.本文提出Android应用测试输入自动生成技术的描述框架,包括测试输入自动生成技术的3个维度(分别为搜索空间的表示、候选输入的生成、候选输入的评估),并讨论了测试输入自动生成技术在这3个维度采用策略的两个评价指标(即充分性与高效性).借助这一全新描述框架,本文对已有技术进行分析和总结,讨论现有技术的长处和不足,并对未来可能的研究方向给予展望.
其他文献
近年来,随着妊娠高血压疾病的频发,人们越来越关注于如何有效预防疾病的发生,以免疾病的威胁。妊娠高血压虽然是发生在妊娠期间的一种常见疾病,但是由于其引发因素众多,截止目前医学界关于其发病机制尚未得到明确,因此,开展探索影响妊娠高血压疾病发生的工作已迫在眉睫。广义线性模型是上世纪70年代发展起来的一类模型,其统计推断理论已经基本完善,并在众多领域有着广泛的应用。自此以后,相关理论得到了长足发展。其中分
邓小平理论是马克思主义基本原理同当代中国实际和时代特征相结合的产物,是对毛泽东思想的继承和发展。这个理论第一次比较系统地初步回答了中国这样的经济文化比较落后的国
沥滘自古以来是广州的重要港口之一,本文主要通过对沥滘古村的历史背景以及现状环境的介绍,以及对其设计概念的来源和畅想,以传统村落的保护规范和改造准则为基础,分别阐述对
依据对辽东湾北部表层沉积物样品化验结果,分析了工作区浅海铅元素分布特征,并探讨其环境生态效应.结果表明:辽东湾北部浅海沉积物中铅含量13.9×10^-6~344×10^-6,
复值调和映照作为解析函数的推广,与单叶函数、拟共形映照、Teichmüller空间等联系紧密,是复分析研究领域中的一个热门课题。近年来,许多学者围绕着单叶调和映照的稳定性、
肝癌是严重危害人类健康的恶性疾病之一，特别是原发性肝癌由于其病程短，进展快，治疗难，易复发，被称之为“癌中之王”。目前肝癌的治疗虽仍以手术切除为主，但科学的综合治疗将提高肝
当代中国语境是当代中国具体文化、经济、政治、教育以及网络空间发展等现实因素交织形成的具体环境,在当代中国语境下来讨论图书馆核心价值,具有特殊意义。理想状态下图书馆
论文选取了具有代表性的国内四版初中数学教材:人教版、北师大版、上教版及浙教版,以“统计与概率”领域的例题和习题为研究对象,从以下几方面对例题和习题的设置特点进行探讨:首先对四版教材从编写特点、编写方式及例习题数量三方面进行整体比较分析,研究发现在范围及知识点的安排上具有层次性和多样性特点,体现了数学发展的基本理念,不同版本教材充分考虑了区域文化、政治及经济发展水平差异,体现了统计与概率知识的内在实
目的分析评价2014年9月至2016年12月周口市实施全国传染病防治分类监督综合评价试点工作效果,为医疗卫生机构传染病防治监督工作提供决策依据。方法 64家试点医疗卫生机构分
刘同舫浙江大学马克思主义学院院长、教授、博士生导师。兼任教育部高校思想政治理论课教学指导委员会“马克思主义基本原理概论”分教指委委员、浙江省高校马克思主义理论教