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...

• Type: Conference
• Year: 2009
• Where: PADS
• Authors: Ross Gore, Paul F. Reynolds Jr.
• Keywords: Behavior Requires Accumulation, Modelling And Simulation, PADS 2009, Unexpected Behavior, Unexpected Model Behaviors