Research on software behavior modeling based on extended finite state automata

Software behavior modeling can be used for detecting anomalous behavior, verifying protocols, generating test cases, capturing unexpected event sequences and checking compatibility of program properties. In this paper, we introduce a method of software behavior modeling based on extended finite state automata, which is based on the existing software behavior modeling methods and focuses on constraints on data values and the interaction traces between software components. We combine Daikon and ESC/JAVA tools to obtain the constraints on extended finite state automata edges so that the accuracy of the model can be improved. We have implemented a software behavior modeling system using this method. Experiments results show that this model can capture many more and more accurate information and provide a good guarantee for the software analysis, verification and testing.