-
公开(公告)号：CN114528221B
公开(公告)日：2023-04-07
申请号：CN202210173406.4
申请日：2022-02-24
申请人： 北京航空航天大学
摘要： 本发明公开了一种基于异质图神经网络的软件缺陷预测方法，属于软件缺陷测试领域：首先，针对已有的软件仓库和软件缺陷日志数据，通过相应的解析将它们转化为对应的代码图和缺陷链；并根据缺陷描述信息的内容，通过带状态机的前缀树将代码图中的节点与缺陷图中的节点进行跨域关联；分别对代码节点和缺陷节点生成表示向量后，送入到异质图神经网络中进行多层次的注意力聚合，得到内容和语义路径的信息传递，并得到连接的代码节点和缺陷节点；使用知识图谱表示学习方法对连接节点进行解码，将解码得分归一化后即得到代码节点是否存在缺陷；本发明从新的方式开展软件缺陷预测，提高了软件缺陷预测工具的精确性。
-
公开(公告)号：CN107832219B
公开(公告)日：2020-08-25
申请号：CN201711113909.8
申请日：2017-11-13
申请人： 北京航空航天大学 , 中国科学院沈阳自动化研究所
摘要： 本发明提供一种基于静态分析和神经网络的软件故障预测技术的构建方法,步骤如下：1、搜集被诊断软件的有效故障，加入到创建的故障案例库；2、统计软件各历史版本的有效故障的次数；3、使用静态分析工具扫描软件源代码，输出复杂度度量值；4、进行相关性分析，计算故障次数与度量值的显著性水平；5、选出与故障次数具有显著相关性的复杂度度量值；6、构建网络训练输入输出矩阵和预测输入矩阵；7、构建BP神经网络；8、完成网络训练，构建故障预测系统；9、神经网络预测，预测新版本的故障数量。通过上述步骤，可以完成对基于静态分析和BP神经网络的软件故障预测技术的构建。本发明能帮助开发者预测可能发生的软件故障，具有实用价值。
-
公开(公告)号：CN103455416B
公开(公告)日：2016-04-27
申请号：CN201310303706.0
申请日：2013-07-18
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明涉及一种基于占用Android系统智能设备内存和CPU的压力测试方法，在被测设备上安装agent程序，测试主机首先通过测试脚本运行agent程序，agent程序运行后会启动一个服务Service，服务中开启一个线程作为socket服务端监听客户端的连接请求；测试主机作为socket客户端发出连接请求，与agent建立socket连接，通过socket通信机制控制agent程序进行占用Android系统内存和CPU的行为；agent程序接受到测试主机端发送的占用内存和CPU的命令后，即开始占用内存和CPU，使Android系统资源匮乏，为压力测试提供条件；然后测试主机端开始各项测试工作，完成测试后发出停止占用内存和CPU的命令，agent程序接收到此项命令便终止占用系统内存和CPU的行为；最后，测试主机端通过命令断开与agent程序的socket连接并使agent程序终止运行。
-
公开(公告)号：CN103207772B
公开(公告)日：2016-01-13
申请号：CN201310118037.X
申请日：2013-04-07
申请人： 北京航空航天大学
IPC分类号： G06F9/30
摘要： 本发明提出了一种优化实时任务WCET的指令预取内容选取方法，在现有指令高速缓存硬件中添加指令信息表(BBIT)的硬件结构。本发明方法首先对硬件配置进行初始化，通过编译器或者静态程序特征分析工具收集静态程序基本块集合，然后剔除只覆盖一个存储块的基本块，并收集最坏执行情况下的各程序基本块的执行频度，按照执行频度对程序基本块排序，最后按顺选取指定数量的程序基本块的信息存储到BBIT中。在指令高速缓存访问过程中，同时查找指令高速缓存和BBIT，能够有效避免最坏执行情况下的指令高速缓存访问缺失，满足实时任务的需求；同时，本发明方法能有效降低硬件设计开销，实现方法简单、直接。
-
-
公开(公告)号：CN104457739A
公开(公告)日：2015-03-25
申请号：CN201410698292.0
申请日：2014-11-26
申请人： 北京航空航天大学
IPC分类号： G01C21/00
CPC分类号： G01C21/00
摘要： 本发明涉及一种基于Android系统的EFB导航系统及其使用方法，所述导航系统包括：信息接收模块，用于接收地面飞行计划中的信息；数据处理模块，用于将接收的飞行计划信息加载到地图中；选择模块，用于根据飞行需要在所述地图上选择需要导航的路线信息；显示模块，用于显示所述地图以及导航信息。该系统通过将飞行计划的信息加载到Android系统的地理信息系统GIS系统中，从而可以将飞行计划图形化地在地图上显示出来，并可以通过点击地图上显示的航点来查看对应航点的信息。
-
公开(公告)号：CN103455416A
公开(公告)日：2013-12-18
申请号：CN201310303706.0
申请日：2013-07-18
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明涉及一种基于占用Android系统智能设备内存和CPU的压力测试方法，在被测设备上安装agent程序，测试主机首先通过测试脚本运行agent程序，agent程序运行后会启动一个服务Service，服务中开启一个线程作为socket服务端监听客户端的连接请求；测试主机作为socket客户端发出连接请求，与agent建立socket连接，通过socket通信机制控制agent程序进行占用Android系统内存和CPU的行为；agent程序接受到测试主机端发送的占用内存和CPU的命令后，即开始占用内存和CPU，使Android系统资源匮乏，为压力测试提供条件；然后测试主机端开始各项测试工作，完成测试后发出停止占用内存和CPU的命令，agent程序接收到此项命令便终止占用系统内存和CPU的行为；最后，测试主机端通过命令断开与agent程序的socket连接并使agent程序终止运行。
-
公开(公告)号：CN103345472A
公开(公告)日：2013-10-09
申请号：CN201310218249.5
申请日：2013-06-04
申请人： 北京航空航天大学
IPC分类号： G06F17/30
摘要： 本发明提供了一种有限二叉树布隆过滤器，以及基于该有限二叉树布隆过滤器的去冗文件系统及其构建方法。本发明有限二叉树布隆过滤器每层的节点数设置有上限，每个节点是一个二阶段布隆过滤器，每个二阶段布隆过滤器包括标准布隆过滤器和存储了各数据块的指纹和地址的第二部分。对数据块的指纹首先在标准布隆过滤器中查找，若未查找到，则该节点未命中，否则，继续查找第二部分，在第二部分找到完全匹配的指纹时，该节点命中，否则，该节点未命中。去冗文件及构建方法基于有限二叉树布隆过滤器实现文件的写入、读取和删除。本发明通过二次查询，减少了误判，具备低内存占用、低CPU使用、低额外空间占用、高去冗率存取和可扩展性优良的特点。
-
公开(公告)号：CN103336742A
公开(公告)日：2013-10-02
申请号：CN201310305497.3
申请日：2013-07-18
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明涉及一种基于Android的自动化软件黑盒测试系统及方法，包括：事件注入模块、事件动态执行和过滤模块、GUI信息自动化录制模块、GUI状态转换图建立模块，在没有应用程序代码的情况下，人工获取Android的关键UI事件和系统intent事件，将其以训练脚本的形式，通过定制的测试工具注入到Andorid设备上的对应应用程序，然后在训练脚本的执行过程中，动态执行、过滤系统事件，并记录相关事件所触发的GUI新窗口控件信息和窗口转换关系，根据记录的信息，自动化的建立GUI状态转换图模型；最后根据GUI状态转换图模型生成测试用例。本发明可以快速、有效的将系统事件加到GUI模型中，从而来保证测试的完整性，具备自动化程度相对较高、可重用性强、可扩展性优良等特点。
-
公开(公告)号：CN103294540A
公开(公告)日：2013-09-11
申请号：CN201310184628.7
申请日：2013-05-17
申请人： 北京航空航天大学
摘要： 本发明是一种通过至强融核（Xeon PhiTM）协处理器提升Erlang虚拟机性能的方法，适用于各种基于Erlang的应用程序。在宿主机上运行Erlang虚拟机ERLVM_HOST，在至强融核协处理器卡上运行Erlang虚拟机ERLVM_PHI。在两个Erlang虚拟机之间建立了进程管理通道和消息传递通道，实现两个Erlang虚拟机之间Erlang进程的提交、迁移和消息传递，并改进了Erlang虚拟机在至强融核协处理器上的负载均衡机制。本发明方法将宿主机和至强融核协处理器两种异构的平台结合起来，提升了Erlang虚拟机的并发度和性能，使得Erlang虚拟机能够承受更大程度的吞吐量。
-
-
-
-
-
-
-
-
-
搜索结果
51 条记录 (耗时 0.037 秒)
