Logo des Repositoriums

Auflistung nach Schlagwort "Quality Assurance"

1 - 2 von 2
  • Konferenzbeitrag
    On Automated N-way Program Merging for Facilitating Family-based Analyses of Variant-rich Software
    (Software Engineering 2020, 2020) Reuling, Dennis; Kelter, Udo; Bürdek, Johannes; Lochau, Malte
    In this work, we report about research results initially published in ACM Transactions on Software Engineering and Methodology (TOSEM), volume 28 Issue 3, 2019. Nowadays software comes in many different, yet similar variants, often derived from common code via clone-and-own. Family-based-analysis strategies show promising potentials for improving efficiency of quality assurance for variant-rich programs, as compared to variant-by-variant approaches. Unfortunately, these strategies require one superimposed program representation containing all program variants in a syntactically well-formed, semantically sound, and variant-preserving manner, which is hard to obtain manually in practice. In this talk, we present our methodology SiMPOSE for generating superimpositions of program variants to facilitate family-based analyses of variant-rich software. We utilize a novel N-way model-merging methodology for control-flow automaton (CFA) representations of C programs, an abstraction used by many recent software-analysis tools. To cope with the complexity of N-way merging, we use similarity-propagation to reduce the number of N-way matches and enable incremental merging of arbitrary subsets of variants. We apply our SiMPOSE tool to realistic C programs and investigate applicability and efficiency/effectiveness trade-offs of family-based program analyses. Our results reveal efficiency improvements by a factor of up to 2.6 for unit-test generation and 2.4 for model-checking under stable effectiveness, as compared to variant-by-variant.
  • Zeitschriftenartikel
    Raus aus den Silos – mit DevOps zum Lean Manufacturing
    (HMD Praxis der Wirtschaftsinformatik: Vol. 54, No. 2, 2017) Samulat, Peter
    Ein stabiler und risikoarmer Betrieb geschäftskritischer Produktionssysteme trotz hoher Änderungshäufigkeit? Das kann nur gelingen, wenn die Mauern der Silos zwischen Entwicklung und (Infrastruktur-) Betrieb fallen, verbunden mit einem hohen, industriellen Automatisierungsgrad auf Basis elastischer Plattformen.Technische Voraussetzung sind vollständig automatisierte Interaktionen der Entwicklerwerkzeuge (Jenkins, Chef, …) mit einer Infrastruktur, die die benötigten Entwicklungs-, Test und Produktionssysteme dynamisch zur Verfügung stellt.In diesem Artikel werden mit dem Führungs- und Organisationskonzept „Plattform Lean-IT“ technische und organisatorische Rahmenbedingungen vorgestellt. Dabei steht der Mensch im Mittelpunkt: insbesondere die dafür benötigte Produktfokussierung und Skillsets – auch die der Führungskräfte.AbstractA stable and low-risk operation of business-critical production systems despite a high rate of change? This can only be achieved if the walls of the silos fall between development and (infrastructure) operation, combined with a high degree of industrial automation based on elastic platforms.The technical prerequisites are fully automated interactions of the developer tools (Jenkins, Chef, …) with an infrastructure that provides the required development, test and production systems dynamically.In this article, the management and organizational concept “Platform Lean-IT” presents the technical and organizational framework. The focus is on the human being: in particular, the product focus and skillsets required for this – as well as those of the executives.