公开(公告)号：US12200054B2

公开(公告)日：2025-01-14

申请号：US18394594

申请日：2023-12-22

Applicant: University of Electronic Science and Technology of China ,  Sichuan Digital Economy Research Institute (Yibin) ,  Hangzhou Yunphant Network Technology Co. Ltd.

Inventor： Sheng Cao ,  Butian Huang ,  Xiaosong Zhang

IPC: H04L67/10 ,  G06F16/27 ,  H04L67/1097

Abstract: The present disclosure provides a blockchain sharding method, system, and server based on locally repairable system codes. The blockchain sharding system includes k original shards and n−k encoding shards. In each round of consensus, each original shard and m corresponding encoding shards form a local verification group (m

公开(公告)号：US10180899B2

公开(公告)日：2019-01-15

申请号：US15112689

申请日：2014-07-30

Applicant: UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA

Inventor： Ting Chen ,  Xiaosong Zhang ,  Dong Wang ,  Ruidong Chen ,  Weina Niu ,  Xiaofen Wang

IPC: G06F11/00 ,  G06F11/36

Abstract: A device and a method are provided to automatically generate test case for embedded software. This invention is in software test field, including symbolic execution kernel module, path selection module, solver, debugger, concrete execution kernel module and debugger agent module. The tested software and test cases are uploaded from the host system to the embedded system through debugger and debugger agent. The concrete execution kernel module starts the tested software. The symbolic execution kernel module captures the run-time information of the tested software through the debugger. When the tested software operates on the symbol source, the symbolic execution kernel module marks the symbol source, tracks the symbol propagation, generates path condition and sends the path condition to path selection module. This invention can automatically generate test cases for embedded software, which doesn't need the source code of the tested software and can be conveniently used for commercial software.

公开(公告)号：US20220405592A1

公开(公告)日：2022-12-22

申请号：US17895076

申请日：2022-08-25

Applicant: University of Electronic Science and Technology of China

Inventor： Weina Niu ,  Xiaosong Zhang ,  Zimu Li

IPC: G06N3/08 ,  G06F40/30

Abstract: A multi-feature log anomaly detection method includes steps of: preliminarily processing a log data set to obtain a log entry word group corresponding to all semantics of a log sequence in the log data set, and using the log entry word group as a semantic feature of the log sequence; extracting a type feature, a time feature and a quantity feature of the log sequence, and encoding the semantic feature, the type feature, the time feature and the quantity feature into a log feature vector set of the log sequence; training a BiGRU neural network model with all log feature vector sets to obtain a trained BiGRU neural network mode; and inputting the log data set to be detected into the trained BiGRU neural network model for prediction, and determining whether the log sequence is a normal or abnormal log sequence according to a prediction result.

公开(公告)号：US20170010956A1

公开(公告)日：2017-01-12

申请号：US15112689

申请日：2014-07-30

Applicant: UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA

Inventor： Ting Chen ,  Xiaosong Zhang ,  Dong Wang ,  Ruidong Chen ,  Weina Niu ,  Xiaofen Wang

IPC: G06F11/36

CPC classification number: G06F11/3684 ,  G06F11/36 ,  G06F11/3664 ,  G06F11/3688

Abstract: A device and a method are provided to automatically generate test case for embedded software. This invention is in software test field, including symbolic execution kernel module, path selection module, solver, debugger, concrete execution kernel module and debugger agent module. The tested software and test cases are uploaded from the host system to the embedded system through debugger and debugger agent. The concrete execution kernel module starts the tested software. The symbolic execution kernel module captures the run-time information of the tested software through the debugger. When the tested software operates on the symbol source, the symbolic execution kernel module marks the symbol source, tracks the symbol propagation, generates path condition and sends the path condition to path selection module. This invention can automatically generate test cases for embedded software, which doesn't need the source code of the tested software and can be conveniently used for commercial software.

Abstract translation: 提供了一种设备和方法来自动生成嵌入式软件的测试用例。 本发明在软件测试领域，包括符号执行内核模块，路径选择模块，求解器，调试器，具体执行内核模块和调试器代理模块。 测试的软件和测试用例通过调试器和调试器代理从主机系统上传到嵌入式系统。 具体执行内核模块启动测试软件。 符号执行内核模块通过调试器捕获测试软件的运行时信息。 当测试软件在符号源上运行时，符号执行内核模块标记符号源，跟踪符号传播，生成路径条件，并将路径条件发送到路径选择模块。 本发明可以自动生成嵌入式软件测试用例，不需要测试软件的源代码，便于商业软件使用。