A theoretical and empirical study of EFSM dependence

Autor:	Nicolas Gold, Kelly Androutsopoulos, Zheng Li, Mark Harman, Laurence Tratt
Rok vydání:	2009
Předmět:	Theoretical computer science Finite-state machine Empirical research Computer science csi Extended finite-state machine Program slicing Software maintenance Dependence analysis Statistical hypothesis testing Data modeling
Zdroj:	ICSM International Conference on Software Maintenance (ICSM 2009)
ISSN:	1063-6773
Popis:	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. We 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. We investigate the statistical properties of dependence using statistical tests for correlation and formalize and prove four of the empirical findings arising from our empirical study. The paper thus provides the maintainer with both empirical data and foundational theoretical results concerning dependence in EFSM models.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b315292c996aae2708a33378a5f7b805 https://doi.org/10.1109/icsm.2009.5306309 Zobrazit plný text záznamu