-
公开(公告)号：CN116149624B
公开(公告)日：2023-09-26
申请号：CN202310185399.4
申请日：2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于扩展Lustre语言的模型度量方法，属于软件度量领域。本发明根据扩展Lustre语言设计了模型结构树，通过可视化建模可生成工程对应的模型结构树；设计了预定义的度量元，包括模型对象度量、操作符对象度量、包对象度量以及状态机对象度量等四个方面，并根据度量元设计了度量元数据字典；根据不同的度量元设计不同的度量值计算方式；在OnModel建模平台中成功增加了基于扩展Lustre语言的模型度量模块，并通过表格进行度量结果展示。本发明基于扩展Lustre语言结构进行模型度量，该方法根据扩展Lustre语言设计了模型结构树以及预定义的度量元，针对不同的度量元设计了不同的度量值计算方式，最终实现了在OnModel建模平台中应用模型度量，并展示度量结果。
-
公开(公告)号：CN115964033B
公开(公告)日：2023-09-26
申请号：CN202310084136.4
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于模型的可视化软件开发工具实现方法，属于软件系统领域。本发明提出一种基于模型的可视化软件开发工具OnModel，本发明的工具通过扩展Lustre语言、文法设计、元模型设计为模型元素提供理论支撑和约束；以Vue3作为基础开发框架，通过Antv/X6图形编辑器、qasar多功能框架、Electron多平台开发框架等纯前端工具实现建模元素和工具界面；之后生成模型所对应的Lustre代码作为中间语言文件；最后通过调用清华王生原老师团队工具L2C实现可运行C代码的生成。基于模型的软件开发方法对我国关键领域的软件开发具有重要意义，实现了从基于模型软件设计到可执行代码生成全过程。
-
公开(公告)号：CN110716874B
公开(公告)日：2023-08-22
申请号：CN201910909108.5
申请日：2019-09-25
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种国产操作系统硬件兼容性测试方法，其特征在于，包括：构建操作系统内核知识库；向知识库中添加驱动程序动态依赖项；静态扫描驱动程序文件，得到运行所需的内核信息；进行依赖要素比对，若比对时发现主版本号不一致，则操作系统与驱动程序判定为不兼容；在知识库中查找驱动程序名称以及内核版本号和静态扫描得到的驱动程序名称以及内核版本号一致的项，判断操作系统兼容性；从知识库里找到的该一致的项中提取源码层面的信息，分别与静态扫描得到的驱动程序调用的头文件源码、导出函数和结构体声明进行比对，导出函数或者结构体声明信息的顺序依次进行，并得出比对的结果；给出操作系统硬件兼容性以及测试报告。
-
公开(公告)号：CN116150005A
公开(公告)日：2023-05-23
申请号：CN202310066963.0
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化验证；通过构建抽象语法树，可将扩展Lustre模型和属性转换为易访问的树型结构，同时完成扩展Lustre模型和属性的语法语义检查；遍历抽象语法树抽取中间模型的同时可完成语言转换；通过语言转换模块可将扩展Lustre语言模型转换为Kind2工具识别的语言格式，从而复用现有成熟的Kind2模型检测器实现形式化验证。该方法主要是利用模型转换方法完成扩展Lustre模型的规则检查和语言转换，从而将扩展Lustre语言的模型形式化验证方法应用于自研OnModel工具。
-
公开(公告)号：CN114995880A
公开(公告)日：2022-09-02
申请号：CN202210566698.8
申请日：2022-05-23
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/75
Abstract: 本发明涉及一种基于SimHash的二进制代码相似性比对方法，属于代码比对领域。本发明对二进制代码反汇编及汇编代码预处理，对汇编代码标准化处理，计算汇编代码SimHash值，构建代码特征关系库构架，基于文本相似性的二进制代码快速定位。本发明具有以下优点：本发明提出的方案，能够在兼顾对比效率的同时，保证二进制代码相似性比对的效率；本发明采用基于SimHash的文本对比方法，能够提高二进制代码相似性比对的效率。
-
Patent Agency Ranking
公开(公告)号：CN113609024A
公开(公告)日：2021-11-05
申请号：CN202110941241.6
申请日：2021-08-17
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于反射技术的嵌入式软件闭环测试方法，涉及嵌入式软件闭环测试技术领域。该测试方法通过定义通信协议规约表达方式，进行通信协议规约配置，提出通信命令解析规约方法和通信数据响应模块动态加载调用方法，完成了测试过程中通信数据闭环响应。该测试方法可作为嵌入式软件仿真测试的基础支撑技术，能够提高嵌入式软件仿真测试的有效性、全面性、真实性。
-
公开(公告)号：CN109445834B
公开(公告)日：2021-04-30
申请号：CN201811273830.6
申请日：2018-10-30
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/70
Abstract: 本发明涉及一种基于抽象语法树的程序代码相似性快速比较方法，涉及代码复用技术领域。本发明的基于抽象语法树的程序代码相似性快速比较方法，该方法通过构造程序抽象语法树，然后基于抽象语法树提取程序代码特征，并将代码特征哈希化，最后通过计算代码特征哈希值的汉明距离进行代码相似性的判定。该方法以程序代码抽象语法树为比较对象，同时结合Simhash与倒排索引技术，将程序代码的相似性比较转化成代码特征哈希值的比较。在保证高准确率和召回率的前提下，这种方法不仅能够实现程序代码的快速相似性比较，而且还能够满足针对海量代码进行快速相似性比较的需要。该方法具有较好的时间和空间复杂度，能够适应针对海量代码的相似性比较应用场景，从而为软件代码复用及溯源提供支持手段。
-
公开(公告)号：CN110716873A
公开(公告)日：2020-01-21
申请号：CN201910903233.5
申请日：2019-09-24
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种硬件兼容性知识库构建方法，涉及硬件兼容性测试技术领域。本发明基于对驱动模块在操作系统中运行的原理以及操作系统内核导出信息的分析，总结了硬件的驱动模块运行在操作系统上所需的依赖要素，创建硬件兼容性知识库并在知识库中添加内核信息、运行依赖要素信息的知识项；通过在硬件设备运行过程中对其驱动模块的运行过程进行监控，得到其驱动模块的接口调用信息并存入知识库，形成设备信息、驱动模块、内核版本信息、接口调用信息的知识项。该方法能够为国产操作系统的硬件兼容性提供测试手段以及必要的测试信息，实现国产操作系统升级后在没有硬件设备的情况下进行硬件兼容性测试，有利于推动国产操作系统的兼容性测试技术发展。
-
公开(公告)号：CN119829428A
公开(公告)日：2025-04-15
申请号：CN202411812494.3
申请日：2024-12-10
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/3668 , G06F11/3698 , G06F9/455
Abstract: 本发明涉及一种基于虚拟机的嵌入式软件仿真测试环境构建方法，属于嵌入式软件测试技术领域。该方法通过增加接口适配层和网络通信层，替换底层具体专用硬件接口设备或总线的驱动程序，将具体专用硬件接口设备或总线的操作重定向成网络通信操作，实现嵌入式软件虚拟机环境部署；通过仿真设备替代外部真实交联设备或系统，为嵌入式软件运行提供激励或响应数据，同时接收嵌入式软件输出数据，并根据输出数据进行实时自动应答，保证嵌入式软件不间断运行；通过测试驱动器，集中管理外部仿真设备，并按照业务流程测试调度仿真设备，协同完成嵌入式软件自动化测试。
-
公开(公告)号：CN118132430A
公开(公告)日：2024-06-04
申请号：CN202410282211.2
申请日：2024-03-13
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种面向接口测试的嵌入式软件命令帧自动应答方法，属于嵌入式软件接口测试技术领域。该方法通过定义软件交互模型元素及规范，形成软件交互模型文档规范；基于软件交互模型文档规范，配置软件交互模型文档，构建软件交互模型和命令帧应答处理器，完成了嵌入式软件输出请求命令的实时自动应答处理，提高了嵌入式软件测试的有效性和充分性。
-
-
-
-
-
-
-
-
-
Search Results
41
records
(took 0.041 seconds)
