文章基本信息

标题：Software Behavior Modeling Based on Invariant Constraints
本地全文：下载
作者：Peng, Cheng ; Yang, Lu-ming ; Man, Jun-feng 等
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2013
卷号：8
期号：10
页码：2455-2461
DOI：10.4304/jsw.8.10.2455-2461
语种：English
出版社：Academy Publisher
摘要：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.
关键词：networked software;interactive behavior;finite state machine;invariant constrain