公共文化服务平台

基于事件处理函数的GUI测试用例集约简技术被引量：4: 2015年; GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽可能保持原有测试用例集缺陷发现能力的基础上,尽可能地降低GUI测试用例集规模,是GUI测试用例集约简的一个挑战.以事件处理函数为核心,结合控制流和数据流技术,根据事件处理函数代码结构特征以及事件处理函数之间的数据依赖关系定义测试冗余规则,制定并实现了3种测试用例集约简技术.实验结果表明:与已有技术相比,其中两种根据事件处理函数之间的数据依赖关系制定的测试用例集约简技术达到了较好的约简效果.; 陈军成薛云志陶秋铭赵琛; 关键词：测试用例集约简

基于谓词执行信息分析的自适应缺陷定位算法被引量：7: 2014年; 查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通过比较程序运行成功与失败时谓词的执行信息差异来获得谓词与缺陷的关联程度.然而实验研究发现,固定算法中信息利用的强度会造成信息利用不足或过分利用现象的发生,导致现有PBSFL方法对某些缺陷定位不够准确.针对这一问题,文中设计了一种基于谓词执行信息分析的自适应缺陷定位算法,该算法通过分析测试用例运行时谓词的执行情况来动态地为每个谓词选择合适的信息利用强度.实验结果表明,该方法在Siemens和space两个程序包上表现出很好的定位效果以及定位稳定性.; 郝鹏郑征张震宇高乙超宫成薛云志; 关键词：自适应软件测试

一种基于Linux Live USB的启动优化研究被引量：1: 2014年; Live USB上的Linux内核启动时间较长,这使Linux在Live USB上的普及受到了一定的限制。现存的对其进行优化的方法主要是通过配置Linux内核模块以及Linux内核运行参数以减少其启动时间,但这些优化方法并没有对占据大量Linux内核启动时间的设备初始化过程进行优化。为此,提出了一种针对PCI设备的初始化过程进行优化的方法,该方法的思想是通过已知信息,移除探测PCI总线上的设备的时间。实验结果表明该方法能够进一步减少Linux的启动时间,启动速度提升幅度达到21.25%。; 陈柯刘中山李航; 关键词：LINUX LIVE USB PCI

Android平台多系统隔离安全机制被引量：3: 2014年; 智能手机和平板电脑等智能移动设备目前已经广泛应用于人们的日常生活当中。移动用户的多场景使用方式对数据安全和隐私保护的要求很高,为解决这一问题,该文研究了智能移动设备的多系统安全机制,提出并实现了多Android操作系统快速切换的系统原型。该原型系统利用操作系统的挂起/唤醒机制,将不同的Android操作系统实例分时运行于同一个硬件平台上,满足了用户不同场景数据相互隔离的安全需求,避免了携带多个智能移动设备带来的不便。实验结果表明:该原型系统中多操作系统之间的切换非常快,而所增加的开销非常小,不影响用户体验。; 张知皦陈渝; 关键词：系统安全 ANDROID

一种基于程序变异的软件错误定位技术被引量：15: 2013年; 发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶然性成功测试用例执行了错误代码,但却没有引发失败的测试结果.研究表明这种测试用例在实际测试中广泛存在,而它们的存在会显著降低错误定位的准确率.针对此问题,文中提出一种称为Muffler的技术.Muffler使用程序变异分析来修正错误代码定位结果,以提高定位的准确率.文中利用8个在错误代码定位研究领域广泛使用的基准程序验证了Muffler的有效性.实验结果表明,与传统错误代码定位技术相比,Muffler能减少程序员50.26%的错误定位代价.; 贺韬王欣明周晓聪李文军张震宇张成志; 关键词：软件工程

Google SafetyNet中Root检测机制安全性研究: 2019年; Android系统中的Root是指利用系统漏洞或者通过刷机使得应用能够执行需要Root权限的操作.用户常常出于个性化设备、安装特权应用等目的将设备Root,而对设备Root会引入很大的安全风险.攻击方得到Root权限后可以进行静默安装恶意应用、窃取用户敏感数据及篡改应用程序等恶意操作.由于上述安全风险的存在,Android系统和大多数应用程序不希望设备被Root.为此,Google移动服务框架中的SafetyNet模块提供了平台级的Root检测.但SafetyNet Root检测机制本身的安全性及健壮性尚不完全清晰,突出的问题是此机制是否可能被绕开还不明了.为此,本文使用逆向工程的方法分析了Google移动服务框架中SafetyNet的Root检测机制,并结合Root的技术原理,分析了相关检测机制的实现方式并发现了其中的弱点.通过攻击实验,成功地揭示了Google平台级Root检测机制实现中存在有较高的安全风险,难以检测本文设计的Root方法.; 朱舒阳梁彬白石磊杨超群石文昌; 关键词：逆向工程

一种软件特征模型扩展和演化分析方法被引量：4: 2016年; 特征模型是面向特征的软件开发过程的重要概念和制品,该模型以特征为单位,刻画了领域产品的共性和可变性.在日趋频繁的软件演化过程中,保持特征模型的一致演化,对于支持高效的复用开发和按需配置至关重要.目前,大多数的研究是在需求层面进行共性和可变性分析,对特征模型的研究则集中在对共性和可变性的建模上.但是,由于特征变更在建模过程中存在"涟漪"效应,会导致新的共性和可变性演化.现有的分析方法还无法解决这个问题,会导致丢失一些潜在的产品共性,从而影响复用的效率.提出了一种特征模型扩展和演化分析方法.通过扩展特征关联关系和模型演化元操作,实现对特征变更"涟漪"效应的分析.发现潜在的产品共性,提出重构策略和半自动化的共性提取和特征重构支持方法.该方法还针对典型的配置冲突提出了冲突消解规则和策略.最后,通过案例分析验证了该方法的可用性和有效性.; 胡洁王青; 关键词：软件定制

SurfaceFlinger在X Window系统环境下的运行方案被引量：2: 2017年; 本文给出一种将Android图形系统SurfaceFlinger移植到桌面Linux发行版的X Window系统环境下运行的方案.在X Window系统环境下运行的SurfaceFlinger可使Android运行环境中以本地进程形式的Android应用进程的UI界面显示到X Window的窗口中.使用Mesa作为Open GL ES实现并使Mesa EGL兼容Android的本地窗口ANative Window,同时借助Androidx86的gralloc.drm.so模块,实现了Android应用程序的UI渲染过程SurfaceFlinger的图像合成过程能够使用GPU进行硬件加速.另外,用X11的DRI2扩展协调SurfaceFlinger的窗口和X Server的DDX驱动,使合成后的图像能高效地更新到窗口中,避免了SurfaceFlinger的图像缓存由独立显存到系统内存的拷贝过程.经实验,在本移植方案下,第三方3D基准测试软件San-Angeles能达到60FPS的帧率.相比于已有方案,本方案的架构更加简洁高效,且支持硬件加速.; 江帆贺也平周启明; 关键词：X

差分隐私下的一种频繁序列模式挖掘方法被引量：7: 2015年; 频繁序列模式挖掘是数据挖掘领域的1个基本问题,然而模式本身及其支持度计数都有可能泄露用户隐私信息.差分隐私(differential privacy,DP)作为一种新出现的隐私保护技术,定义了一个相当严格的攻击模型,通过添加噪音使数据失真达到隐私保护的目的.由于序列数据内在序列性和高维度的特点,给差分隐私应用于频繁序列模式挖掘带来了挑战.对此提出了一种基于交互式差分隐私保护框架的频繁序列模式挖掘算法Diff-FSPM(differential-privacy frequent sequential pattern mining).该算法利用指数机制获取最优序列长度,并采用一种维规约策略获得原始序列数据集的规约表示,有效降低序列维度的影响;应用前缀树压缩频繁序列模式,利用拉普拉斯机制产生的噪音扰动频繁模式的真实支持度计数,同时采用闭频繁序列模式和Markov假设,有效分配隐私预算,并利用一致性约束后置处理,增强输出模式的可用性.理论角度证明算法满足ε-差分隐私,实验结果验证算法具有较好的可用性.; 卢国庆张啸剑丁丽萍李彦峰廖鑫; 关键词：频繁序列模式数据挖掘隐私保护前缀树

多处理器片上系统的线程迁移方法: 2015年; 针对如何在细粒度多线程系统中减少线程同步及通信开销以提高处理器利用率,提出了一种可用于多处理器片上系统的线程迁移策略,并将其应用于代码自动生成工具中。该线程迁移策略能够合理地选择线程迁移时机,减少线程过度迁移导致的性能损失。在此基础上,提出了相应的线程划分方法。实验结果表明,该策略和方法能有效提高处理器利用率,为改善系统性能提供切实有效的技术方法。; 胡腾梅玲琪黄凯林威张晓濛修思文严晓浪; 关键词：线程迁移自动代码生成 SIMULINK

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家科技重大专项(2012ZX01039-004)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

国家科技重大专项(2012ZX01039-004)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈