马晓星
- 作品数：177 被引量：614H指数：15
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术石油与天然气工程建筑科学经济管理更多>>
- 一种基于移动代理服务器的对象请求装配方法
- 本发明公开了一种基于移动代理服务器的对象请求装配方法，其步骤是：1.输入组调用表和定位表；2.生成表分析对象；3.生成可移动请求代理；4.分析旅行计划，若不为空，则执行步骤5，否则转步骤9；5.根据旅行计划通过代理服务器...
- 吕建陶先平马晓星
- 文献传递
- 一种非确定性分离的web服务器集群伸缩方法
- 本发明的非确定性分离的web服务器集群资源伸缩方法，包括三个步骤：步骤1、构建非确定性分离的系统模型和决策模型，在剥离非确定性的理想环境下，对系统建立精确的数学模型作为系统模型，利用Alloy建模工具得到系统状态转移矩阵...
- 范景新秦逸马晓星
- 一种基于动态UI模型的自动化测试方法
- 本发明公布了一种基于动态UI模型的自动化测试方法，来指导和加速GUI探索过程，在有限的时间内探索更多Android应用GUI状态，提高测试覆盖率的一种自动化测试方法。在初始阶段，会根据界面元素的属性和在GUI树中的结构特...
- 曹春葛红军余萍马晓星
- 文献传递
- 软件开发方法发展回顾与展望被引量：29
- 2019年
- 软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法,以及服务化的方法.而后针对Internet的发展普及以及人机物融合应用对软件开发方法提出的挑战,介绍了网构软件的研究和探索,并展望未来人机物融合的软件方法和技术.
- 马晓星刘譞哲谢冰余萍余萍张天卜磊
- 关键词：软件开发方法
- 一种基于本体的反射式体系结构自演化方法
- 本发明涉及一种基于本体的反射式体系结构自演化方法。软件在投入运行后由于需求的变化或环境的变化导致软件本身结构的需要加以调整以增加新的功能或优化其性能，然而传统的技术需要将软件离线更新维护，不可避免的会造成一定时段的服务不...
- 吕建马晓星黄春
- 文献传递
- 一种基于效用的Web服务组合方法
- 本发明公开了一种基于效用的Web服务组合方法，Web服务提供者首先在Internet上发布符合Web服务标准的资源，Web服务提供者独立管理这些Web服务资源；Web服务请求者对Web服务提供者提出资源请求，Web服务提...
- 曹春吕建马晓星
- 文献传递
- 一种编译器的编译正确性验证方法
- 本发明提供一种编译器的编译正确性验证方法，对每一个种子测试样例，通过匹配语法树节点，选取匹配节点进行节点变异操作，并生成对应的调试指令序列将节点变异的效果还原，从而生成具有执行等价性的变异测试样例。本发明通过增加原始测试...
- 蒋炎岩马晓星李一丁
- 普适环境下基于软件代理虚拟化的应用迁移被引量：5
- 2007年
- 虚拟计算环境中的用户在物理空间的移动要求其相关应用能够在网络空间进行相应的移动.为支持应用的迁移,利用软件代理技术来实现计算网络空间以及其中资源的虚拟化.具体而言,就是结合情境感知技术,利用软件代理本身所具有的自治性和移动性实现应用组件的动态绑定和迁移,进而提出一种基于代理的支持应用迁移的结构模型MDAgent,并实现了相应的原型系统,可为应用的迁移提供移动管理、情境感知、资源匹配和推理机制等多方面的支持.在此基础上开发出若干应用并给出相关性能分析.
- 周宇马晓星曹建农余萍吕建
- 关键词：软件代理普适计算
- 获取访存依赖:并发程序动态分析基础技术综述被引量：11
- 2017年
- 并发错误难触发、难调试、难检测.为应对这一挑战,已有动态程序分析技术通过观测或控制并发程序执行实现其质量保障.由于并发程序不确定性主要来自共享内存,实现其动态分析的基本问题即是获取线程访问共享内存的顺序,即获取访存依赖.提出访存依赖获取技术的综述框架,包含4个评价指标(即时性、准确性、高效性、简化性)、两种方法(在线追踪、离线合成)、两类应用(轨迹分析、并发控制).通过对已有技术的总结和分析框架中的空白,对未来可能的研究方向予以展望.
- 蒋炎岩许畅马晓星吕建
- 关键词：并发多处理器系统
- 一种支持事务一致性的微服务动态更新方法
- 本发明公开一种支持事务一致性的微服务动态更新方法，属于软件维护技术领域，包括以下内容：流量代理的插入以及支持事务一致性的动态更新流程；其中通过采用插入流量代理的方式，对用户请求进行接管，拦截并提取出其中的分布式事务信息，...
- 曹春马晓星王东宇
- 文献传递
