Logo des Repositoriums

Auflistung nach Schlagwort "Testing"

1 - 10 von 17
  • Konferenzbeitrag
    Angemessenheit haptischer Prototypen in unterschiedlichen Fidelity-Graden bei Zielgruppen mit Einschränkungen
    (Mensch und Computer 2017 - Workshopband, 2017) Uhlig, Martina; Klein, Peter; Ecker, Martin; Hintz, Stefan
    Bei der Evaluation von Prototypen mit bestimmten Zielgruppen wie z.B. Senioren oder Menschen mit Demenz hat sich in verschiedenen Projekten gezeigt, dass ein Testing von Low-Fidelity-Prototypen nicht zielführend ist. Low-Fidelity-Prototypen erfordern viel Vorstellungs- und Abstraktionsvermögen, das diese Zielgruppen nicht mehr voll leisten können. Daher empfiehlt es sich, mit diesen Zielgruppen nur mit High-Fidelity-Prototypen zu testen, da diese neuartige Produkte, Services oder Interaktionen besser erlebbar machen können als Low-Fidelity-Prototypen.
  • Textdokument
    Architectural Principles for Database Systems on Storage-Class Memory
    (BTW 2019, 2019) Oukid, Ismail
    Storage-Class Memory (SCM) is a novel class of memory technologies that combine the byte addressability and low latency of DRAM with the density and non-volatility of traditional storage media. Hence, SCM can serve as persistent main memory, i.e., as main memory and storage at the same time. In this thesis, we dissect the challenges and pursue the opportunities brought by SCM to database systems. To solve the identified challenges, we devise necessary building blocks for enabling SCM-based database systems, namely memory management, data structures, transaction concurrency control, recovery techniques, and a testing framework against new failure scenarios stemming from SCM. Thereafter, we leverage these building blocks to build SOFORT, a novel hybrid SCM-DRAM transactional storage engine that places data, accesses it, and updates it directly in SCM, thereby doing away with traditional write-ahead logging and achieving near-instant recovery.
  • ConferencePaper
    Automated Reuse of Test Cases for Highly Configurable Software Systems
    (Software Engineering 2021, 2021) Fischer, Stefan; Michelon, Gabriela Karoline; Ramler, Rudolf Ramler; Linsbauer, Lukas; Egyed, Alexander
    In this work, we report about our research results initially published in the journal Empirical Software Engineering, volume 25, issue 6, pp. 5295–5332, November 2020, https://doi.org/10.1007/s10664-020-09884-x. We performed experiments on test reusability across configurations of highly configurable software systems. First, we used manually written tests for specific configurations of three configurable systems and investigated how changing configuration options affects these tests. Subsequently, we applied an approach developed for automated reuse, ECCO (Extraction and Composition for Clone-and-Own), to automatically generate tests for new configurations from the existing, manually written tests. The experiments showed that our generated tests had a higher or equal success rate compared to direct reuse and they generally achieved a higher code coverage. It can be concluded that automating the reuse of tests for configurable software can substantially reduce the effort for adapting existing tests and it supports a rigorous testing process.
  • Konferenzbeitrag
    Christian Doppler Laboratory on Security and Quality Improvement in the Production Systems Life Cycle
    (Software Engineering 2020, 2020) Winkler, Dietmar; Biffl, Stefan
    The size and complexity of software components in production systems engineering, such as manufacturing plants or automation systems, requires effective and efficient approaches for security and quality improvement. In industrial practice, engineers from different disciplines, such as electrical, mechanical, and software disciplines typically follow a plan-driven and sequential engineering process approach with parallel engineering activities within a heterogeneous set of methods and tools. Therefore, major challenges concern (a) insufficient data exchange capabilities between disciplines, (b) a lack of consistency evaluation capabilities across disciplines, tools, and engineering phases, (c) insufficient knowledge representation and exchange between disciplines and project stakeholders and (d) limited security considerations. The goal of the Christian Doppler Laboratory on Security and Quality Improvement in the Production Systems Life Cycle (CDL-SQI) is to address these challenges in cooperation with industry partners in the production systems domain. We build on requirements and use case explorations at industry partners and on best-practices from Business Informatics to develop concepts and prototype solutions for the target domain and evaluate these concepts and prototypes in close collaboration with industry partners We derive requirements, use cases, and test data from industry and provide concepts and prototypes to the industry partner and to related scientific communities.
  • Konferenzbeitrag
    Combining Verifiers in Conditional Model Checking via Reducers
    (Software Engineering and Software Management 2019, 2019) Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas; Wehrheim, Heike
    Software verification received lots of attention in the past two decades. Nonetheless, it remains an extremely difficult problem. Some verification tasks cannot be solved automatically by any of today’s verifiers. To still verify such tasks, one can combine the strengths of different verifiers. A promising approach to create combinations is conditional model checking (CMC). In CMC, the first verifier outputs a condition that describes the parts of the program state space that it successfully verified, and the next verifier uses that condition to steer its exploration towards the unverified state space. Despite the benefits of CMC, only few verifiers can handle conditions. To overcome this problem, we propose an automatic plug-and-play extension for verifiers. Instead of modifying verifiers, we suggest to add a preprocessor: the reducer. The reducer takes the condition and the original program and computes a residual program that encodes the unverified state space in program code. We developed one such reducer and use it to integrate existing verifiers and test-case generators into the CMC process. Our experiments show that we can solve many additional verification tasks with this reducer-based construction.
  • Konferenzbeitrag
    Formative und summative Usability Evaluationen medizintechnischer Produkte - Menschzentriert entwickeln und dabei die regulatorischen Anforderungen erfüllen
    (Mensch und Computer 2020 - Usability Professionals, 2020) Janny, Benedikt; Pfeffer, Stefan
    Mit Einführung der Medical Device Regulation rückt die Untersuchung der Usability (zu Deutsch: Gebrauchstauglichkeit) für Hersteller von medizintechnischen Produkten in den Fokus. Im Herz des sogenannten Usability beziehungsweise Human Factors Engineering Prozesses stehen User Interface Evaluationen medizinischer Produkte mit medizinischem Fachpersonal. Der folgende Beitrag diskutiert die Einordnung von Usability und User Interface Evaluationen in den medizintechnischen Usability Engineering Prozess und zeigt sowohl regulatorische Anforderungen als auch marktdifferenzierende Potentiale der Gebrauchstauglichkeit auf. Er beinhaltet einen abwägenden Überblick über potentielle Methoden und gibt empirische Handlungsempfehlungen bei der Durchführung von User Interface Evaluationen.
  • Zeitschriftenartikel
    A Framework for Testing Self-organisation Algorithms
    (Softwaretechnik-Trends Band 35, Heft 1, 2015) Eberhardinger, Benedikt; Anders, Gerrit; Seebach, Hella; Siefert, Florian; Reif, Wolfgang
    The characteristics of self-organising, adaptive systems (SOAS) lead to a significantly higher flexibility and robustness against an ever-changing environment. This flexibility makes it hard to test these systems adequately, which is, however, inevitable in order to assure their quality. As a part of our vision of testing SOAS, we present a framework for testing selforganisation (SO) algorithms. The framework addresses the following key challenges for testing SO algorithms: state space explosion, interleaved feedback loops, and failure overlapping.
  • Textdokument
    Ein kooperatives Vorgehensmodel für die Abwicklung von Usability Testing-Projekten
    (Tagungsband UP09, 2009) Freymann, Maximiliane; Grötzbach, Lennart; Schulz, Sebastian; Petzold, Ramona; O'Farrell, Andy
    In ihrem Beitrag betrachten die Autoren ein exemplarisches Usability TestingProjekt zwischen einem externen Usability-Dienstleister und der In-HouseDesignabteilung eines Konzerns. Anhand dieser Fallstudie diskutieren die Autoren typische Herausforderungen in der Projektplanung und -durchführung und stellen Lösungsvorschläge vor. Dazu beschreiben die Autoren ein allgemeines Projektmodell für die Durchführung von Test-Projekten und diskutieren für jeden Projektschritt die Sichtweisen, Ziele, Aufgaben und Verantwortlichkeiten beider Projekt-partner.
  • Konferenzbeitrag
    Methodenvergleich von UX-Tests im Kontext mobiler Applikationen
    (UP 2016, 2016) Rauch, Dustin
    Die in Kooperation mit der eResult GmbH durchgeführte Studie, im Rahmen einer Masterarbeit der Universität Hildesheim, vergleicht die qualitativen Evaluationsmethoden Usability-Test im Labor, synchroner Remote-Usability-Test und asynchroner Remote-Usability-Test in Hinblick nativer Smartphone-Applikationen. Im Vorfeld der Studie fand eine Analyse aktueller Tools im Bereich des mobile Remote-Testings statt, die durch Mitarbeiter der eResult GmbH bewertet. Folgend wurden gemeinsam Verfahren entwickelt, die das synchrone und asynchrone Testen mobiler Endgeräte ermöglichten. In diesem Kontext haben wir in Zusammenarbeit mit dem Geschäftsbereich E-Commerce, der Parfümerie Douglas GmbH, ein Testsetting entwickelt, welches mit allen drei Verfahren durchlaufen wurde. Der klassische Labortest, sowie der synchrone und asynchrone Remote Usability Tests unterscheiden sich hierbei im Kontext ihrer Durchführung, sodass die Art der Vorbereitungen, der Interaktion mit den Testpersonen und der Art der erhobenen Daten von einander abweicht. Ziel der Studie war es die Frage zu beantworten, ob und wie sich die jeweiligen Verfahren auf die Ergebnisse eines Tests auswirken. Dadurch soll die Frage der verwendeten Methode im Kontext der Usability-Evaluation zukünftig erleichtert und empirisch begründet werden.
  • Konferenzbeitrag
    Modeling Test Cases in BPMN for Behavior-Driven Development
    (Software Engineering 2017, 2017) Lübke, Daniel; Lessen, Tammo van
    Die Validierung von fachlichen und das Testen von ausführbaren Geschäftsprozessen ist eine herausfordernde Aufgabe in Prozessentwicklungsprojekten. Innerhalb des Terravis-Projekts, das einen Prozesshub für durchgehend digitalisierte Geschäftsprozesse für Schuldbrieftransaktionen zwischen Grundbüchern, Banken, Notaren und anderen Parteien entwickelt, wurde die Bewältigung dieser Aufgaben erfolgskritisch. Um die Kommunikation zwischen den Stakeholder zu verbessern und die Abdeckung durch automatisierte Testfälle zu erhöhen, wurde Behavior-Driven Development auf BPMN und Geschäftsprozesse adaptiert. Diese Technik wurde im Projekt erfolgreich eingeführt und durch alle Teammitglieder gut akzeptiert.