Software behavior model measuring approach of combining structural analysis and language set

Jingfeng Xue, Yan Zhang, Changzhen Hu, Hongyu Ren, Zhiqiang Li*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Structural analysis represented by FSMDiff algorithm is the main measuring approach for existing software behavior model which is based on finite state automata. This method just focus on the data structure of finite state automata as figure characteristics, however, as software behavior model, it is more important for finite state automaton to reflect the characteristics of software behavior. So we need to find out a method to distinguish the importance in the finite state automata between different state nodes. This paper shows how the output of the FSMDiff algorithm can provide a quantified expression of structural difference between two models. According to this, we also introduce the language-set analysis, which uses the depth-first traversal algorithm to solve the language set of finite state automata. Above all, we propose a new strategy of assigning weights for the local elements of software behavior model, which can fusion assigning weight results and structural analysis for evaluation of software behavioral models. Experiment results demonstrate the effectiveness and feasibility of software behavioral model measuring approach of combining structural analysis and language set, and laid the foundation for constructing evaluation system of software behavior model inference technology.

Original languageEnglish
Title of host publicationTrusted Systems - 6th International Conference, INTRUST 2014, Revised Selected Papers
EditorsMoti Yung, Liehuang Zhu, Yanjiang Yang
PublisherSpringer Verlag
Pages137-150
Number of pages14
ISBN (Print)9783319279978
DOIs
Publication statusPublished - 2015
Event6th International Conference on Trusted Systems, INTRUST 2014 - Beijing, China
Duration: 16 Dec 201417 Dec 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9473
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th International Conference on Trusted Systems, INTRUST 2014
Country/TerritoryChina
CityBeijing
Period16/12/1417/12/14

Keywords

  • FSMDiff algorithm
  • Finite state automata
  • Language-set
  • Software behavior model
  • Structural analysis

Fingerprint

Dive into the research topics of 'Software behavior model measuring approach of combining structural analysis and language set'. Together they form a unique fingerprint.

Cite this

Xue, J., Zhang, Y., Hu, C., Ren, H., & Li, Z. (2015). Software behavior model measuring approach of combining structural analysis and language set. In M. Yung, L. Zhu, & Y. Yang (Eds.), Trusted Systems - 6th International Conference, INTRUST 2014, Revised Selected Papers (pp. 137-150). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9473). Springer Verlag. https://doi.org/10.1007/978-3-319-27998-5_9