Logo des Repositoriums

Auflistung nach Schlagwort "automatization"

1 - 3 von 3
  • Konferenzbeitrag
    Automated maintenance of a software portfolio
    (Softwaretechnik-Trends Band 25, Heft 2, 2005) Veerman, Niels
    We report on an automated mass maintenance project. We updated an entire software portfolio automatically. The updated portfolio was accepted by the company and taken into production.
  • Zeitschriftenartikel
    Cooperative Approaches Across Test Generation and Formal Software Verification
    (Softwaretechnik-Trends Band 44, Heft 2, 2024) Lemberger, Thomas
    In the last decade, powerful techniques were developed that either automatically generate tests for software, or automatically verify software with formal methods. In both areas it is common to combine different techniques to leverage their strengths and mitigate their weaknesses. This happens through costly, proprietary reimplementations within a single tool. This thesis contrasts this and provide concepts that enable an inexpensive and fast off-the-shelf cooperation of standalone tools through standardized exchange formats.
  • Workshopbeitrag
    SMT Solvers – A PromisingWay for Verifying User Interfaces?
    (Mensch und Computer 2022 - Workshopband, 2022) Bruchertseifer, Jens; Weyers, Benjamin
    Evaluating user interfaces of interactive applications in terms of correctness has always been a lengthy and error-prone task, as it would be executed by humans. This has led to this aspect of development being severely neglected, which poses a fundamental problem in terms of usability. In this work, we present a novel approach based on the creation of a formal representation from a given user interface, which is transformed into a reference net and finally converted into an SMT formula. As SMT formulae can be evaluated easily using highly efficient SMT solvers, this approach promises good efficiency in real-world scenarios.