A Theoretical and Empirical Study of EFSM Dependence

Free registration required

Executive Summary

Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming languages, notably through work on program slicing. However, there is comparatively little work on dependence analysis at the model level and hitherto, no empirical studies. The authors introduce a slicing tool for Extended Finite State Machines (EFSMs) and use the tool to gather empirical results on several forms of dependence found in ten EFSMs, including well-known benchmarks in addition to real-world EFSM models. They investigate the statistical properties of dependence using statistical tests for correlation and formalize and prove four of the empirical findings arising from their empirical study.

  • Format: PDF
  • Size: 143.4 KB