Thumbnail
Access Restriction
Open

Author Ohmann, Tony ♦ Thai, Kevin ♦ Beschastnikh, Ivan ♦ Brun, Yuriy
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Inferred Model ♦ Performance Information ♦ System Implementation ♦ Software Bug ♦ Model Prediction ♦ Predictive Fi-nite State Machine Model ♦ Temporal Performance-constrained Property ♦ Accurate Behavioral Model ♦ Observed Execution ♦ Conceptual Inconsistency ♦ Present Perfume ♦ Model-inference Algorithm ♦ False Positive ♦ System Run-time Execution Log ♦ Similar-appearing Execution ♦ System Quality ♦ Precise Performance-aware Behavioral Model ♦ Model Inference Process
Description Software bugs often arise from differences between what develop-ers envision their system does and what that system actually does. When faced with such conceptual inconsistencies, debugging can be very difficult. Inferring and presenting developers with accurate behavioral models of the system implementation can help devel-opers reconcile their view of the system with reality and improve system quality. We present Perfume, a model-inference algorithm that improves on the state of the art by using performance information to differ-entiate otherwise similar-appearing executions and to remove false positives from the inferred models. Perfume uses a system’s run-time execution logs to infer a concise, precise, and predictive fi-nite state machine model that describes both observed executions and executions that have not been observed but that the system can likely generate. Perfume guides the model inference process by mining temporal performance-constrained properties from the logs, ensuring precision of the model’s predictions. We describe the model inference process and demonstrate how it improves pre-cision over the state of the art.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2014-01-01
Publisher Institution In the International Conference on Software Engineering New Ideas and Emerging Results (ICSE NIER) track