导  师

不  限

  • 不  限
  • 1979年

不  限

  • 不  限
  • 1979年
  • 全  文
  • 主  题
  • 篇  名
  • 作  者
  • 导  师
  • 第一导师
  • 学位授予单位
  • 关键词
  • 摘  要
  • 目  录
  • 参考文献
  • 学科专业
  • 发表时间

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 作  者
  • 导  师
  • 第一导师
  • 学位授予单位
  • 关键词
  • 摘  要
  • 目  录
  • 参考文献
  • 学科专业
  • 发表时间
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
学科分类 | 院校 | 专业 | 年度 | 导师 | 基金 | 研究层次 | 优秀级别
已选:
相关度 学位年度 被引 下载 发表时间 CNKI为你找到相关结果

Java程序动态更新技术研究  CNKI文献

软件已无处不在,人们也日益依赖于软件系统提供的不间断服务。然而,软件系统常需更新以修复缺陷、改进性能和增加功能。传统的软件更新需要停止正在运行的软件系统,部署新版本并重启运行。这种因软件更新而导致的服务...

顾天晓 导师:马晓星 南京大学 2017-02-27 博士论文

关键词: 动态软件更新 / Java虚拟机 / 运行时自动错误恢复

下载(803)| 被引(5)

关系型数据库向MongoDB数据库自动迁移技术框架的研究  CNKI文献

随着近年数据量的不断增大,关系型数据库的极限不断受到冲击,可扩展性、高性能和高可用性的NoSQL数据库得到了越来越多的青睐。从关系型数据库向NoSQL数据库迁移的需求也随之出现。为了满足以上需求,本文提出了一个关...

曹陈宸 导师:马晓星 南京大学 2016-08-01 硕士论文

关键词: MongoDB / 迁移 / 代码生成

下载(250)| 被引(6)

机器学习程序错误分析及其检测技术研究  CNKI文献

近年来统计机器学习在越来越多的领域中被广泛应用,例如数据挖掘、图像识别以及自动驾驶等等。然而,对于机器学习程序的软件质量保障工作仍然处于起步阶段,很多工作都致力于提高数据集的质量或者测试训练好的模型即分...

程大卫 导师:马晓星 南京大学 2019-05-22 硕士论文

关键词: 机器学习程序 / 变异测试 / 测试预言

下载(64)| 被引(0)

面向无测试预言程序的混合蜕变调试  CNKI文献

软件调试通过分析程序错误根源为开发者提供软件错误信息以及修复方案,是保证软件质量的重要环节。然而,软件调试一直以来都是一件非常繁琐的工作,所以有很多研究者致力于软件调试相关的工作,力图通过研究自动化的软件...

金昊 导师:马晓星 南京大学 2015-05-01 硕士论文

关键词: 软件调试 / 蜕变关系 / 蜕变模型 / 自动错误定位

下载(75)| 被引(0)

动态软件更新—文献综述和实验研究  CNKI文献

软件系统投入运行之后,还常需不断更新以修正错误、增强功能、适应环境和需求的变化。传统的方式需要先关闭系统再重新部署才能实现软件的更新。但频繁重启系统可能会带来不必要的麻烦和开销。对于关键任务系统,服务的...

姚燕 导师:马晓星 南京大学 2012-04-01 硕士论文

关键词: 动态软件更新 / 中间件 / 比较框架

下载(116)| 被引(4)

基于用户执行踪迹重放的移动应用测试方法  CNKI文献

最近几年,移动设备正逐步地取代传统计算设备,在人们日常生活中扮演着愈加重要的角色。伴随着移动设备的快速增长,保证移动设备上应用的质量成为一个急需解决的问题。因此,针对移动应用的自动化测试技术得到了广泛地研...

李秀江 导师:马晓星 南京大学 2015-05-01 硕士论文

关键词: 移动应用 / 测试 / 半自动化 / 用户执行踪迹

下载(48)| 被引(1)

MORO:一个面向异构移动机器人的自适应软件框架  CNKI文献

随着现代科学技术的发展,移动机器人的种类日益增多且应用场景变得更加广泛,这导致其上的自适应软件开发产生了极大的需求。然而从软件工程的角度看,当前移动机器人上自适应应用软件开发存在以下两个方面问题: ●...

孙辉 导师:马晓星 南京大学 2014-05-30 硕士论文

关键词: 异构平台 / 应用框架 / 移动机器人 / 规则模型

下载(84)| 被引(0)

安卓应用分析与测试通用支撑工具的设计与实现  CNKI文献

随着安卓移动设备在日常生活的普及,手机智能应用得到了广泛的使用。然而,安卓程序存在的质量问题不仅影响用户体验,还可能带来潜在的安全风险。为了保障应用的质量,当前面向安卓平台的动态的测试与分析技术被广泛地研...

孟占帅 导师:马晓星 南京大学 2018-08-23 硕士论文

关键词: 安卓应用 / 自动测试 / 动态分析 / 框架

下载(56)| 被引(0)

一种支持构件动态更新的中间件系统的设计与实现  CNKI文献

软件在投入运行之后需要通过更新来修正错误、增强功能以适应环境和用户需求的变化。传统软件更新方式需停止系统、安装更新、然后重新启动系统,这对很多关键领域的系统来说是不可接受的。因此软件动态更新就显得尤为...

任国超 导师:马晓星 南京大学 2014-05-20 硕士论文

关键词: 动态构件更新 / 中间件 / 一致性 / 性能评估

下载(42)| 被引(1)

面向动态更新的构件依赖自动管理技术研究  CNKI文献

构件系统的动态更新需要构件间的动态依赖信息来判断构件何时更新才可以保证更新的安全性,而且动态依赖信息越精确,动态更新对系统造成的干扰越小。最近的动态更新技术使用事务运行过程中不断变化的动态依赖实现安全、...

苏萍 导师:马晓星 南京大学 2014-04-15 硕士论文

关键词: 构件系统 / 动态更新 / 动态依赖 / 动态依赖Mealy机

下载(35)| 被引(1)

一个自适应软件应用框架的设计与实现  CNKI文献

自适应软件在周围环境发生改变的时候,能够利用其自适应逻辑来调整自身的行为,确保既定的任务可以完成。这类软件的开发存在一定的难度,主要表现在以下几个方面: ●自适应逻辑的修改不够灵活。自适应逻辑的微小变...

葛海龙 导师:马晓星 南京大学 2012-05-01 硕士论文

关键词: 软件自适应 / 应用框架 / SCAS规则模型 / 异常处理

下载(78)| 被引(3)

一个基于事件的软件动态更新形式化框架  CNKI文献

软件系统的更新是不可避免的。通常这些更新是通过离线方式完成的。离线更新需要先关闭系统,在安装新版本后,重启系统,因此离线更新会给系统带来较长时间的干扰和中断。在例如金融事务处理系统等关键性场景中,服务是不...

安圣威 导师:马晓星 南京大学 2016-05-01 硕士论文

关键词: 软件动态更新 / 形式化方法 / 模型检验

下载(42)| 被引(1)

基于约束求解的云平台配置管理技术研究  CNKI文献

云计算是一种基于互联网的计算方式,通过这种方式,共享的软硬件资源和信息可以按需求提供给计算机各种终端和其他设备。在云计算中,云供应商允许开发者将写好的程序放在其提供的平台当中运行。应用开发者可以方便的部...

王逸群 导师:马晓星 南京大学 2017-05-26 硕士论文

关键词: 云平台 / 软件生产线 / 特征模型 / 约束求解

下载(39)| 被引(0)

一种基于OCL的约束验证框架  CNKI文献

对象约束语言OCL的出现,为精确化模型奠定了基础。而随着模型在软件开发中的地位越来越重要,如何对施加在模型上的OCL约束进行验证从而提高模型的准确性,保证模型的一致性工作显得极其重要。主流的建模工具不支持OCL约...

曹流 导师:马晓星 南京大学 2013-05-15 硕士论文

关键词: EMF / 约束验证 / 代码生成 / MDA

下载(50)| 被引(1)

一种调试时代码动态更新方法  CNKI文献

随着信息技术的不断发展,软件产品被应用到社会的每个角落。在软件开发过程中,保证软件的质量和保持软件的高效对于软件开发人员是一个巨大的挑战。软件质量是通过软件测试和调试来保证的。软件测试和调试是软件开发中...

张同宝 导师:马晓星 南京大学 2015-05-01 硕士论文

关键词: 软件调试 / 代码更新 / 对象迁移器

下载(31)| 被引(0)

一种支持软件动态更新的服务构件架构  CNKI文献

基于构件的软件开发CBSD (Component-Based Software Development)技术被认为是提高软件开发效率和质量的有效途径,并获得广泛的关注与应用,产生了诸多构件模型和构件框架。但随着Internet/WWW逐步演化为开放的计算平...

王姜 导师:马晓星 南京大学 2013-05-20 硕士论文

关键词: 构件模型 / 服务构件架构 / 动态更新 / 系统一致性

下载(34)| 被引(1)

一种基于访问路径和执行索引的堆区对象比较方法  CNKI文献

随着信息技术的高速发展,软件产品被应用到现代生产生活的各个方面。软件产品的广泛应用又反过来推动了软件的设计、开发、维护、分析等技术的发展。其中面向对象相关的语言、技术、思想占了很重要的位置。我们知道很...

刘锐奇 导师:马晓星 南京大学 2016-08-31 硕士论文

关键词: 软件维护 / 执行索引 / 对象分析 / 内存泄漏

下载(15)| 被引(0)

带一致性保障的BPEL服务动态更新技术研究  CNKI文献

随着Internet的飞速发展,服务计算(Service Computing)逐渐成为众人关注的热点。在面向服务体系架构(Service Oriented Architecture,SOA)的开发模式中,服务组合(Service Composition)是满足用户个性化需求,整合在Int...

冯仁君 导师:马晓星 南京大学 2014-07-05 硕士论文

关键词: 服务组合 / 动态演化 / 一致性 / 动态依赖

下载(8)| 被引(0)

一个支持动态演化的服务集成开发环境  CNKI文献

面向服务的架构(SOA)是目前构建开放环境下分布式应用的一种主流范式。在SOA下,服务是开发者进行开发过程中的基本元素,而服务的组合与协同是应用构造的关键。软件体系结构模型和面向过程的BPEL语言是两种较为主流的刻...

匡大虎 导师:马晓星 南京大学 2012-05-01 硕士论文

关键词: 动态演化 / 集成开发环境 / 服务组合

下载(71)| 被引(0)

一种基于断言的软件动态更新技术  CNKI文献

应用程序生命周期中需要不断进行更新,以修复程序中的错误、添加新的功能、适应环境和需求的变化。传统更新方式需关闭应用程序、安装更新、然后重启新版本的应用程序,但很多应用程序需要不间断的运行。软件动态更新不...

谢国珍 导师:马晓星 南京大学 2013-05-22 硕士论文

关键词: 动态更新 / 更新点选择 / 基于约束分析 / 程序断言

下载(27)| 被引(0)

热门学科

时间的形状