¹School of Information Science and Engineering, Central South University, ChangSha 410083, China
²College of Computer and Communication, Hunan University of Technology, ZhuZhou 412008, China

---

Abstract—Modeling the networked software interactive behavior is the basis of understanding its internal mechanism and the running rules .The software interactive behavior log files are firstly collected by monitoring, and then the invariant constraints are mined from it, finally, a dynamic model learned from the finite state machine is presented. In this model, not only thought over the situation that the parallel partly ordered event sequence generated by the networked software interaction, but the interplay between data values and components interactions are also considered, and the event are satisfied the invariant constraints. In order to ensure certainty and completeness of the model, the method of merging equivalent states in the divided sub-diagram is proposed. The corresponding algorithms are also designed. Meanwhile, the effectiveness and feasibility of the proposed method are validated through experiments.

Index Terms—Networked software, interactive behavior, finite state machine, invariant constrain.

[PDF]

Cite: Cheng Peng, Lu-ming Yang, Jun-feng Man, "Software Behavior Modeling Based on Invariant Constraints," Journal of Software vol. 8, no. 10, pp. 2455-2461, 2013.