-
公开(公告)号：CN111488276B
公开(公告)日：2021-07-27
申请号：CN202010265596.3
申请日：2020-04-07
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明涉及一种基于代码跟踪的软件可靠性测试方法和装置，属于软件测试技术领域，解决了现有技术中缺少代码跟踪，以及静态信息提取比较不适合检测模型与代码的一致性的问题。方法包括：进行可靠性策略模型到代码的跟踪以获得可靠性策略代码，其中，跟踪包括定位和映射；基于可靠性策略代码插桩获得Log文件，其中，Log文件包括可靠性策略代码的执行路径信息；基于Log文件构建代码LTS；构建可靠性策略UML时序图模型；将可靠性策略UML时序图模型转换为模型LTS；提取代码LTS的分支路径作为代码路径，并提取模型LTS的所有分支路径作为模型路径；以及判断模型路径与代码路径是否匹配。实现代码跟踪和准确的模型与代码的动态一致性检验方法。
-
公开(公告)号：CN112947995A
公开(公告)日：2021-06-11
申请号：CN202110235012.2
申请日：2021-03-03
申请人： 北京航空航天大学
IPC分类号： G06F8/77
摘要： 本发明涉及一种Java项目的体系结构策略定位方法及系统，属于软件体系结构策略代码定位领域，解决了现有软件体系结构策略代码定位效率低下的问题。一种Java项目的体系结构策略定位方法，包括如下步骤：提取Java项目中所有Java方法的特征文本；处理所述特征文本，得到对应的特征向量；确定要定位的体系结构策略类型，将每一Java方法对应的特征向量输入至对应于所述体系结构策略类型的体系结构策略模型，得到对应于所述体系结构策略类型的Java方法所属的切点方法类型；基于所述所属的切点方法类型，在所述Java项目中定位所述对应于所述体系结构策略类型的Java方法。该方法能够提高软件体系结构策略代码定位的效率。
-
公开(公告)号：CN111695805A
公开(公告)日：2020-09-22
申请号：CN202010524141.9
申请日：2020-06-10
申请人： 北京航空航天大学
摘要： 本发明涉及一种面向法律合同的智能合约模型构建方法及系统，属于面向法律合同的区块链智能合约技术领域，解决了现有智能合约模型构建过程中存在的沟通成本高、开发效率低、合约正确性和安全性难以保障的问题。方法步骤为：基于目标法律合同的类型，生成匹配于目标法律合同的合同模型模板和合同性质模板；获取用户对合同模型模板的参数设定结果，并利用参数设定结果配置所述合同模型模板，生成初始智能合约模型；利用参数设定结果配置合同性质模板，得到初始智能合约模型的合同性质集合；验证初始智能合约模型是否满足合同性质，若满足，则验证通过，将验证通过的所述初始智能合约模型作为构建的智能合约模型。
-
公开(公告)号：CN111475415A
公开(公告)日：2020-07-31
申请号：CN202010265739.0
申请日：2020-04-07
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明涉及一种可靠性策略模型与代码的一致性检测方法和装置，属于软件测试技术领域，解决了现有静态信息提取比较不适合检测模型与代码的一致性的问题。方法包括：构建可靠性策略UML时序图模型；将可靠性策略UML时序图模型转换为模型LTS；进行可靠性策略模型到代码的跟踪以获得可靠性策略代码；基于可靠性策略代码插桩获得Log文件，Log文件包括可靠性策略代码的执行路径信息；基于Log文件构建代码LTS；提取模型LTS的所有分支路径作为模型路径，并提取代码LTS的分支路径作为代码路径；以及检测模型路径与代码路径之间的一致性；当代码路径的数量大于等于最小代码路径的数量时，确定一致性的检测结果准确。实现准确的模型与代码的动态一致性检验方法。
-
公开(公告)号：CN106815876B
公开(公告)日：2019-08-02
申请号：CN201611252617.8
申请日：2016-12-30
IPC分类号： G06T9/00
摘要： 图像稀疏表征多字典学习联合优化训练方法，属于多媒体通信和图像数据处理领域，其特征在于，把训练用图像单元的梯度矩阵经奇异值分解后的奇异值矩阵中的非零元素视作对应梯度方向的能量值，根据设定的能量值参数门限把图像单元分为各项同性图像和各项异性图像，依次学习共享字典和专门化字典，用一个反映经稀疏表征后的各向同性和各向异性图像的残差，各字典的自相关和互相关程度以及非零元素正则化等因素最小化的目标函数予以优化，在优化过程中，依次用正交匹配追踪算法优化A0,Ak,再用梯度下降算法优化D0,Dk,在保留欲优化参数时，其他不涉及欲优化参数的项视为常数。本发明用于图像压缩时，细节保留好，失真率较低，图像品质相对较好。
-
公开(公告)号：CN117492712A
公开(公告)日：2024-02-02
申请号：CN202311465956.4
申请日：2023-11-06
申请人： 北京航空航天大学
摘要： 本发明涉及一种可复用的嵌入式软件架构建模方法和系统，属于嵌入式软件开发技术领域，解决了现有技术中嵌入式软件架构建模容易出错建模效率低的问题。方法包括以下步骤：构建嵌入式软件的功能函数库和模块库，基于构建的功能函数库和模块库构建嵌入式软件的可视化架构模型；根据所述嵌入式软件的可视化架构模型生成所述嵌入式软件对应的AADL代码；对所述AADL代码进行校验，若校验通过则得到最终的嵌入式软件的架构模型。实现了快速高效的嵌入式软件架构建模。
-
公开(公告)号：CN115248766A
公开(公告)日：2022-10-28
申请号：CN202110455003.4
申请日：2021-04-26
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明涉及一种基于体系结构策略的软件运行时验证方法，属于软件系统运行时验证领域，解决了现有技术无法简单、高效地实现基于体系结构策略的软件运行时验证的问题。该方法包括以下步骤：基于待验证软件项目中包含的体系结构策略，生成策略配置文件；基于策略配置文件及体系结构策略逻辑库，生成Java MOP文件；其中，体系结构策略逻辑库包括至少一种体系结构策略的形式化逻辑规则；基于Java MOP文件，得到监测器；并利用监测器对待验证软件项目进行运行时验证。方法应用过程中，用户可根据待验证软件项目的具体内容配置策略配置文件、然后即可生成相应的Java MOP文件，避免了对Java MOP文件的反复修改，无需了解Java MOP文件的复杂语法，方法简单、高效。
-
公开(公告)号：CN111475415B
公开(公告)日：2021-07-27
申请号：CN202010265739.0
申请日：2020-04-07
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明涉及一种可靠性策略模型与代码的一致性检测方法和装置，属于软件测试技术领域，解决了现有静态信息提取比较不适合检测模型与代码的一致性的问题。方法包括：构建可靠性策略UML时序图模型；将可靠性策略UML时序图模型转换为模型LTS；进行可靠性策略模型到代码的跟踪以获得可靠性策略代码；基于可靠性策略代码插桩获得Log文件，Log文件包括可靠性策略代码的执行路径信息；基于Log文件构建代码LTS；提取模型LTS的所有分支路径作为模型路径，并提取代码LTS的分支路径作为代码路径；以及检测模型路径与代码路径之间的一致性；当代码路径的数量大于等于最小代码路径的数量时，确定一致性的检测结果准确。实现准确的模型与代码的动态一致性检验方法。
-
公开(公告)号：CN118733019A
公开(公告)日：2024-10-01
申请号：CN202410846892.0
申请日：2024-06-27
申请人： 北京航空航天大学
摘要： 本公开提供一种基于模型驱动方法的嵌入式软件代码合成方法。首先建立对软件设计文档执行操作系统特征信息的提取过程；进而为不同的目标操作系统构建代码生成的操作系统封装模板并形成进程代码；以所述操作系统封装模板为基础构建操作系统封装代码合成工具；进而由代码合成工具来生成操作系统相关的封装代码；最后由所述代码合成工具将封装代码与业务代码合成为完整的飞控软件应用程序；方案将与操作系统相关的特征信息提取出来，与代码生成的核心逻辑分离，作为一套单独的操作系统封装模板类，并以这些操作系统封装模板类为基础实现了一种基于模型驱动方法的嵌入式软件代码合成方法。
-
公开(公告)号：CN118113268A
公开(公告)日：2024-05-31
申请号：CN202410229244.0
申请日：2024-02-29
申请人： 北京航空航天大学
摘要： 本发明涉及一种并行语义增强的优化设计工作流协同建模及仿真方法，属于系统建模仿真领域。该方法包括以下步骤：对计算无关模型建模语言进行扩展，基于扩展后的计算无关模型建模语言构建初始工作流模型；对平台无关模型建模语言进行扩展，建立语义映射规则，基于扩展后的平台无关模型建模语言与所述语义映射规则对所述初始工作流模型进行自动优化得到优化的工作流模型；对所述优化的工作流模型进行自动部署实现仿真。该方法通过对建模语言增加并行语义支持构建复杂的并行工作流模型，通过语义映射规则支持对工作流模型的自动优化，通过BPMN映射规则对工作流模型进行自动部署实现仿真，提高了建模效率及模型的计算性能。
-
-
-
-
-
-
-
-
-
搜索结果
34 条记录 (耗时 0.031 秒)