Detecting component changes at run time with behavior models

Andrea Mocci

doi:10.1007/s00607-012-0214-z

2012-09-13

Andrea Mocci *

Mario Sangiorgio

DOI：10.1007/s00607-012-0214-z

原文链接

原文求助

摘要

En 中文

Modern software systems are composed of several services which may be developed and maintained by third parties and thus they can change independently and without notice during the system's runtime execution. In such systems, changes may possibly be a threat to system functional correctness, and thus to its reliability. Hence, it is important to detect them as soon as they happen to enable proper reaction. Change detection can be done by monitoring system execution and comparing the observed execution traces against models of the services composing the application. Unfortunately, formal specifications for services are not usually provided and developers have to infer them. In this paper we propose a methodology which exactly addresses these issues by using software behavior models to monitor component execution and detect changes. In particular, we describe a technique to infer behavior model specifications with a dynamic black box approach, keep them up-to-date with run time observations and detect behavior changes. Finally, we present a case study to validate the effectiveness of the approach in component change detection for a component that implements a complex, real communication protocol.

Keyword:

Behavior models

Change detection

Monitoring

Dynamic analysis

Specification inference

Runtime validation