检索结果-维普期刊中文期刊服务平台

安卓智能终端自动化测试技术综述: 1; 作者曹捷黄翰 +1 位作者雷丰强刘方青《计算机科学与探索》 CSCD 北大核心 2024年第1期1-23,共23页; 随着新一代移动通信技术和芯片的发展,智能移动终端用户规模不断增加。为了快速抢占市场,开发商缩短了智能终端的开发周期,这对应用系统的可靠性、稳定性等提出了更高的要求,而自动化测试技术是保障这些智能终端高可靠、强稳定运行的重... 展开更多; 关键词智能终端安卓系统软件测试基于搜索的测试生成; 在线阅读下载PDF 职称材料

面向云测试的并行测试用例自动生成方法被引量：4: 2; 作者刘晓强解筱梦 +3 位作者杜明常姗蔡立志刘振宇《计算机应用》 CSCD 北大核心 2015年第4期1159-1163,共5页; 为实现云计算环境下的高效软件测试,提出一种Web应用系统功能测试的并行测试用例自动生成方法。该方法首先根据场景流图采用深度优先遍历算法生成并行测试路径,录制组合产生并行测试脚本,并进行参数化处理;然后,使用基于搜索的软件测试(... 展开更多; 关键词云测试并行测试基于搜索的软件测试测试用例生成 WEB应用; 在线阅读下载PDF 职称材料

自动程序修复方法研究进展被引量：14: 3; 作者玄跻峰任志磊 +2 位作者王子元谢晓园江贺《软件学报》 EI CSCD 北大核心 2016年第4期771-784,共14页; 自动程序修复帮助开发者降低人工修复bug的成本.基于测试集的修复方法旨在生成能够通过测试集的代码补丁,以使程序正常运行.回顾了基于测试集的程序修复的现有文献,按照自动修复方法和实证基础两个方面陈述了研究进展.首先,将已有的自... 展开更多; 关键词自动修复遗传规划基于搜索的软件工程测试集实证基础; 在线阅读下载PDF 职称材料

覆盖表生成的禁忌搜索算法被引量：9: 4; 作者王燕聂长海 +2 位作者钮鑫涛吴化尧徐家喜《软件学报》 EI CSCD 北大核心 2018年第12期3665-3691,共27页; 组合测试可以有效检测待测系统中由参数间交互作用而引发的故障.在其30多年的发展过程中,覆盖表生成一直是关键问题之一,相关研究文献已达200多篇.作为一种有效的覆盖表生成算法,已有的禁忌搜索算法在所生成的覆盖表规模上具备一定的优... 展开更多; 关键词基于搜索的软件工程组合测试覆盖表禁忌搜索并行化; 在线阅读下载PDF 职称材料

基于有界模型检测的门级软件自测试方法: 5; 作者张颖张嘉琦 +1 位作者王真江建慧《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第11期1575-1581,共7页; 提出了基于有界模型检测的门级软件自测试方法.将处理器中的模块简化成约束模块,缓解状态爆炸问题.将难测故障的触发条件逐个转化成性质并且采用有界模型检测技术,搜索触发这些性质的违例.最后,将违例映射成测试指令序列,并为测试指令... 展开更多; 关键词基于软件的自测试(sbst) 模型检测抽象; 在线阅读下载PDF 职称材料

题名安卓智能终端自动化测试技术综述: 1; 作者曹捷黄翰雷丰强刘方青; 机构华南理工大学软件学院微科智检(佛山市)科技有限公司; 出处《计算机科学与探索》 CSCD 北大核心 2024年第1期1-23,共23页; 基金国家自然科学基金(62276103)。; 文摘随着新一代移动通信技术和芯片的发展,智能移动终端用户规模不断增加。为了快速抢占市场,开发商缩短了智能终端的开发周期,这对应用系统的可靠性、稳定性等提出了更高的要求,而自动化测试技术是保障这些智能终端高可靠、强稳定运行的重要手段。结合目前主流智能终端的架构特点和组件特征,分别探讨了安卓系统的黑盒测试技术和白盒测试技术。在黑盒测试方面,比较分析了最新的用户界面测试和模糊测试技术以及工具使用情况,评价了它们在保证应用系统可靠性和稳定性方面的效果。在白盒测试方面,总结了自动生成测试用例技术、动静态的污点分析技术、第三方库检测技术和权限检测技术。随着人工智能大模型等新兴技术不断涌现,越来越多的智能终端设备开始搭载各种深度学习模型,这些模型的不透明性使得内部决策过程难以解释和理解,从而黑盒测试在评估模型可靠性和稳定性过程中越发重要。自动化测试正在面临从传统规则基础下的测试向更加智能的机器学习驱动的测试转变。未来将人工智能大模型等新兴技术引入到现有的智能终端测试实践中,成为解决这一问题的必然趋势。; 关键词智能终端安卓系统软件测试基于搜索的测试生成; Keywords intelligent terminal Android system software testing search-based test case generation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向云测试的并行测试用例自动生成方法被引量：4: 2; 作者刘晓强解筱梦杜明常姗蔡立志刘振宇; 机构东华大学计算机科学与技术学院上海计算机软件技术开发中心上海市计算机软件评测重点实验室; 出处《计算机应用》 CSCD 北大核心 2015年第4期1159-1163,共5页; 基金上海市教育委员会科研创新项目(12ZZ060) 上海市科委启明星项目(12QB1402300); 文摘为实现云计算环境下的高效软件测试,提出一种Web应用系统功能测试的并行测试用例自动生成方法。该方法首先根据场景流图采用深度优先遍历算法生成并行测试路径,录制组合产生并行测试脚本,并进行参数化处理;然后,使用基于搜索的软件测试(SBST)方法自动生成可经过目标路径的有效测试数据集,脚本与数据耦合形成大量可并行部署的自动化测试用例。为验证方法的有效性设计了自动化云测试原型系统。实验结果表明,该并行测试用例自动生成方法可以高效地为云平台提供测试用例输入,提高测试效率。; 关键词云测试并行测试基于搜索的软件测试测试用例生成 WEB应用; Keywords cloud testing parallel testing search based software testing（sbst） test case generation Web application; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名自动程序修复方法研究进展被引量：14: 3; 作者玄跻峰任志磊王子元谢晓园江贺; 机构软件工程国家重点实验室(武汉大学) 武汉大学计算机学院大连理工大学软件学院南京邮电大学计算机学院; 出处《软件学报》 EI CSCD 北大核心 2016年第4期771-784,共14页; 基金国家自然科学基金(61502345 61403057 +1 种基金 61370144 61202032)~~; 文摘自动程序修复帮助开发者降低人工修复bug的成本.基于测试集的修复方法旨在生成能够通过测试集的代码补丁,以使程序正常运行.回顾了基于测试集的程序修复的现有文献,按照自动修复方法和实证基础两个方面陈述了研究进展.首先,将已有的自动修复方法划分为3类,分别是基于搜索的、基于代码穷举的和基于约束求解的补丁生成方法;其次,细致地描述了程序修复的实证研究基础以及该研究领域中的争议;然后,简要介绍了程序修复的相关技术作为修复方法的补充;最后做出总结,描述了面临的机遇和挑战.; 关键词自动修复遗传规划基于搜索的软件工程测试集实证基础; Keywords automatic repair genetic programming search based software engineering test suite empirical foundation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名覆盖表生成的禁忌搜索算法被引量：9: 4; 作者王燕聂长海钮鑫涛吴化尧徐家喜; 机构南京晓庄学院信息工程学院计算机软件新技术国家重点实验室(南京大学); 出处《软件学报》 EI CSCD 北大核心 2018年第12期3665-3691,共27页; 基金国家自然科学基金(61272079 61321491 +1 种基金 91318301) 教育部博士点基金(20130091110032)~~; 文摘组合测试可以有效检测待测系统中由参数间交互作用而引发的故障.在其30多年的发展过程中,覆盖表生成一直是关键问题之一,相关研究文献已达200多篇.作为一种有效的覆盖表生成算法,已有的禁忌搜索算法在所生成的覆盖表规模上具备一定的优势,但其解的质量和运算速度仍有提升空间;同时,这些算法实际应用能力较差,既不支持约束处理,也无法生成可变力度覆盖表.针对以上问题,提出了一种禁忌搜索算法.该算法从3个方面对已有的算法进行了改进:1)算法参数配置调优分pair-wise和爬山两阶段进行,确保使用较少配置条数最大程度击中最优配置,进一步提高算法生成覆盖表的规模;2)进行算法并行化,加速算法生成覆盖表的速度;3)增加约束处理和变力度处理,使算法可适应多种测试场景.实验结果表明,该算法在固定力度、变力度、带约束等多种类型覆盖表的规模上都具有一定优势,同时,并行化使算法平均加速2.6倍左右.; 关键词基于搜索的软件工程组合测试覆盖表禁忌搜索并行化; Keywords search based software engineering eombinatorial testing covering arrays tabu search parallelization; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于有界模型检测的门级软件自测试方法: 5; 作者张颖张嘉琦王真江建慧; 机构同济大学软件学院上海电力学院计算机科学与技术学院; 出处《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第11期1575-1581,共7页; 基金国家自然科学基金(61432017 61404092); 文摘提出了基于有界模型检测的门级软件自测试方法.将处理器中的模块简化成约束模块,缓解状态爆炸问题.将难测故障的触发条件逐个转化成性质并且采用有界模型检测技术,搜索触发这些性质的违例.最后,将违例映射成测试指令序列,并为测试指令序列添加观测指令序列,构成自测试程序.实验结果表明:该方法在不引起状态爆炸问题的情况下,有效地测试控制器中难以测试的故障,提高了在线测试的测试质量.; 关键词基于软件的自测试(sbst) 模型检测抽象; Keywords software-based self-testing(sbst) model checking abstraction; 分类号 TP302.8 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	安卓智能终端自动化测试技术综述	曹捷黄翰雷丰强刘方青	《计算机科学与探索》 CSCD 北大核心	2024	0	在线阅读下载PDF 职称材料
2	面向云测试的并行测试用例自动生成方法	刘晓强解筱梦杜明常姗蔡立志刘振宇	《计算机应用》 CSCD 北大核心	2015	4	在线阅读下载PDF 职称材料
3	自动程序修复方法研究进展	玄跻峰任志磊王子元谢晓园江贺	《软件学报》 EI CSCD 北大核心	2016	14	在线阅读下载PDF 职称材料
4	覆盖表生成的禁忌搜索算法	王燕聂长海钮鑫涛吴化尧徐家喜	《软件学报》 EI CSCD 北大核心	2018	9	在线阅读下载PDF 职称材料
5	基于有界模型检测的门级软件自测试方法	张颖张嘉琦王真江建慧	《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心	2018	0	在线阅读下载PDF 职称材料