The invention discloses a binary directional
grey box fuzzy test method and
system based on regional probability
accessibility. The method comprises the following steps: S1, recovering a potentially missing indirect edge according to memory
layout characteristics of a binary file; s2, obtaining a matching similarity
score for each indirect edge, taking the matching similarity
score as a corresponding
prior probability, and calculating an accuracy probability of each indirect edge; s3, clustering into different regions according to the degree that the
accessibility is influenced by the indirect edge, and constructing a region graph; s4, calculating the depth in the region and the
connectivity between the regions according to the probability that each indirect edge is correctly recovered, and calculating the probabilistic
reachability score of each path; and S5, performing optimal configuration on the fuzzy test according to the probabilistic
reachability score of each path. According to the method, the directional fuzzy test based on
reachability analysis under the binary condition can be effectively realized, the
test strategy is adaptively adjusted when the
control flow diagram dynamically changes, and the
test efficiency and precision are balanced.