Paper Info
Title
QuanFuzz: Fuzz Testing of Quantum Program.
Abstract
Nowadays, quantum program is widely used and quickly developed. However, the absence of testing methodology restricts their quality. Different input format and operator from traditional program make this issue hard to resolve. In this paper, we present QuanFuzz, a search-based test input generator for quantum program. We define the quantum sensitive information to evaluate test input for quantum program and use matrix generator to generate test cases with higher coverage. First, we extract quantum sensitive information -- measurement operations on those quantum registers and the sensitive branches associated with those measurement results, from the quantum source code. Then, we use the sensitive information guided algorithm to mutate the initial input matrix and select those matrices which improve the probability weight for a value of the quantum register to trigger the sensitive branch. The process keeps iterating until the sensitive branch triggered. We tested QuanFuzz on benchmarks and acquired 20% - 60% more coverage compared to traditional testing input generation.
Year
Venue
Field
2018
arXiv: Software Engineering
Quantum,Generator matrix,Fuzz testing,Quantum register,Bitwise operation,Matrix (mathematics),Source code,Computer science,Theoretical computer science,Test case,Computer engineering
DocType
Volume
Citations 
Journal
abs/1810.10310
0
PageRank 
References 
Authors
0.34
0
7
Name
Order
Citations
PageRank
Jiyuan Wang102.03
Ming Gao2769.41
Yu Jiang334656.49
Jian-Guang Lou489756.16
Yue Gao53259124.70
Dongmei Zhang61439132.94
Jia-guang Sun71807134.30