-
公开(公告)号：CN116431518B
公开(公告)日：2023-09-26
申请号：CN202310461957.5
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于仿真平台的多层级、多模式软件故障注入方法，属于嵌入式软件测试领域。本发明通过修改仿真平台来达到故障注入的效果，仿真平台具有可控性强的特点，故障注入灵活、精度高。该方法首先采用虚拟化技术实现仿真平台构建，包括处理器、外设、总线等模型；其次，构建故障注入案例库，包括处理器平台级、接口设备级、通信协议级等层级，统一进行故障案例设计和管理；然后，配置故障注入参数，执行故障注入，包括基于时间、基于PC、基于地址等注入方式；最后，采集故障案例注入后的执行信息，生成代码覆盖率报告。本发明提高嵌入式软件测试充分性，保障软件质量和可靠性。
-
公开(公告)号：CN116431103B
公开(公告)日：2023-09-26
申请号：CN202310462913.4
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种面向嵌入式软件的数字化DevOps平台设计方法，属于嵌入式软件测试领域。本发明在DevOps技术的基础上引入数字化仿真技术，采用数字化仿真技术对嵌入式软件的硬件环境进行仿真，包括处理器、外设、总线等；其次，基于数字化仿真平台实现嵌入式软件开发和测试，包括代码迭代开发、单元测试、配置项测试、运行监测等；最后，构建嵌入式DevOps工作流，将数字化仿真环境作为基础设施集成到DevOps的工具链条中，实现嵌入式软件的自动化编译构建、自动化部署、自动化测试、测试结果采集等。本发明提升了嵌入式软件的开发效率，保证了软件质量，降低了研制成本和周期。
-
公开(公告)号：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代码的生成。基于模型的软件开发方法对我国关键领域的软件开发具有重要意义，实现了从基于模型软件设计到可执行代码生成全过程。
-
公开(公告)号：CN116414430A
公开(公告)日：2023-07-11
申请号：CN202310404013.4
申请日：2023-04-17
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于规则引擎Drools的量化方法，属于面向软件研制过程中的量化管理领域。本发明首先执行基础平台的持续集成业务，依据Drools定义的采集指标收集持续集成各个环节产生的业务数据；其次采集接口运行规则文件，根据规则内容计算产生数据结果；最后业务数据的累计作为量化分析管理的基础，量化过程中可随数据的积累而不断迭代更新，以便高质量地实现质量与过程绩效目标。本发明通过Drools解决了业务维护困难，迭代成本高的问题。相比于其他量化方法，该发明更加灵活高效，同时具备高质量的过程管理方式，针对过程绩效目标地实现具备良好的管控方法。
-
Patent Agency Ranking
公开(公告)号：CN116150005A
公开(公告)日：2023-05-23
申请号：CN202310066963.0
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化验证；通过构建抽象语法树，可将扩展Lustre模型和属性转换为易访问的树型结构，同时完成扩展Lustre模型和属性的语法语义检查；遍历抽象语法树抽取中间模型的同时可完成语言转换；通过语言转换模块可将扩展Lustre语言模型转换为Kind2工具识别的语言格式，从而复用现有成熟的Kind2模型检测器实现形式化验证。该方法主要是利用模型转换方法完成扩展Lustre模型的规则检查和语言转换，从而将扩展Lustre语言的模型形式化验证方法应用于自研OnModel工具。
-
公开(公告)号：CN115480872A
公开(公告)日：2022-12-16
申请号：CN202211114551.1
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种DSP C2812处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本本发明通过对123条指令集的仿真，提供DSP C2812嵌入式处理器软件的运行环境，为DSP C2812嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现DSP C2812处理器的指令集仿真，仿真精度高，仿真执行效率高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真DSP C2812处理器。
-
公开(公告)号：CN115421864A
公开(公告)日：2022-12-02
申请号：CN202211114604.X
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的PowerPC架构处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对飞思卡尔(FreeScale)基于Power Architecture的32位微处理器核心e300、e500、e600，设计一种通用的处理器仿真框架，同时支持多种架构处理器的仿真运行。提供PowerPC处理器嵌入式处理器软件的运行环境，为PowerPC处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现PowerPC指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真PowerPC指令架构处理器。
-
公开(公告)号：CN115421861A
公开(公告)日：2022-12-02
申请号：CN202211114539.0
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的TMS320C55x处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对TMS320C54X系列、TMS320C5509a、TMS320C5515、TMS320VC5535等处理器，解决TMS320C54X系列、TMS320C5509a、TMS320C5515、TMS320VC5535等系列处理器的虚拟化仿真问题。TMS320C55X指令架构共计包含154条指令集，通过对154条指令集的仿真，提供TMS320C55X处理器嵌入式处理器软件的运行环境，为TMS320C55X处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现TMS320C55X指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真TMS320C55X指令架构处理器。
-
公开(公告)号：CN115016843A
公开(公告)日：2022-09-06
申请号：CN202210566686.5
申请日：2022-05-23
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/75
Abstract: 本发明涉及一种高精度的二进制代码相似性比对方法，属于代码比对领域。本发明利用SimHash算法进行比对检索，缩小二进制代码比对的范围，再利用二进制代码特征进行精准的相似性比对，实现二进制代码的快速、精确的比对，为二进制代码溯源、缺陷扫描分析提供支撑，满足不同场景下的二进制代码相似性比对的需求。本发明提出的方案，能够在兼顾对比效率的同时，保证二进制代码相似性比对的效率；本发明提取二进制代码函数特征，能够保证代码相似性比对的精确度；本发明采用基于SimHash的文本对比方法，能够提高二进制代码相似性比对的效率。
-
-
-
-
-
-
-
-
-
Search Results
76
records
(took 0.034 seconds)
