期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于Clang编译前端的Android源代码静态分析技术
1
作者 曹原野 丁丽萍 《计算机系统应用》 2017年第10期1-10,共10页
Android手机在全球占有很大的市场份额,基于Android衍生的第三方系统也为数不少.针对Android系统重大安全问题频发的现状,提出一种使用Clang编译前端对Android源码进行静态分析的方法.该方法从已公布的CVE漏洞中提取规则和模型,通过改进... Android手机在全球占有很大的市场份额,基于Android衍生的第三方系统也为数不少.针对Android系统重大安全问题频发的现状,提出一种使用Clang编译前端对Android源码进行静态分析的方法.该方法从已公布的CVE漏洞中提取规则和模型,通过改进的Clang编译前端,对Android源码进行静态分析,从而检测出有潜在安全风险的代码片段.在对Android源码进行污点分析时,调用新加入的stp约束求解器,通过符号执行,对敏感数据进行污点标记,并对敏感函数、敏感操作、敏感规则进行污点分析,如果存在潜在的安全隐患,则进行报告.经过实验分析,该方法可以找出Android源代码中存在的同类型有安全风险的代码片段,可以检出libstagefright模块5个高危CVE漏洞. 展开更多
关键词 Clang编译器 安卓 静态分析 污点分析 符号执行
下载PDF
一种基于事件处理函数的GUI测试方法 被引量:8
2
作者 陈军成 薛云志 赵琛 《软件学报》 EI CSCD 北大核心 2013年第12期2830-2842,共13页
事件处理函数响应用户GUI(graphic user interface)操作并完成软件预定义功能,事件处理函数以及事件处理函数之间的关系实现是否与规约一致,是GUI测试的重点.针对现有的基于模型GUI测试用例自动生成过程中面临的测试用例规模庞大以及生... 事件处理函数响应用户GUI(graphic user interface)操作并完成软件预定义功能,事件处理函数以及事件处理函数之间的关系实现是否与规约一致,是GUI测试的重点.针对现有的基于模型GUI测试用例自动生成过程中面临的测试用例规模庞大以及生成的测试用例无效问题,从分析事件处理函数的角度出发,提出了一种GUI测试模型EHG.针对此模型,结合事件处理函数及其代码结构,提出了两个测试覆盖准则:完整最短路径覆盖准则和完整最短路径定义-引用对覆盖准则;利用基于反馈的测试用例生成技术生成测试用例.实验结果表明,针对较为复杂的应用,该方法不仅能够有效控制测试用例规模,消除无效测试用例,而且生成的测试用例能有效提高事件处理函数的代码结构覆盖率. 展开更多
关键词 GUI测试 事件处理函数 测试覆盖准则 测试用例生成
下载PDF
基于谓词执行信息分析的自适应缺陷定位算法 被引量:7
3
作者 郝鹏 郑征 +3 位作者 张震宇 高乙超 宫成 薛云志 《计算机学报》 EI CSCD 北大核心 2014年第3期500-511,共12页
查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通... 查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通过比较程序运行成功与失败时谓词的执行信息差异来获得谓词与缺陷的关联程度.然而实验研究发现,固定算法中信息利用的强度会造成信息利用不足或过分利用现象的发生,导致现有PBSFL方法对某些缺陷定位不够准确.针对这一问题,文中设计了一种基于谓词执行信息分析的自适应缺陷定位算法,该算法通过分析测试用例运行时谓词的执行情况来动态地为每个谓词选择合适的信息利用强度.实验结果表明,该方法在Siemens和space两个程序包上表现出很好的定位效果以及定位稳定性. 展开更多
关键词 统计学缺陷定位 谓词执行信息 自适应 软件测试 程序分析中图法
下载PDF
基于事件处理函数的GUI测试用例集约简技术 被引量:4
4
作者 陈军成 薛云志 +1 位作者 陶秋铭 赵琛 《软件学报》 EI CSCD 北大核心 2015年第8期1871-1885,共15页
GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽可能保持原有测试用例集缺陷发现能力的基础上... GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽可能保持原有测试用例集缺陷发现能力的基础上,尽可能地降低GUI测试用例集规模,是GUI测试用例集约简的一个挑战.以事件处理函数为核心,结合控制流和数据流技术,根据事件处理函数代码结构特征以及事件处理函数之间的数据依赖关系定义测试冗余规则,制定并实现了3种测试用例集约简技术.实验结果表明:与已有技术相比,其中两种根据事件处理函数之间的数据依赖关系制定的测试用例集约简技术达到了较好的约简效果. 展开更多
关键词 GUI测试用例 测试用例集约简 事件处理函数 定义-引用 冗余测试用例
下载PDF
一种Android平台混合应用运行环境 被引量:1
5
作者 宋小远 薛云志 《计算机系统应用》 2016年第9期98-103,共6页
随着智能终端设备以及移动互联网的发展,智能手机等设备越来越普遍,其上的应用也越来越丰富.如何能够更快、更高效的开发智能终端上的应用成为开发者面临的巨大问题之一.在分析了当前存在的跨平台混合应用开发的基础上,设计并实现了一种... 随着智能终端设备以及移动互联网的发展,智能手机等设备越来越普遍,其上的应用也越来越丰富.如何能够更快、更高效的开发智能终端上的应用成为开发者面临的巨大问题之一.在分析了当前存在的跨平台混合应用开发的基础上,设计并实现了一种Android平台混合应用运行环境,利用该运行环境可以实现只用HTML、CSS和Java Script开发Android应用,为开发者带来极大的便利.同时该运行环境兼容桌面系统上的混合应用运行环境,利用该运行环境开发的应用经过不同屏幕适配同时可以运行在桌面系统上. 展开更多
关键词 ANDROID平台 混合应用 运行环境 跨平台 WEB技术
下载PDF
基于图的半监督降维算法 被引量:2
6
作者 杨格兰 金辉霞 +1 位作者 孟令中 朱幸辉 《计算机科学》 CSCD 北大核心 2014年第4期280-282,296,共4页
非线性降维和半监督学习都是近年来机器学习的热点。将半监督的方法运用到非线性降维中,提出了基于图的半监督降维的算法。该算法用等式融合的方法推出了标记传播算法的另一种表达形式,用标记传播的结果作为初始的数据映射,然后在图谱... 非线性降维和半监督学习都是近年来机器学习的热点。将半监督的方法运用到非线性降维中,提出了基于图的半监督降维的算法。该算法用等式融合的方法推出了标记传播算法的另一种表达形式,用标记传播的结果作为初始的数据映射,然后在图谱张成的线性空间中寻找最逼近初始映射的数据作为最后的半监督降维的结果。实验表明,所提算法可以获得平滑的数据映射,更接近于理想的降维效果。与标记传播算法、图谱逼近算法、无监督的降维算法的比较也体现出本算法的优越性。 展开更多
关键词 半监督学习 流形学习 标记传播 图谱理论
下载PDF
可配置网络式软件系统的可用性预计研究 被引量:1
7
作者 杨格兰 孟令中 《计算机科学》 CSCD 北大核心 2012年第12期102-106,共5页
在复杂系统的建模与仿真研究的基础上,提出了一种基于多Agent的可配置网络式软件系统的可用性预计方法。首先介绍了多Agent系统建模与仿真方法;其次分析了可配置网络式软件系统的特点;然后在研究基于多A-gent的网络式软件系统建模与仿... 在复杂系统的建模与仿真研究的基础上,提出了一种基于多Agent的可配置网络式软件系统的可用性预计方法。首先介绍了多Agent系统建模与仿真方法;其次分析了可配置网络式软件系统的特点;然后在研究基于多A-gent的网络式软件系统建模与仿真的基础上,研究可配置的行为模型,并建立了基于多Agent的可配置网络式软件系统可用性仿真方法;最后利用Netlogo仿真平台,结合实例对可配置的作用进行了可用性预计,并验证了本方法的有效性。 展开更多
关键词 多AGENT 可配置 网络式软件系统 可用性预计
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部