Causal Program Slicing

9 years 4 months ago
Causal Program Slicing
Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior and the conditions under which it arises. Explanation Exploration (EE) has been presented to gather insight into unexpected behaviors. EE provides subject matter experts (SMEs) with the capability to test hypotheses about an unexpected behavior by semi-automatically creating conditions of interest under which SMEs can observe the unexpected behavior. EE also reveals the interactions of identified variables that influence the unexpected behavior. Causal Program Slicing, improves EE by: automatically identifying all variables in the model that may influence the unexpected behavior, quantifying how the state changes in those variables influence the unexpected behavior, and mapping the quantified state changes in the variables to the statements in the model’s source code that cause change in state. These capabi...
Ross Gore, Paul F. Reynolds Jr.
Added 19 May 2010
Updated 19 May 2010
Type Conference
Year 2009
Where PADS
Authors Ross Gore, Paul F. Reynolds Jr.
Comments (0)