Logo des Repositoriums

Auflistung nach Schlagwort "model extraction"

1 - 3 von 3
  • Konferenzbeitrag
    Inferring Visual Contracts from Java Programs
    (Software Engineering and Software Management 2019, 2019) Alshanqiti, Abdullah; Heckel, Reiko; Kehrer, Timo
    In this work, we report about recent research results on ÒInferring Visual Contracts from Java ProgramsÓ, published in [1]. In this paper, we propose a dynamic approach to reverse engineering visual contracts from Java programs based on tracing the execution of Java operations. The resulting contracts give an accurate description of the observed object transformations, their effects and preconditions in terms of object structures, parameter and attribute values, and their generalised specification by universally quantified (multi) objects, patterns, and invariants. We explore potential uses in our evaluation, including in program understanding and testing, and we report on experimental results w.r.t. completeness (recall) and correctness (precision) of extracted contracts.
  • Konferenzbeitrag
    Object Based Dynamic Model Extraction
    (Softwaretechnik-Trends Band 25, Heft 2, 2005) Bouillon, Philipp
    We describe the outline of a method to retrieve a model from various program runs of object-oriented software which can then be used to find bugs in the program, re-design or refactor it, test the program against the model, perform regression testing and check if new code violates the model. When completed, the model extraction and testing will be implemented as an Eclipse plug-in and the programmer is informed of deviations from the model.
  • Konferenzbeitrag
    A Unified Model-Driven Approach for Extracting and Generating Workload Specifications for Load Testing and Performance Prediction of Application Systems
    (Software Engineering 2017, 2017) Hoorn, André van; Vögele, Christian; Hasselbring, Wilhelm; Krcmar, Helmut
    This extended abstract summarizes our article on extracting probabilistic workload spec- ifications for load testing and performance prediction of session-based application systems, which has been published recently in the Journal on Software and Systems Modeling [Vo ̈16].