-
公开(公告)号：CN103207782A
公开(公告)日：2013-07-17
申请号：CN201310102233.8
申请日：2013-03-27
申请人： 北京航空航天大学
IPC分类号： G06F9/44
摘要： 本发明是一种基于multi-kernel MOS的分区系统构建方法，适用于多核、众核异构处理器平台。本发明基于负载均衡及通信延迟最小化的原则，将系统中各分区映射到合适的处理器核心上；再依次在每个处理器核心上启动并运行与自身ISA相匹配的操作系统内核(MOS kernel)，并为映射到该处理器核心的分区建立并初始化通信信道及附属的管理数据结构，分区之间基于消息传递方式实现通信；最后MOS kernel启动映射到其所在处理器核心的各个分区内部的操作系统及任务。本发明使多种ISA架构的处理器核心能同时运行于同一分区系统，并且在有效提升系统效能及可扩展性的基础上，最大程度地保证程序运行的实时确定性。
-
公开(公告)号：CN103136334A
公开(公告)日：2013-06-05
申请号：CN201310034095.4
申请日：2013-01-29
申请人： 北京航空航天大学
IPC分类号： G06F17/30
摘要： 本发明公开了一种基于图的遍历的同步数据流(SDF)系统节点参数快速处理方法，该方法为实时系统构建SDF图，图中每条边的两端标注所连接节点在该边上的通信参数，建立一个堆栈存储SDF图遍历过程需要暂存的节点，然后选定SDF中任意一个节点并初始化其运行参数，然后开始扫描，在对每一个节点进行扫描的过程中可以判断图中是否存在环，如果存在则进行运行参数一致性判断，否则基于节点通信参数确定该节点的运行参数，并对图中已扫描过的节点的运行参数进行全局归一化调整。本发明方法处理步骤少，计算量小，效率高，计算结果准确，具备处理不同属性参数的通用化特点，提高了计算机处理实时SDF系统节点运行参数的速度和效率。
-
公开(公告)号：CN118585431A
公开(公告)日：2024-09-03
申请号：CN202410627345.3
申请日：2024-05-20
申请人： 北京航空航天大学
摘要： 本发明公开了一种基于深度强化学习的iOS应用测试方法，属于软件测试技术领域。本发明方法首先实现了一个测试代理动态库，实现获取iOS应用GUI信息、注入GUI事件、生成测试报告等功能；其次设计了一个基于历史信息的被测应用的当前细粒度状态表示方法，为深度强化学习测试模型生成决策时提供更多的信息，减少重复进入已探索过的页面；最后本发明设计了一个基于动态衰减策略的奖励函数，根据当前页面的探索程度动态给与奖励值，探索的越充分奖励越少。采用本发明测试方法可以到达一些以前应用难以达到的应用程序状态，平衡了测试过程中的探索与利用，对代码覆盖率以及故障检测率有进一步的提升。
-
公开(公告)号：CN113626324B
公开(公告)日：2023-09-26
申请号：CN202110891571.9
申请日：2021-08-04
申请人： 北京航空航天大学
摘要： 本发明公开了一种面向Move语言虚拟机的模糊测试方法，属于软件测试技术领域：首先，针对Move语言虚拟机，通过调用接口函数确定目标测试接口；并根据给定的语法规则，手动构建初始测试样例；分别构建目标测试接口需要的两类非字节码参数；然后，将目标测试接口分别与AFL进行对接，对Move语言虚拟机进行模糊测试，收集能够触发目标测试程序出现崩溃和超时的测试样例作为训练数据集；生成对抗网络使用Wasserstein距离作为优化目标，综合考虑WGAN和DCGAN提出的约束条件，得到种子生成模型；使用训练数据集进行训练，得到新的初始测试样例；AFL随机变异产生新的输入测试样例，继续收集崩溃和超时的输入样例优化种子生成模型；本发明提高了模糊测试工具的性能。
-
公开(公告)号：CN116340143A
公开(公告)日：2023-06-27
申请号：CN202310098315.3
申请日：2023-02-10
申请人： 北京航空航天大学
摘要： 本发明是一种基于符号执行的Rust Crate缺陷检测方法，属于软件测试领域。本发明包括：将待分析的Rust Crate编译为WebAssembly字节码文件并进行合法性检测；对合法文件构建控制流图并生成对应实例，将实例进行符号执行，探索所有可行的程序执行分支及对应的路径约束信息；在符号执行过程中对分支指令采用基于共享的轻拷贝分支方案，仅对可变路径信息进行深度拷贝；使用预先定义的缺陷检测规则对路径分支信息进行可满足性匹配，检测潜在的缺陷。本发明支持检测Rust Panic缺陷、崩溃安全缺陷、参数可变性缺陷及外部函数交互缺陷四种缺陷，减少了符号执行的时间与空间开销，提高了整体缺陷检测效果。
-
公开(公告)号：CN114924961A
公开(公告)日：2022-08-19
申请号：CN202210537594.4
申请日：2022-05-16
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种面向WebAssembly虚拟机的模糊测试方法，属于软件测试领域；具体为：首先，初始化将各种不同的变异操作依次加入自适应变异表中；然后，利用合法的WebAssembly代码文件，对应生成WebAssembly模块，并逐个进行初始测试，将符合要求的模块存储到队列中；从队首的WebAssembly模块开始，对其应用自适应变异表当中的变异操作，并输入WebAssembly虚拟机进行测试；当测试的执行过程中存在新的路径或崩溃，对自适应变异表进行修改；直至当前WebAssembly模块的变异次数达到预设的上限，舍弃当前WebAssembly模块，继续从队列中选择新的WebAssembly模块进行变异，直至队列为空，将之前舍弃的所有变异后的WebAssembly模块重新加入至队列中，周而复始地进行模糊测试，直到用户手动停止；本发明提高了WebAssembly虚拟机的模糊测试工具的性能。
-
公开(公告)号：CN113067799B
公开(公告)日：2022-01-11
申请号：CN202110213152.X
申请日：2021-02-25
申请人： 北京航空航天大学
摘要： 本发明公开了一种兼容以太网通信的TTP/C通信节点实现方法，属于实时通信技术领域；首先、设计包括虚拟网络接口层，语义层和链路控制层的兼容层；然后，在开发板平台上同时实现逻辑上独立的TTP/C通信和以太网通信协议栈，且两个协议栈通过虚拟网络接口与兼容层交互；接着，两个协议栈分别发送以太网帧和TTP/C帧并存储；兼容层检测到TTP/C帧后，开始进行以太网帧和TTP/C帧的混合，当监听到信号来临，兼容层的发送端发送混合帧；以太网通信协议栈捕获并结合独立的时钟模块截取接收时间戳，并将时间戳和混合帧打包发送，兼容层接收端对混合帧进行解析，并分别发送给两个协议栈。本发明通过在协议栈和NIC设备之间插入兼容层的方式，可以协调具有不同时间关键性的通信。
-
公开(公告)号：CN113626324A
公开(公告)日：2021-11-09
申请号：CN202110891571.9
申请日：2021-08-04
申请人： 北京航空航天大学
摘要： 本发明公开了一种面向Move语言虚拟机的模糊测试方法，属于软件测试技术领域：首先，针对Move语言虚拟机，通过调用接口函数确定目标测试接口；并根据给定的语法规则，手动构建初始测试样例；分别构建目标测试接口需要的两类非字节码参数；然后，将目标测试接口分别与AFL进行对接，对Move语言虚拟机进行模糊测试，收集能够触发目标测试程序出现崩溃和超时的测试样例作为训练数据集；生成对抗网络使用Wasserstein距离作为优化目标，综合考虑WGAN和DCGAN提出的约束条件，得到种子生成模型；使用训练数据集进行训练，得到新的初始测试样例；AFL随机变异产生新的输入测试样例，继续收集崩溃和超时的输入样例优化种子生成模型；本发明提高了模糊测试工具的性能。
-
公开(公告)号：CN105260312B
公开(公告)日：2018-04-06
申请号：CN201510701351.X
申请日：2015-10-26
申请人： 北京航空航天大学 , 中国航空工业集团公司第六三一研究所
IPC分类号： G06F11/36
摘要： 本发明是一种多核实时系统应用数据竞争错误的调试方法，属于多核应用程序调试技术领域。本发明基于多核操作系统编写发生数据竞争的应用程序测试集，设计插桩谓词，手工对测试程序进行插桩，运行插桩后的测试集，统计调试输出对插桩位置的可疑度排序，根据统计调试结果快速定位测试集代码可能发生并发错误数据竞争的位置。所设计的谓词记录应用程序中的全局变量在被同一任务连续两次访问过程中其值改变次数，在访问全局变量前，判断此时全局变量的值与记录的值是否一致；在访问全局变量后，更新全局变量值的记录。本发明可以方便快速的对共享数据进行插桩，降低开发自动化插桩工具的成本和时间，节约了通过循环执行断点调试方法所耗费的时间。
-
公开(公告)号：CN106909503A
公开(公告)日：2017-06-30
申请号：CN201710034953.3
申请日：2017-01-17
申请人： 北京航空航天大学
IPC分类号： G06F11/36
摘要： 本发明公开了一种Android应用自动化测试用例精简方法，属于软件测试技术领域：以触发Android应用程序崩溃的测试用例作为输入，该测试用例在层内精简算法下递归地产生新测试用例；若新测试用例不在失败测试用例集合中，则对新测试用例进行测试，若测试过程中未检测出Android应用程序错误或检测出的错误与原测试用例的错误不一致，则将该新测试用例添加到失败测试用例集合中，否则，若新测试用例检测出错误与原Android应用程序错误一致，则将其作为新的输入进行新一轮的精简；如此循环处理，直至该新测试用例满足层内精简算法的输出条件为止。在本发明中，失败测试用例集合的设置，用来存储失败的测试用例，能够减少重复测试以期提高测试用例精简的效率。
-
-
-
-
-
-
-
-
-
搜索结果
51 条记录 (耗时 0.041 秒)
