Software detection method based on running state

It is extremely important for the study of software behavior modeling for software security research. This article determines whether the security of software operation by analyzing the credibility of software behavior, monitoring software running status. This paper focuses on a modeling algorithm, namely the GK-tail algorithm, which based on software behavior modeling method. At the same time, this paper improves the GK-tail algorithm, which focuses on data constraints and the interaction between software components. Restrictions on extending finite automaton can be obtained by using a combination of Daikon and ESC/JAVA tools. Restrictions can improve the accuracy of the generated model. So the generated behavior model can capture more accurate information. Finally, the paper designs and implements the software running state generator. It is feasible through the software state diagram to determine the feasibility of software security proved by the experiment.