基于分片复用的多版本容器镜像加载方法

容器将应用和支持软件、库文件等封装为镜像，通过发布新版本镜像实现应用升级，导致不同版本之间存在大量相同数据.镜像加载消耗大量时间，使容器启动时间从毫秒级延迟为秒级甚至是分钟级.复用不同版本之间的相同数据，有利于减少容器加载时间.当前，容器镜像采用继承和分层加载机制，有效实现了支持软件、库文件等数据的复用，但对于应用内部数据还没有一种可靠的复用机制.提出一种基于分片复用的多版本容器镜像加载方法，通过复用不同版本镜像之间的相同数据，提升镜像加载效率.方法的核心思想是：利用边界匹配数据块切分方法将容器镜像切分为细粒度数据块，将数据块哈希值作为唯一标识指纹，借助B-树搜索重复指纹判断重复数据块，减少数据传输.实验结果表明，该方法可以提高5.8X以上容器镜像加载速度.     

数据库形式化安全策略模型建模及分析方法

目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统BeyonDB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明了方法的有效性。     

基于Android平台的黑盒测试生成工具的研究对比

随着移动互联网技术迅速发展,移动设备成为人们生活中必不可少的部分,其中Android手机占有了智能手机的主要市场。相对于传统软件,Android应用易于发布、开发周期短,但其质量常常难以保证。软件测试是用于保证软件质量的最常用方法,其中关键的步骤是如何生成合适的测试用例,而对于事件驱动型Android应用程序,关键在于如何生成合理的事件序列辅助测试过程。目前,已有一些研究者开发了面向Android应用的测试事件生成工具。针对三种典型的测试生成工具,分析了其工作原理与特性;并选取覆盖多种类别的40个应用程序作为基准测试集,设计了统一的测试框架,对工具的兼容性、易用性、测试时间和程序覆盖能力等特点进行了分析与对比,并根据相关测试工具的缺陷提出一定的创新性的解决方案。     

基于日志挖掘的移动应用用户访问模型建模技术研究

提出了一种基于监控日志挖掘的移动应用用户访问模型自动构造方法,该方法包括监控代码注入和界面访问模型构造两部分。首先,提出了一种监控代码自动注入方法,即通过对移动应用代码的静态分析,自动地在相应位置插入监控代码以支持在运行时动态地监控用户的访问行为。其次,提出了一种基于状态机的移动应用用户访问模型构造方法。访问模型中状态机的节点和节点间跳转上的附加属性描述了UI界面之间的跳转行为和界面内控件的使用情况。对移动应用进行的实验表明,这种基于监控日志挖掘的移动应用用户访问模型自动构造方法能够成功地自动注入移动应用的监控代码,并能够有效获得移动应用用户界面访问行为。     

形式化方法Designware及其规约精化机理*

介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述.     

改进的最小割集生成算法与联锁系统模型的安全性测试*

为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。     

基于节点分组的异构集群负载均衡算法*

首先根据排队论理论给出了一个理想的负载均衡模型。针对该模型的系统开销问题,提出了一种基于节点分组的异构集群负载均衡算法。实验结果表明,相比于轮转法和加权轮转法这两种普遍采用的负载均衡算法,该算法可以提供更加稳定的请求响应时间,并在负载波动较大时明显提高集群的吞吐率。     

一种基于ACME的面向方面软件体系结构设计方法

软件体系结构对于控制软件系统复杂性、提高软件质量具有重要意义.随着对软件体系结构研究的不断深入,研究者们发现其中存在着横切现象.通过使用方面,AOP在代码层次很好地解决了横切问题.因此,根据现阶段研究成果,本文把AOP中方面的概念引入到软件体系结构设计过程中,提出了一种基于ACME的面向方面软件体系结构设计方法.ACME可以实现对面向方面软件体系结构设计过程的形式化验证.依据该方法,使用AcmeStudio设计了网上书店系统的体系结构.     

一种网格环境的服务查找算法

网格计算为大规模Internet应用提供了必要的基础架构,服务查找是网格计算的重要研究内容之一。但是目前常见的服务查找算法不太适应于网格环境的分散性和松耦合等特点。提出了一种分布式的、综合考虑网络延迟和节点负载情况及处理能力、适合于网格环境的服务查找算法DDCA。实验结果表明,DDCA算法能有效提高网格环境下应用的整体性能。     

物联网中一种基于无线射频识别和传感器节点的信息收集协议

为有效收集传感器节点的信息,本文将无线射频识别标签与传感器节点进行结合,提出了2种数据收集协议。首先提出了基于被动式标签数据收集协议PTC,该协议采用分割时槽方法,将每个帧分割为若干个大小不同的时槽,有效缩短了执行时间。在此基础上,提出一种基于主动式标签的数据收集协议ATC,该协议采用预先分配时槽的方法,减少空时槽和冲突时槽的分配,使得执行时间达到下界。为使信息收集准确可靠,提出了有效检测丢失标签和收集未知标签算法ADMCU,为PTC和ATC协议执行的正确性提供保障。实验表明:本文提出的两种协议与其他流行协议相比执行时间更短,且无论收集信息量如何变化,ATC的执行时间始终最短;同时,所提出的ADMCU算法在相同准确率情况下,耗时更短。