-
公开(公告)号：CN118132356A
公开(公告)日：2024-06-04
申请号：CN202410260262.5
申请日：2024-03-07
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种面向接口测试的嵌入式软件交互模型描述方法，属于嵌入式软件接口测试技术领域。该方法通过定义软件交互模型元素及规范，形成软件交互模型文档规范，支持软件交互模型文档配置及有效性校验，可以为嵌入式软件接口测试数据实时反馈应答处理提供基于配置的解决方案。
-
公开(公告)号：CN116126304B
公开(公告)日：2023-12-22
申请号：CN202310142370.8
申请日：2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于XML的扩展Lustre代码生成方法，属于软件开发工具领域。本发明首先对扩展Lustre语言文法规则进行模块拆解，实现文法中关键词的解耦；定义模型持久化文件中的标签与扩展Lustre语言之间的映射关系；通过调用jdom2工具对模型持久化文件中的标签结构进行读取遍历，并按照文法关键词解耦结果设计对应的标签解析规则；按照解析规则将解析得到的标签生成对应扩展Lustre关键词，最终完成对整个模型持久化文件到扩展Lustre语言的代码生成过程。本发明为航天领域基于模型的软件开发工具开发过程中模型代码生成这一关键环节提供解决办法。
-
公开(公告)号：CN116150005B
公开(公告)日：2023-11-28
申请号：CN202310066963.0
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化验证；通过构建抽象语法树，可将扩展Lustre模型和属性转换为易访问的树型结构，同时完成扩展Lustre模型和属性的语法语义检查；遍历抽象语法树抽取中间模型的同时可完成语言转换；通过语言转换模块可将扩展Lustre语言模型转换为Kind2工具识别的语言格式，从而复用现有成熟的Kind2模型检测器实现形式化验证。该方法主要是利用模型转换方法完成扩展Lustre模型的规则检查和语言转换，从而将扩展Lustre语言的模型形式化验证方法应用于自研OnModel工具。(56)对比文件美剧之神.JKind入门（一）简单介绍和使用.https://blog.csdn.net/M1170780140/article/details/129831841.2023,全文.
-
公开(公告)号：CN116401018A
公开(公告)日：2023-07-07
申请号：CN202310396587.1
申请日：2023-04-14
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于通用计算平台的嵌入式软件仿真目标机构建方法，属于仿真技术领域。本发明通过仿真嵌入式系统专用硬件接口或总线设备，无需采购研制专用目标机或专用硬件接口设备，仅仅基于普通商用计算机平台，甚至虚拟机技术平台即可完成嵌入式软件仿真运行环境构建。本发明可用于支持嵌入式系统软硬件协同开发和测试。基于嵌入式软件仿真目标机，无需等待硬件平台研制完成，即可开始嵌入式软件设计、开发、测试和验证，从而提高嵌入式软件质量和开发效率。本发明还可用于支持嵌入式软件故障测试。
-
公开(公告)号：CN116149624A
公开(公告)日：2023-05-23
申请号：CN202310185399.4
申请日：2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于扩展Lustre语言的模型度量方法，属于软件度量领域。本发明根据扩展Lustre语言设计了模型结构树，通过可视化建模可生成工程对应的模型结构树；设计了预定义的度量元，包括模型对象度量、操作符对象度量、包对象度量以及状态机对象度量等四个方面，并根据度量元设计了度量元数据字典；根据不同的度量元设计不同的度量值计算方式；在OnModel建模平台中成功增加了基于扩展Lustre语言的模型度量模块，并通过表格进行度量结果展示。本发明基于扩展Lustre语言结构进行模型度量，该方法根据扩展Lustre语言设计了模型结构树以及预定义的度量元，针对不同的度量元设计了不同的度量值计算方式，最终实现了在OnModel建模平台中应用模型度量，并展示度量结果。
-
Patent Agency Ranking
公开(公告)号：CN116126304A
公开(公告)日：2023-05-16
申请号：CN202310142370.8
申请日：2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于XML的扩展Lustre代码生成方法，属于软件开发工具领域。本发明首先对扩展Lustre语言文法规则进行模块拆解，实现文法中关键词的解耦；定义模型持久化文件中的标签与扩展Lustre语言之间的映射关系；通过调用jdom2工具对模型持久化文件中的标签结构进行读取遍历，并按照文法关键词解耦结果设计对应的标签解析规则；按照解析规则将解析得到的标签生成对应扩展Lustre关键词，最终完成对整个模型持久化文件到扩展Lustre语言的代码生成过程。本发明为航天领域基于模型的软件开发工具开发过程中模型代码生成这一关键环节提供解决办法。
-
公开(公告)号：CN115964033A
公开(公告)日：2023-04-14
申请号：CN202310084136.4
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于模型的可视化软件开发工具实现方法，属于软件系统领域。本发明提出一种基于模型的可视化软件开发工具OnModel，本发明的工具通过扩展Lustre语言、文法设计、元模型设计为模型元素提供理论支撑和约束；以Vue3作为基础开发框架，通过Antv/X6图形编辑器、qasar多功能框架、Electron多平台开发框架等纯前端工具实现建模元素和工具界面；之后生成模型所对应的Lustre代码作为中间语言文件；最后通过调用清华王生原老师团队工具L2C实现可运行C代码的生成。基于模型的软件开发方法对我国关键领域的软件开发具有重要意义，实现了从基于模型软件设计到可执行代码生成全过程。
-
公开(公告)号：CN109491709B
公开(公告)日：2021-07-02
申请号：CN201811270187.1
申请日：2018-10-29
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于AHP与神经网络的软件代码可控度综合评价方法，涉及软件代码可控度评价技术领域。本发明给出了合理的软件代码可控性度量模型，并提出了用层次分析法获取权重作为神经网络输入的软件代码可控性综合评价模型，解决了复杂系统建模时,由于影响因素过多,把它们都作为神经网络的输入,会增加网络的复杂度,降低网络性能,影响计算准确度的问题。工程实例应用的结果表明，本发明针对复杂软件代码，采用层次分析和神经网络相结合的可控度评价结果是可信的、有效的。
-
公开(公告)号：CN110716874A
公开(公告)日：2020-01-21
申请号：CN201910909108.5
申请日：2019-09-25
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种国产操作系统硬件兼容性测试方法，其特征在于，包括：构建操作系统内核知识库；向知识库中添加驱动程序动态依赖项；静态扫描驱动程序文件，得到运行所需的内核信息；进行依赖要素比对，若比对时发现主版本号不一致，则操作系统与驱动程序判定为不兼容；在知识库中查找驱动程序名称以及内核版本号和静态扫描得到的驱动程序名称以及内核版本号一致的项，判断操作系统兼容性；从知识库里找到的该一致的项中提取源码层面的信息，分别与静态扫描得到的驱动程序调用的头文件源码、导出函数和结构体声明进行比对，导出函数或者结构体声明信息的顺序依次进行，并得出比对的结果；给出操作系统硬件兼容性以及测试报告。
-
公开(公告)号：CN110569629A
公开(公告)日：2019-12-13
申请号：CN201910853284.1
申请日：2019-09-10
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明提出了一种二进制代码文件溯源方法，该方法通过反汇编生成汇编代码，然后基于汇编指令生成二进制文件的Simhash特征值，最后结合倒排索引方法和Simhash汉明距离计算，实现二进制代码文件相似性比对，并最终完成二进制代码文件溯源。该方法具有较好的时间和空间复杂度，能够满足在海量代码库中进行二进制代码文件快速溯源分析的要求，具有较高的准确率和召回率。
-
-
-
-
-
-
-
-
-
Search Results
41
records
(took 0.049 seconds)
