一种多触发机制CPS在线建模与检验的方法和装置

技术简介： 本发明公开了一种多触发机制CPS在线建模与检验的方法和装置。本发明通过指令变更指令执行时，总是在执行前指令变更提前时间A时间内发出指令变更预告信息，然后在执行在线验证时按时间周期D执行…… 查看详细 >

一种智能家居物联网系统验证与修复的方法和装置

技术简介： 本发明公开了一种智能家居物联网系统验证与修复的方法和装置。本发明通过智能家居设备描述信息和IFTTT规则构建混成自动机模型，然后通过对混成自动机模型的路径分析，找出可能到达系统不安全的…… 查看详细 >

一种基于IFML的Android开发建模方法

技术简介： 一种基于IFML的Android开发建模方法，包括如下步骤：1)当IFML针对移动平台进行扩展，基于移动平台的扩展需要首先针对Android平台进行扩展，确定并抽象出Android平台应用的整体运行流程；2)使用…… 查看详细 >

一种基于文档的库函数的代码模型的自动合成方法

技术简介： 本发明的基于文档的库函数的代码模型的自动合成方法，包括步骤1.从文档中抽取有用信息；2.使用自然语言处理工具生成句子的语法树；3.对步骤2中生成的语法树进行结构上的变换生成多个语法树的变…… 查看详细 >

一种基于API文档的约束自动生成方法

技术简介： 本发明公开了一种基于API文档的约束自动生成方法，包括如下步骤首先输入一个URL；提取网页中类和函数的文字描述；对提取的句子进行一定的分析；然后使用NLP技术为每个句子生成一个树结构；识别…… 查看详细 >

一种由转换原语生成Spark代码的方法

技术简介： 本发明公开了一种由转换原语生成Spark代码的方法，包括步骤步骤10设计表示数据模型变换的转换原语语法；步骤11输入一个数据模型变换的原语文件，作为代码转换器的输入文件；步骤12利用Xtext实现…… 查看详细 >

一种中断驱动系统程序生成和分析方法

技术简介： 本发明公开了一种中断驱动系统程序生成和分析方法，包括以下步骤获取中断驱动系统设计数据；根据中断驱动系统设计数据建立中断驱动系统模型；根据中断驱动系统模型导出代码框架，所述代码框架包…… 查看详细 >

一种上下文一致性检测与修复系统及检验方法与平台

技术简介： 本说明书公开了一种上下文一致性检测与修复系统及检验方法与平台。平台布设有传感器，并通过控制物理设备在其中测试。平台能够利用传感器实时不间断地采集环境上下文信息，通过一致性检测与修复…… 查看详细 >

一种基于IFML的iOS开发建模方法

技术简介： 本发明基于IFML的iOS开发建模方法，步骤一、IFML基于移动平台的拓展进一步针对iOS平台进行拓展，确定并抽象出iOS平台应用的整体运行流程；步骤二、使用交互流建模语言IFML针对移动平台的扩展，…… 查看详细 >

一种基于事务的构件在线演化方法

技术简介： 本发明公开了一种基于事务的构件在线演化方法，该方法通过扩展现有构件容器，增加演化管理器、通信器、依赖管理器以及事务管理器等部件，在此基础上建立起基于多构件事务状态的构件演化管理方法…… 查看详细 >

一种基于字节码文件重构的Java类在线更新方法

技术简介： 本发明公开了一种基于字节码文件重构的Java类在线更新方法，该方法在对Java程序进行动态更新时对二进制文件进行分析、重构，结合一种新的VM动态加载类机制，以减少运行时刻动态更新对机器码的重…… 查看详细 >

一种基于Java虚拟机的延时动态对象更新方法

技术简介： 本发明公开了一种基于Java虚拟机的低中断延时动态对象更新方法，包含如下步骤：1)在动态更新中断时刻，加载新类替换旧类；将旧类元数据设置为非法状态；2）如果新类对象空间增大，则创建辅助的…… 查看详细 >