• 主题
高级搜索  >
历史搜索 清空历史

您现在的位置：首页>中文会议>第15届全国软件与应用学术会议（NASAC2016）

会议信息

  • 会议名称：

    第15届全国软件与应用学术会议（NASAC2016）

  • 召开年： 2016
  • 召开地： 昆明
  • 会议文集： 第15届全国软件与应用学术会议（NASAC2016）论文集
  • 主办单位： 中国计算机学会
  • 出版时间： 2016-11-03
  • 排序：
  • 显示：
  • 每页：
全选（0）
<1/3>
共47条结果
  • 1.

    面向SaaS多租户的一种多层模型

    包量

    摘要：SaaS(Software as a Service)伴随云计算而出现,它与传统软件有很大区别.本文根据SaaS软件的特点,提出支持SaaS软件成熟度的SaaS软件分层元模型,使用形式化方法对每一层进行建模描述.受到面向对象Petri网(OOPN)和有色Petri网(CPN)思想的启发,提出面向服务网结构SOP(Service-Oriented Petri Nets)和CSOP(Colored Service-Oriented Petri Nets).一方面,使用封装的库所元素代表服务,体现了服务对外的不可见,内部结构影响运行.另一方面,不同的颜色集代表不同租户请求,突出SaaS多租户的特点.这不仅为复杂的SaaS软件建模提供万法,还折叠系统变迁,压缩状态空间.最后,以一个CRM(Customer Relationship Management客户关系管理)SaaS软件系统为例,验证了本文工作的可行性.
  • 2.

    面向需求覆盖的Web服务自动化测试框架

    包量

    摘要：Web服务作为W3C认证的SOA(面向服务架构)的实现方式,对外提供可用于黑盒测试的接口文档,如何有效地自动化生成测试用例成为Web服务自动化测试的首要问题.现有的测试工具对服务描述文件(WSDL)的文档结构和数据之间的依赖关系考虑不足,且缺乏有效的测试数据生成方法,进而导致测试效率不高以及生成的测试用例无法覆盖全部的测试需求.为此,论文提出了Web服务自动化测试的技术框架,并实现了支持此框架的原型工具.该框架基于WSDL文档解析获取覆盖结构特征的SOAP骨架集合,并采用可变力度组合测试模型生成满足元素组合的SOAP封装消息,之后通过有限状态机/接口契约模型获取操作序列测试路径,保证了操作序列测试数据的有效性.案例结果表明了所提框架生成的测试数据能够更好地满足测试需求,达到理想的测试覆盖率,并能够检测出更多的错误,且在用例规模上优于现有的方法.
  • 3.

    面向语句的MBFL变异体约减策略

    包量

    摘要：软件调试过程中如何高效、精确地定位程序中的错误代码是软件开发人员普遍关注的问题.MBFL是一种基于变异分析的错误定位技术,它在获得较高错误定位精度的同时生成大量变异体,并要在变异体上执行测试用例集,开销庞大.为了减少MBFL的变异执行开销,本文提出面向语句的变异体约减策略,通过分析测试用例的执行信息,对每条被失败测试用例覆盖的语句上生成的变异体集合,按一定比例进行约减.实验结果表明,在7个程序包的112个错误版本上,应用面向语句的变异体约减策略的MBFL,在保持较高错误定位精度的同时,能够有效减少73.51％～79.98％的变异执行开销.
  • 4.

    基于随机搜索规则的软件体系结构层性能演化优化方法

    包量

    摘要：已有的基于规则的软件体系结构(Software Architecture,简记为SA)层性能优化方法大多未充分考虑优化过程中各规则的改进幅度、使用次数和使用顺序的不确定性,导致了搜索空间受限而难以获取更优的性能改进方案.针对这一问题,文中基于SA层性能改进策略定义一组随机搜索规则以增大各规则的性能改进空间,在此基础上考虑这些规则的不同使用顺序和不同使用次数的组合情况,构建SA层性能优化模型RRPOM并设计演化求解算法,进而形成一种SA层性能优化方法RRMO4PO.与已有方法在WebApp应用案例上的实验对比表明:本文方法在使用更少的规则、更少次修改SA元素而获取更好可解释性的同时,有效地降低了系统响应时间和改进代价.在最好情况下,平均使用有改进效果规则的次数和平均修改SA元素的次数较已有方法分别降低了33.3％和52.9％,与此同时将系统响应时间和改进代价分别降低了30.5％和73 6％.
  • 5.

    一种面向云构软件的云操作系统

    包量

    摘要：云计算和互联网的兴起不仅带来了数据中心的变化,也带来了软件的开发、部署、运维和使用上的变革.随着当前云计算和网络环境的不断完善,传统软件如何更好地利用云计算平台,并服务于终端用户是计算机软件领域的研究热点,具有广泛的现实意义.近年来,随着实时互联网、微服务、云端渲染、容器等技术和理念发展的不断深入,软件(Software)形态将进一步朝着云件(Cloudware)形态的方向发展.本文主要探究了在云计算和互联网环境下"云件"这一新型软件范型,并针对该软件范型,提出了一种新型的云操作系统:GalaxyOS.GalaxyOS可以在不修改传统软件的情况下,直接将软件部署到云端的运行,并通过浏览器实时投射到终端用户,实现传统软件的新型服务模式.通过采用微服务架构设计,使得该云操作系统具有较好的可扩展、容灾性和灵活配置等特性.通过对实际的GalaxyOS原型系统的实现和交互时延及资源占用实验,验证了本文提出方法在用户体验上的有效性.
  • 6.

    Android多窗口系统的研究、设计与实现

    包量

    摘要：多窗口技术作为一种改善人机接口的计算机技术已在桌面系统中流行,Android系统作为手机系统得到了广泛地用户群体,并逐渐扩展到大屏幕.但当前的Android系统缺少多窗口的有效支持,极大地限制使用者在大屏幕环境下使用Android系统.在Android的基础上,着眼于桌面平台,通过分析目前Android多窗口系统的功能需求,设计并实现了一套Android多窗口系统.并通过对该系统的显示效果以及性能指标进行评估的形式阐述了Android多窗口系统的可用性和实际意义.
  • 7.

    手机屏幕尺寸与应用使用行为的相关性分析

    包量

    摘要：应用开发者和应用市场需要深入地了解用户的喜好,并且提供针对不同设备、不同用户的个性化服务.Android设备数目繁多,设备的屏幕尺寸、性能等因素都会对用户的行为产生一定的影响.通过对大规模用户真实使用数据的分析,试图了解设备的屏幕尺寸与用户的使用行为之间的关系、分析背后的原因,为应用开发者和应用市场的推荐工作提供参考.对从应用市场获取的5个月应用管理行为数据、网络使用数据、设备信息等,进行分析和统计.首先,从宏观角度,分析不同屏幕尺寸的手机的用户在应用下载、卸载、网络使用方面的差异;之后,从微观角度,对部分应用进行深入分析,分析相似功能的应用在不同屏幕尺寸的手机上的表现差异、以及用户使用情况的差异.
  • 8.

    面向Issue跟踪系统的变更请求报告关闭可能性预测

    包量

    摘要：在Issue跟踪系统中存在大量长期未关闭的变更请求报告,增加了开发者不断点击和阅读这些报告的可能性,严重影响了软件需求管理任务的实施和用户的反馈体验.准确和及时地对这些报告预测关闭的可能性或重要性可以提高软件维护任务的质量.定义若干衡量变更请求报告特征的指标,选择在训练数据集上预测效果最佳的指标构建Logistic回归预测模型.使用提出的方法对20个SourceForge项目构成的测试数据集进行实验,得到平均查全率94％和平均伪正率14％的结果.实验结果分析表明:提出的方法在测试数据集上取得很好的预测性能;关闭状态的变更请求报告所占的百分比或数量大小并不影响模型的性能;变更请求报告具有的某些特征可用于预测其在下一版本中得到关闭的可能性.
  • 9.

    分布式环境下的路由器级互联网抗毁性研究

    包量

    摘要：基于MapReduce分布式计算框架对路由器级互联网拓扑的抗毁性进行研究,从连通性和传输效率两个角度衡量网络的拓扑抗毁性,提出了两个抗毁性新测度:网络连通率和网络传输效率比.基于MapReduce设计并实现了互联网抗毁性分析算法(AIIMR),算法在分布式环境下采用不同攻击策略对互联网拓扑进行仿真攻击.实验对比分析了传统测度在衡量路由器网络时存在的问题,证明了本文所提测度的有效性.在不同网络上的实验结果表明了路由器级互联网在遭受随机攻击时表现出很强的抗毁性,而在面对蓄意攻击时则表现的十分脆弱.最后,在不同规模的Hadoop集群上的实验结果验证了本文算法的高效性和扩展性.
  • 10.

    XACML移动应用访问控制策略测试方法

    包量

    摘要：移动终端能在大量移动应用的支撑下完成各项任务,愈来愈多的企业允许员工带着他们的个人设备进入工作环境(BYOD),也带来了敏感资源的访问控制挑战.XACML是访问控制策略统一描述语言,具有很强的策略描述能力、可扩展性以及跨平台性等特性,使其成为目前主流的访问控制策略描述语言,但XACML策略的正确性尤其重要,包含错误的XACML策略将使应用系统在运行时出现非预期的行为,从而可能引发严重的安全事故.实践中,通常采用人工验证和测试的手段发现XACML策略中的错误,但存在效率和成本问题,加之,目前还未见对移动应用的支持.本文提出了一种移动应用XACML访问控制策略测试方法,通过将策略等价转换成可执行的C语言程序,利用符号执行技术产生高覆盖的测试输入,并映射成相应访问控制策略的请求,以实现访问控制策略的测试,开发了原型工具XPTester,在此基础上,面向BYOD,针对国家电网领域Android平台上的项目管理应用PPM,进行了实例研究,展示了所提万方法的有效性.
  • 11.

    虚拟环境下硬件事务内存辅助的同步机制

    包量

    摘要：虚拟化是云服务的重要组成部分.在虚拟化系统中,虚拟机监视器调度机制和虚拟机系统内部调度机制的共同存在,造成了双重调度问题.而在云端,云服务提供商往往在一台物理服务器上运行尽可能多的虚拟服务器,来充分利用硬件的物理资源.这一做法增加了虚拟机监视器对虚拟机的调度负担,加剧了双重调度问题,造成了不可忽视的性能下降.如何在保护系统公平性的同时,缓解双重调度问题带来的负面影响，提高系统的整体性能,成了一个重要的课题.通过研究双重调度引发的同步机制效率问题,结合硬件事务内存的特点,为虚拟机内核设计了新的同步机制SPINRTM.一方面,SPINRTM基于硬件事务内存不可被打断的特性,保护了虚拟机内的临界区间,使其不被打断,有效缓解了双重调度问题.另一方面,SPINRTM结合了传统的排队自旋锁,保护了硬件事务内存的运行效率,也维护了系统的公平性.测试证明,在超负载的情况下,SPINRTM能够在保护系统公平性的同时,提高系统的整体性能.
  • 12.

    采用Clang/LLVM的C++源代码覆盖率分析插装方法

    包量

    摘要：近年来,越来越多的安全关键软件系统运行在国产Linux操作系统下,其中大多数采用C++开发,而C++正在扩展新版语言规范,已有覆盖率统计插装工具不能满足要求.本文给出一种基于Clang/LLVM的C++源代码覆盖率统计插装方法,利用开源社区Clang/LLVM库提供的C++源代码解析和操作功能,构建面向C++源代码的语句、分支和MC/DC覆盖率统计框架,运行时采集覆盖率信息,并进行统计分析,输出覆盖率分析报告.实际案例表明,该方法简易实用,能够满足真实工程软件的覆盖率测试分析需求.
  • 13.

    一种基于文档的移动平台间UI控件对应方法

    包量

    摘要：多平台开发是移动应用软件开发的一个重要特点,同时还存在版本演化快和开发周期短的要求,这给移动开发带来了巨大的挑战.由于目前主流的移动平台大多采用了MVC架构模式,并且在开发上体现出Ul驱动和事件驱动的特点,因此不同平台(如iOS和Android等)之间的Ul控件具有较强的对应性,这给移动应用的开发人员在多平台开发时提供了重要的参考.本文提出一种基于文档来理解不同平台之间Ul控件对应性的方法,该方法以iOS和Android两种移动平台为研究对象,通过自然语言处理的技术,分析从官方文档中抓取的Ul控件描述文字,基于空间向量模型计算控件之间的相似度,并针对移动应用的特点设计了同义词集来保证匹配的准确性.基于所提出的方法,对iOS和Android平台上典型UI控件进行具体试验,实验结果显示,在单控件对应性方面,该方法能找到大部分的控件对应性,具有较好的准确度.
  • 14.

    基于测试例生成的Android应用数据竞争验证方法

    包量

    摘要：Android应用是一种事件驱动的并发程序,后台线程与异步事件执行顺序的不确定,导致数据竞争在Android应用中普遍存在.现有的针对Android应用的竞争检测工具会产生大量误报,且不能确定地重现竞争.本文针对以上问题,在现有的竞争检测结果的基础之上,提出了一种基于测试用例生成的Android应用数据竞争验证方法.该方法首先构建应用的状态转化图,基于状态转化图和现有竞争检测工具的检测结果自动生成包含潜在数据竞争的测试用例,然后在测试用例执行的过程中通过控制事件分发和线程的执行顺序来暴露竞争,观察竞争是否会引起程序异常.实验结果表明,该方法能有效地重现数据竞争引起的并发错误,并指出检测结果中的误报.
  • 15.

    自适应软件的策略自动生成与演化

    包量

    摘要：随着软件功能的日益强大和运行环境的日益复杂,软件要求能够及时感知环境和需求的变化,并做出相应的反应.自适应系统是一种能够通过感知环境,运用自身知识,决策自身行为的软件框架.策略集是自适应系统的核心知识,但是现有自适应研究都缺少对策略的生成、维护、演化等的关注.本文借鉴决策树算法,提出一种使用策略树的方法来自动生成、演化和维护策略集的方法.使得自适应软件能够更好的使用知识,排除人为制定策略对自适应软件效果的影响.并且,以RubiS网站为基础,通过仿真实验验证方法的可行性.
  • 16.

    一种加权主导资源公平调度算法WDRF及其在Mesos上的实现

    包量

    摘要：集群执行分布式作业时,合理、高效以及公平的资源调度策略是提高作业执行效率的关键.传统的先到先服务算法实现简单效率可观但具有公平性上的缺陷.近期提出的DRF算法能实现多类资源环境下的公平调度,但在异构集群中却难以适用.针对这些问题,本文提出了一种加权主导资源公平的调度算法,利用资源带权抽象,机器节点匹配,以及基于主导资源的调度方法达到在实际集群环境中对多类资源的公平分配.在此算法基础之上,基于Mesos进行了系统实现,并分别对长时间作业、计算型作业和混合型作业进行了实验,结果验证了算法的高效性和公平性.
  • 17.

    遗留系统的角色工程方法研究

    包量

    摘要：针对角色工程方法欠缺关注遗留系统的外部行为不变性和易演化性的问题,基于FermaT转换理论和集合理论,提出一种遗留系统的角色工程方法.提出访问控制策略的转换规则,分析转换规则的管理成本,给出遗留系统角色工程的设计准则,并提出符合设计准则的角色工程方法.案例分析表明方法能够在生成角色的同时构造角色层次,与主要的角色挖掘方法相比,构造的角色更加细化,角色层次完整且不冗余,在产生必要角色的前提下管理开销最低.
  • 18.

    基于智能手机的日常运动状态与强度监测技术研究

    包量

    摘要：从运动APP入手，结合行为识别，运动生理学领域的相关成果，通过智能手机内置的加速度传感器，实现了基于智能手机的日常运动状态与强度监测。系统的识别性能实验证明可以达到96.31％，监测性能达到主流商业软件标准。随着人们对健康问题的日渐关注，本文的研究成果可以为科学的日常运动提供重要的参考信息。目前，选择简单清晰的C4.5算法作为行为识别算法，没有详细的研究其他算法的可行性。另外，选取的日常运动类型是七种，还不够丰富，可以扩充。由于缺少专业的设备，对于能量消耗的测量不够准确，为了更准确的论证测量准确率，将在日后完备实验设施进行实验。而今后的工作目标将是深入研究运动状态识别以及运动能量消耗估算算法，比较各种算法之间的差异。
  • 19.

    线程级猜测并行系统代码自动生成工具的设计与实现

    包量

    摘要：虽然线程级猜测(Thread Level Speculation,TLS)执行机制可以简化多线程编程模型接口,并能获得较高的性能加速,但其并行程序的开发仍然比较困难.面向一个高效的软件TLS模型HEUSPEC,研究了代码自动生成工具C2H的设计与实现方法.具体包括三部分内容:首先为HEUSPEC设计了简单的标注语句,标注出可并行段的一些特征.其次,提出了将标注语句和可并行段转换为猜测线程函数的算法.最后设计了生成HEUSPEC并行代码的算法.该方法已在开源编译器Clang上实现.面向Rodinia、OmpScr等基准程序的测试结果表明,C2H能够将带有简单标注语句的串行C代码转换为HEUSPEC并行代码,且其性能与手工生成的HEUSPEC并行代码十分接近.
  • 20.

    实时软件截止时间的压力测试用例生成

    包量

    摘要：在安全攸关领域,实时软件的性能至关重要,其性能的优劣直接关系到财产乃至生命安全.压力测试是发现软件性能瓶颈的一种有效方法,采用压力测试对实时软件的性能进行分析,以保障它的质量.针对实时软件的任务截止时间问题,采用将压力测试用例的生成转换为约束优化问题(COP)的方法,扩展了COP应用范围.该方法首先将任务调度描述为COP;然后根据问题描述分别采用整型和调度两种方式建立OPL(Optimization Programming Language)模型,利用优化工具CPLEX求解模型,从而自动生成压力测试用例.并对其改进以减少稀疏数据求解时的内存和时间,同时还考虑了不同的任务到达模式和多目标函数.最后实验结果表明,改进后的模型可以减少求解的时间和内存,问题规模增大时效果越明显,且调度(无抢占)比整型效果更好.另外给出任务不同到达模式的例子,通过分析比较得出,存在多目标任务执行比单目标更极端的情况.
题名 作者 来源 发表时间

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号