-
公开(公告)号：CN111124884B
公开(公告)日：2021-10-26
申请号：CN201911142767.7
申请日：2019-11-20
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种基于遗传算法的多故障解耦和故障定位方法，包括：根据失效用例集构建初始失效用例特征向量矩阵；计算每一个候选解的适应度，并按照适应度大小对候选解进行降序排序；对n+1个候选解进行n+1次抽样，选出n+1个样本；基于n+1个样本进行交叉和变异操作，得到新的n+1个候选解，若迭代轮数大于N1或样本中具有最大适应度的候选解连续N2轮不变，则算法终止，得到具有最大适应度的候选解；将最大适应度的候选解所对应的失效用例修改为通过，并利用故障定位算法进行定位，得到最终的定位结果。本发明公开提供的基于遗传算法的多故障解耦和故障定位方法，提高了故障定位算法在多故障环境下的定位效率。
-
公开(公告)号：CN110659207B
公开(公告)日：2020-09-08
申请号：CN201910824735.9
申请日：2019-09-02
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种基于核谱映射迁移集成的异构跨项目软件缺陷预测方法，包括基于过抽样的非平衡学习过程对源数据进行预处理；所述源数据为软件项目的历史缺陷数据；根据所述源数据与目标数据分布的差异信息，以及谱映射造成的信息损失，构建目标函数；所述目标数据为待预测的异构跨项目软件；通过多核学习把原始空间映射到多个高维空间，在每个高维空间上对所述目标函数进行最优化以寻找最优公共子空间，在每个公共子空间上训练一个分类器；利用集成学习把所有所述分类器进行综合集成，生成预测模型；根据所述预测模型预测所述目标数据的标签。该方法具有较高的缺陷预测准确率，有利于提高软件测试的工作效率。
-
公开(公告)号：CN110659207A
公开(公告)日：2020-01-07
申请号：CN201910824735.9
申请日：2019-09-02
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种基于核谱映射迁移集成的异构跨项目软件缺陷预测方法，包括基于过抽样的非平衡学习过程对源数据进行预处理；所述源数据为软件项目的历史缺陷数据；根据所述源数据与目标数据分布的差异信息，以及谱映射造成的信息损失，构建目标函数；所述目标数据为待预测的异构跨项目软件；通过多核学习把原始空间映射到多个高维空间，在每个高维空间上对所述目标函数进行最优化以寻找最优公共子空间，在每个公共子空间上训练一个分类器；利用集成学习把所有所述分类器进行综合集成，生成预测模型；根据所述预测模型预测所述目标数据的标签。该方法具有较高的缺陷预测准确率，有利于提高软件测试的工作效率。
-
公开(公告)号：CN108009074A
公开(公告)日：2018-05-08
申请号：CN201711192032.6
申请日：2017-11-24
Applicant: 北京航空航天大学
IPC: G06F11/34
Abstract: 本发明公开了一种基于模型和动态分析的多核系统实时性评估方法，属于嵌入式多核系统实时性评估技术领域；该方法首先获得嵌入式多核系统的资源参数，明确任务的产生方式，对共享资源SoC片上的BUS的使用状态，及任务对共享资源使用状态相互之间的关系。然后建立petri-net模型，计算模拟cache命中率。总线空闲时接收任务访问，总线忙碌时说明有任务在占用资源并且和资源同步处于该状态；任务读入的时间服从参数为λ的指数分布；任务隐式通信的时间长度是固定的，隐式通信的次数服从参数a,b的均匀分布。最后在设定的时间内运行模型，在运行过后进行实时性分析。本发明实时性评估结果更符合真实运行中的情况，客观化、直观化的给出多核IMA任务的执行模型。
-
公开(公告)号：CN106650945A
公开(公告)日：2017-05-10
申请号：CN201611009821.7
申请日：2016-11-16
Applicant: 北京航空航天大学
Abstract: 本发明公开了一种基于证据合成理论的软件体系结构安全性评估方法，属于软件安全性评估技术领域；首先构建该某个软件系统的体系结构模型，对构件涉及的安全性要素进行模糊数学化表述，然后利用软件体系结构分析方法，得到构件的转移概率和运行路径在整个系统中的转移概率，进而利用Dempster‑Shafer(D‑S)证据合成理论，结合软件运行路径的使用权重，对构件进行安全性合成，得到每个构件的安全等级评估结果，从而计算运行路径的安全等级评估结果以及系统的安全性等级评估结果；本发明利用遵循自底向上的软件工程分析方法，实现对软件系统动态的安全性分析和评估。
-
Patent Agency Ranking
公开(公告)号：CN104298593A
公开(公告)日：2015-01-21
申请号：CN201410490283.2
申请日：2014-09-23
Applicant: 北京航空航天大学
IPC: G06F11/36
Abstract: 一种基于复杂网络理论的SOA系统可靠性分析方法，它有四大步骤，属于复杂系统可靠性技术领域；其目的是针对SOA系统结构功能复杂，以及传统可靠性分析方法的实施存在困难甚至无法实施，提出一套可以有效分析SOA这一复杂系统可靠性的方法论。方法的特征是：创新地结合复杂网络理论，将SOA系统中的各对象以及对象之间的相互作用抽象为复杂网络中的节点和连边，建立复杂网络失效模型；并提出了针对SOA系统的级联失效模型，在此基础上利用蒙特卡洛仿真实验完成可靠性分析工作，发现影响系统可靠性的关键软件和脆弱结构。该方法不受系统规模限制，系统规模的增大不会显著提高方法计算复杂度；物理意义清晰，易于工程人员操作实施。
-
公开(公告)号：CN117389879A
公开(公告)日：2024-01-12
申请号：CN202311341171.6
申请日：2023-10-17
Applicant: 北京航空航天大学
IPC: G06F11/36 , G06F18/22 , G06F18/2113 , G06F18/24 , G06F18/214 , G06N5/04
Abstract: 本发明涉及一种基于原子关联规则网络的软件缺陷预测方法及系统，属于软件缺陷预测技术领域，解决现有未从全局推理角度对软件缺陷规则剪枝而导致预测结果不准确的问题。该方法包括：将历史软件缺陷数据预处理为事务数据后，根据关联规则算法和提升度提取原子关联规则；分别以有缺陷标签和无缺陷标签作为目标节点，根据原子关联规则的相关系数构建两个加权关联规则网络；识别出加权关联规则网络中的矛盾节点对，基于最短路径算法迭代删除矛盾节点对间的矛盾路径，得到剪枝后的加权关联规则网络，提取出两类缺陷预测规则集合；根据待预测的软件缺陷数据匹配的缺陷预测规则的相关系数，得到软件缺陷预测结果。实现了准确预测软件缺陷。
-
公开(公告)号：CN117389878A
公开(公告)日：2024-01-12
申请号：CN202311341170.1
申请日：2023-10-17
Applicant: 北京航空航天大学
IPC: G06F11/36 , G06F18/22 , G06F18/24 , G06F18/2113 , G06N5/02
Abstract: 本发明涉及一种基于相关系数和互信息加权的软件缺陷预测方法及系统，属于软件缺陷预测技术领域，解决了现有技术中因数据分布倾斜和特征加权不精细而导致软件缺陷预测不准确的问题。方法包括：将历史软件缺陷数据预处理为事务数据，对每条事务数据生成长度递增的候选项集，当候选项集的加权支持度大于等于候选项集所属类别的支持度阈值时，作为对应长度的频繁项集，迭代直至达到结束条件；根据最小增值阈值，生成后件长度为1的类关联规则；根据类关联规则的增值，去除冗余和矛盾的类关联规则得到软件缺陷预测规则；将待预测的软件缺陷数据与软件缺陷预测规则进行匹配，根据匹配的软件缺陷预测规则的增值得到预测结果。实现了准确预测软件缺陷。
-
公开(公告)号：CN117112851A
公开(公告)日：2023-11-24
申请号：CN202311381385.6
申请日：2023-10-24
Applicant: 北京航空航天大学
IPC: G06F16/903 , G06F18/214 , G06F18/22 , G06F16/33 , G06F8/20 , G06N3/0455 , G06N3/0499 , G06N3/084
Abstract: 本发明公开了一种基于后交互机制的代码搜索方法，步骤包括：获取训练数据，所述训练数据包括代码数据和对应自然语言注释的文本数据；初始化模型参数，并将代码数据和文本数据输出至预先构建的神经网络模型，输出代码表征向量和文本表征向量；通过预先构建的交互矩阵计算搜索代码表征向量和搜索文本表征向量之间的细粒度相似度；根据细粒度相似度计算模型损失并对神经网络模型进行参数优化；本发明通过后交互机制对代码表征向量和文本表征向量进行跨模态的映射，提高了代码检索的准确度。
-
公开(公告)号：CN116340143A
公开(公告)日：2023-06-27
申请号：CN202310098315.3
申请日：2023-02-10
Applicant: 北京航空航天大学
Abstract: 本发明是一种基于符号执行的Rust Crate缺陷检测方法，属于软件测试领域。本发明包括：将待分析的Rust Crate编译为WebAssembly字节码文件并进行合法性检测；对合法文件构建控制流图并生成对应实例，将实例进行符号执行，探索所有可行的程序执行分支及对应的路径约束信息；在符号执行过程中对分支指令采用基于共享的轻拷贝分支方案，仅对可变路径信息进行深度拷贝；使用预先定义的缺陷检测规则对路径分支信息进行可满足性匹配，检测潜在的缺陷。本发明支持检测Rust Panic缺陷、崩溃安全缺陷、参数可变性缺陷及外部函数交互缺陷四种缺陷，减少了符号执行的时间与空间开销，提高了整体缺陷检测效果。
-
-
-
-
-
-
-
-
-
Search Results
83
records
(took 0.031 seconds)
