一种构件间动态依赖关系的自动分析方法

技术简介： 本发明公开了一种构件间动态依赖关系的自动分析方法，该方法在程序运行时，能自动计算程序在当前执行环境下精确的动态依赖关系。该方法，在程序运行前，通过静态分析的方法构建程序的动态依赖自…… 查看详细 >

一种基于代码变更的软件模型同步方法

技术简介： 本发明提出的一种基于代码变更的软件模型同步方法，该方法从有变化的代码中将非实质变更、非本质变更、非相关变更的代码过滤出去，获得软件模型相关的变更代码，对软件模型与其相关的变更代码进…… 查看详细 >

OSGi中应用资源加载委派反转机制的模块间资源加载方法

技术简介： 本发明涉及OSGi中应用资源加载委派反转机制的模块间资源加载方法，当移植到OSGi框架中的类库模块需要使用线程上下文类加载器加载位于应用模块中的资源时，在同步机制下，先获取当前线程运行堆栈…… 查看详细 >

动静态结合的中断驱动程序数据竞争检测方法

技术简介： 本发明设计一种动静态结合的中断驱动程序数据竞争检测方法，该方法通过共享资源的检测技术、控制流图生成技术、数据流分析技术、模拟器运行控制技术，利用静态方法来对源程序进行静态分析得到潜…… 查看详细 >

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

技术简介： 本发明公开了一种调试时代码动态更新方法，在软件开发者调试程序时能够立即更新自己代码的方法，包括以下步骤步骤一、软件开发者使用调试器调试代码；步骤二、软件开发者在调试时更改代码并保存…… 查看详细 >

云计算平台中快速部署和更新虚拟环境系统及其方法

技术简介： 本发明公开一种云计算平台中快速部署和更新虚拟环境系统及其方法，用配置文件描述虚拟环境，将配置文件解析为模型，计算模型差异获得操作集合，对操作集合排序后执行，执行过程中使用云计算平台…… 查看详细 >

一种基于抽象语法树节点变更抽取的Python代码变更提示方法

技术简介： 本发明提供一种基于抽象语法树节点变更抽取的Python代码变更提示方法，包括下列步骤：1)获取同一软件不同版本程序的源代码；2)生成两个版本的源程序对应的抽象语法树；3)匹配抽象语法树获取变更…… 查看详细 >

一种显式地进行计算环境描述的方法

技术简介： 本发明公开了一种显式地进行计算环境描述的方法。本发明在运行时基于用户的动作组织环境数据作为上下文的方法，为此，首先部署能对环境要素进行感知和影响的基础设施，以及感知用户动作的服务，…… 查看详细 >

一种自动合成常用循环的摘要并生成程序规约的方法

技术简介： 本发明的自动合成常用循环的摘要并生成程序规约的方法，包括步骤：1.生成待验证程序的抽象语法树；2.分析步骤1生成的抽象语法树来生成程序语句的摘要；3.对步骤2中生成的摘要进行分析生成程序语…… 查看详细 >

一种基于模型转换由QVT‑R语言生成midCore脚本的方法

技术简介： 本发明基于模型转换由QVT‑R代码生成midCore脚本的方法，步骤1对QVT‑R语言进行设计和裁剪；步骤2获取符合步骤1规则面向数据转换的QVT‑R代码；步骤3通过Xtext为QVT‑R语言建模，构建编辑器、解…… 查看详细 >

一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法

技术简介： 一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法，步骤10：根据嵌入式系统的需求说明书分析实体和采用的Theme；步骤11：确定最终的类和实体；步骤12：确定最终的Theme；步骤13：确定时间…… 查看详细 >

一种实时嵌入式系统的仿真方法

技术简介： 本发明提供一种实时嵌入式系统的仿真方法，首先读取XMI文档并将其元素划分为类图元素集合和序列图元素集合。然后将类图元素集合转换为C++代码。在类图的C++代码的基础上，再将序列图元素集合转…… 查看详细 >