Debugging, visualization, and testing Clause Samples

Debugging, visualization, and testing. ‌ Specification-based black box testing [81, 63, 39] and other approaches to automatic test case generation [71] have been widely considered in the literature, although at present this research is restricted to unit tests. Many tools animate or visualize the execution of a program or of an executable specifi- cation. For example, the USE Tool [83] can be employed to create sequences of snapshots of UML diagrams. Performance and Research Indicators. Techniques for debugging and testing software families that capture their variability and the commonality defined in terms of high-level executable product models. We cope with complexity by underspecification, which may be used to abstract from irrelevant details but more importantly can also be used to capture a product’s variability. Model-based test methods are extended with learning techniques for synthesizing models. Based on a symbolic execution engine individual program runs are generalized to symbolic execution trees that represent all feasible execution paths of some depth. This is used to visualize the consequences of integrating new cross cutting features into a product model.