-
公开(公告)号：CN108958997B
公开(公告)日：2022-03-04
申请号：CN201810503937.9
申请日：2018-05-23
Applicant: 哈尔滨工业大学
Abstract: 本发明提供串行总线故障模拟系统及模拟方法，属于计算机可靠性能评价技术领域。本发明所述串行总线故障模拟系统，包括控制机和故障注入器；控制机根据用户要求生成故障命令，将故障命令发送给故障注入器，接收故障注入器反馈的注入结果和目标系统状态，并将其反馈给用户；故障注入器采用现场可编程逻辑器件FPGA，根据来自控制机的故障命令对故障注入所需的所有参数进行设置，在接收到来自于串行总线的数据后，向数据当中注入故障，并将修改后的数据发送给串行总线，将得到的注入结果和目标系统状态返回给控制机。本发明解决了现有总线故障注入用以验证计算机可靠性时，实时性低的问题。本发明可用于总线故障模拟。
-
公开(公告)号：CN108958997A
公开(公告)日：2018-12-07
申请号：CN201810503937.9
申请日：2018-05-23
Applicant: 哈尔滨工业大学
CPC classification number: G06F11/221 , G06F11/2273 , G06F11/261
Abstract: 本发明提供串行总线故障模拟系统及模拟方法，属于计算机可靠性能评价技术领域。本发明所述串行总线故障模拟系统，包括控制机和故障注入器；控制机根据用户要求生成故障命令，将故障命令发送给故障注入器，接收故障注入器反馈的注入结果和目标系统状态，并将其反馈给用户；故障注入器采用现场可编程逻辑器件FPGA，根据来自控制机的故障命令对故障注入所需的所有参数进行设置，在接收到来自于串行总线的数据后，向数据当中注入故障，并将修改后的数据发送给串行总线，将得到的注入结果和目标系统状态返回给控制机。本发明解决了现有总线故障注入用以验证计算机可靠性时，实时性低的问题。本发明可用于总线故障模拟。
-
公开(公告)号：CN117009979B
公开(公告)日：2024-03-22
申请号：CN202311008821.5
申请日：2023-08-10
Applicant: 哈尔滨工业大学
Abstract: 本发明提出一种可处理合约信息的智能合约漏洞检测方法，属于以太坊智能合约安全技术领域。包括：S1.将智能合约经编译后生成的字节码文件和二进制接口文件作为模糊测试的输入形式；S2.在模糊测试引擎中构建一个合约所有者地址，一个发送者地址集；S3.模糊测试引擎解析模糊测试的输入，生成初始测试用例集；S4.为每个智能合约维护四个集合；S5.执行初始测试用例集或测试用例集，执行过程中判断测试用例是否会触发异常，同时保存维护四个集合的信息；S6.从种子集中取出一个种子进行变异；S7.重复执行S5‑S6，直到预设的终止条件满足，结束执行。解决涉及合约变量的分支难以高效满足导致合约模糊测试过程中覆盖率低的问题。
-
Patent Agency Ranking
公开(公告)号：CN108737187B
公开(公告)日：2021-07-20
申请号：CN201810505715.0
申请日：2018-05-23
Applicant: 哈尔滨工业大学
Abstract: 一种CAN总线故障模拟系统及故障模拟方法，本发明涉及CAN总线故障模拟系统及故障模拟方法。本发明为了解决现有技术故障注入的操作过程复杂、只能进行物理层故障注入以及不能直接返回故障注入结果的问题。本发明包括：信息收发模块、故障注入模块和控制软件模块；所述信息收发模块用于将来自两端的目标机的数据帧进行数字信号和模拟信号的转化；所述故障注入模块用于根据控制软件模块发送的数据，对CAN总线的链路层或物理层进行故障注入；所述控制软件模块用于提供人机交互界面，发送故障注入参数到故障注入模块；所述故障注入参数包括故障注入方式、故障的时间类型、注入位置。本发明用于计算机可靠性评价领域。
-
公开(公告)号：CN117009979A
公开(公告)日：2023-11-07
申请号：CN202311008821.5
申请日：2023-08-10
Applicant: 哈尔滨工业大学
Abstract: 本发明提出一种可处理合约信息的智能合约漏洞检测方法，属于以太坊智能合约安全技术领域。包括：S1.将智能合约经编译后生成的字节码文件和二进制接口文件作为模糊测试的输入形式；S2.在模糊测试引擎中构建一个合约所有者地址，一个发送者地址集；S3.模糊测试引擎解析模糊测试的输入，生成初始测试用例集；S4.为每个智能合约维护四个集合；S5.执行初始测试用例集或测试用例集，执行过程中判断测试用例是否会触发异常，同时保存维护四个集合的信息；S6.从种子集中取出一个种子进行变异；S7.重复执行S5‑S6，直到预设的终止条件满足，结束执行。解决涉及合约变量的分支难以高效满足导致合约模糊测试过程中覆盖率低的问题。
-
公开(公告)号：CN117009980B
公开(公告)日：2024-03-15
申请号：CN202311008828.7
申请日：2023-08-10
Applicant: 哈尔滨工业大学
Abstract: 本发明提出一种针对智能合约漏洞检测的有指导的模糊测试方法，属于以太坊智能合约安全技术领域。包括：S1、输入为智能合约的字节码和合约的二进制接口ABI；S2、生成初始测试用例集或用户提供初始测试用例集；S3、执行初始测试用例或测试用例；S4、创建种子集，在测试用例的执行过程中选择部分测试用例做为种子保存在种子集中；S5、在执行过程中保存每个对状态变量进行赋值的测试用例，并为每个状态变量维护一个状态变量池；S6、基于种子集和状态变量池进行种子突变；S7、重复执行S3‑S6的过程，直到测试过程达到预设的时间。缩减突变过程中交易序列的组合空间，解决分支覆盖率低的问题。
-
公开(公告)号：CN117009980A
公开(公告)日：2023-11-07
申请号：CN202311008828.7
申请日：2023-08-10
Applicant: 哈尔滨工业大学
Abstract: 本发明提出一种针对智能合约漏洞检测的有指导的模糊测试方法，属于以太坊智能合约安全技术领域。包括：S1、输入为智能合约的字节码和合约的二进制接口ABI；S2、生成初始测试用例集或用户提供初始测试用例集；S3、执行初始测试用例或测试用例；S4、创建种子集，在测试用例的执行过程中选择部分测试用例做为种子保存在种子集中；S5、在执行过程中保存每个对状态变量进行赋值的测试用例，并为每个状态变量维护一个状态变量池；S6、基于种子集和状态变量池进行种子突变；S7、重复执行S3‑S6的过程，直到测试过程达到预设的时间。缩减突变过程中交易序列的组合空间，解决分支覆盖率低的问题。
-
公开(公告)号：CN108737187A
公开(公告)日：2018-11-02
申请号：CN201810505715.0
申请日：2018-05-23
Applicant: 哈尔滨工业大学
Abstract: 一种CAN总线故障模拟系统及故障模拟方法，本发明涉及CAN总线故障模拟系统及故障模拟方法。本发明为了解决现有技术故障注入的操作过程复杂、只能进行物理层故障注入以及不能直接返回故障注入结果的问题。本发明包括：信息收发模块、故障注入模块和控制软件模块；所述信息收发模块用于将来自两端的目标机的数据帧进行数字信号和模拟信号的转化；所述故障注入模块用于根据控制软件模块发送的数据，对CAN总线的链路层或物理层进行故障注入；所述控制软件模块用于提供人机交互界面，发送故障注入参数到故障注入模块；所述故障注入参数包括故障注入方式、故障的时间类型、注入位置。本发明用于计算机可靠性评价领域。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.025 seconds)
