Mining of Probabilistic Controlling Behavior Model From Dynamic Software Execution Trace

Hongdou He*, Jiadong Ren, Guyu Zhao, Yinghui Zhang, Xiaobing Hao

*Corresponding author for this work

Research output: Contribution to journalArticleResearchpeer-review

Abstract

Complex functional integration leads to intricate logical control flows which in turn presents a great challenge to construct software behavior models. In this paper, we propose a probabilistic software behavior model by mining the execution traces using control flow analysis. To describe the interactions between software components, a semantic characterization method is developed. A tracing mechanism is designed to collect execution logs, based on which algorithms are developed to recognize detailed control relations. Moreover, dynamic behavioral frequencies are statistically estimated which provide quantitative data for behavior prediction. Finally, a multi-label enhanced software complex network model, which holds single or composite call relations and calling probabilities, is constructed with the purpose of profiling systematically and structurally. An illustrative example shows that the modeling approach can discover interactive patterns correctly and characterize software behavior scientifically. The method has been used in seven real-world projects, and results show that the proposed model is effective on discovering the complexities of software behavior and hence help to detect defects in software design and to improve performance.
Original languageEnglish
Pages (from-to)79602-79616
Number of pages15
JournalIEEE Access
Volume7
DOIs
Publication statusPublished - 14 Jun 2019

Fingerprint

Flow control
Complex networks
Software design
Labels
Semantics
Defects
Composite materials

Keywords

  • Dynamic software modeling
  • complex network
  • control flow
  • software behavior

Cite this

He, Hongdou ; Ren, Jiadong ; Zhao, Guyu ; Zhang, Yinghui ; Hao, Xiaobing. / Mining of Probabilistic Controlling Behavior Model From Dynamic Software Execution Trace. In: IEEE Access. 2019 ; Vol. 7. pp. 79602-79616.
@article{49ffe73ce16b46c7b7e995667437f8d2,
title = "Mining of Probabilistic Controlling Behavior Model From Dynamic Software Execution Trace",
abstract = "Complex functional integration leads to intricate logical control flows which in turn presents a great challenge to construct software behavior models. In this paper, we propose a probabilistic software behavior model by mining the execution traces using control flow analysis. To describe the interactions between software components, a semantic characterization method is developed. A tracing mechanism is designed to collect execution logs, based on which algorithms are developed to recognize detailed control relations. Moreover, dynamic behavioral frequencies are statistically estimated which provide quantitative data for behavior prediction. Finally, a multi-label enhanced software complex network model, which holds single or composite call relations and calling probabilities, is constructed with the purpose of profiling systematically and structurally. An illustrative example shows that the modeling approach can discover interactive patterns correctly and characterize software behavior scientifically. The method has been used in seven real-world projects, and results show that the proposed model is effective on discovering the complexities of software behavior and hence help to detect defects in software design and to improve performance.",
keywords = "Dynamic software modeling, complex network, control flow, software behavior",
author = "Hongdou He and Jiadong Ren and Guyu Zhao and Yinghui Zhang and Xiaobing Hao",
year = "2019",
month = "6",
day = "14",
doi = "10.1109/ACCESS.2019.2922998",
language = "English",
volume = "7",
pages = "79602--79616",
journal = "IEEE Access",
issn = "2169-3536",
publisher = "IEEE",

}

Mining of Probabilistic Controlling Behavior Model From Dynamic Software Execution Trace. / He, Hongdou; Ren, Jiadong; Zhao, Guyu; Zhang, Yinghui; Hao, Xiaobing.

In: IEEE Access, Vol. 7, 14.06.2019, p. 79602-79616.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - Mining of Probabilistic Controlling Behavior Model From Dynamic Software Execution Trace

AU - He, Hongdou

AU - Ren, Jiadong

AU - Zhao, Guyu

AU - Zhang, Yinghui

AU - Hao, Xiaobing

PY - 2019/6/14

Y1 - 2019/6/14

N2 - Complex functional integration leads to intricate logical control flows which in turn presents a great challenge to construct software behavior models. In this paper, we propose a probabilistic software behavior model by mining the execution traces using control flow analysis. To describe the interactions between software components, a semantic characterization method is developed. A tracing mechanism is designed to collect execution logs, based on which algorithms are developed to recognize detailed control relations. Moreover, dynamic behavioral frequencies are statistically estimated which provide quantitative data for behavior prediction. Finally, a multi-label enhanced software complex network model, which holds single or composite call relations and calling probabilities, is constructed with the purpose of profiling systematically and structurally. An illustrative example shows that the modeling approach can discover interactive patterns correctly and characterize software behavior scientifically. The method has been used in seven real-world projects, and results show that the proposed model is effective on discovering the complexities of software behavior and hence help to detect defects in software design and to improve performance.

AB - Complex functional integration leads to intricate logical control flows which in turn presents a great challenge to construct software behavior models. In this paper, we propose a probabilistic software behavior model by mining the execution traces using control flow analysis. To describe the interactions between software components, a semantic characterization method is developed. A tracing mechanism is designed to collect execution logs, based on which algorithms are developed to recognize detailed control relations. Moreover, dynamic behavioral frequencies are statistically estimated which provide quantitative data for behavior prediction. Finally, a multi-label enhanced software complex network model, which holds single or composite call relations and calling probabilities, is constructed with the purpose of profiling systematically and structurally. An illustrative example shows that the modeling approach can discover interactive patterns correctly and characterize software behavior scientifically. The method has been used in seven real-world projects, and results show that the proposed model is effective on discovering the complexities of software behavior and hence help to detect defects in software design and to improve performance.

KW - Dynamic software modeling

KW - complex network

KW - control flow

KW - software behavior

UR - http://www.mendeley.com/research/mining-probabilistic-controlling-behavior-model-dynamic-software-execution-trace

U2 - 10.1109/ACCESS.2019.2922998

DO - 10.1109/ACCESS.2019.2922998

M3 - Article

VL - 7

SP - 79602

EP - 79616

JO - IEEE Access

JF - IEEE Access

SN - 2169-3536

ER -