Logo des Repositoriums

Auflistung nach Schlagwort "debugging"

1 - 4 von 4
  • Zeitschriftenartikel
    Evidence-driven Testing and Debugging of Software Systems
    (Softwaretechnik-Trends Band 42, Heft 2, 2022) Soremekun, Ezekiel
    This article is a summary of the dissertation titled “Evidence-driven Testing and Debugging of Software Systems” submitted in April, 2021 for the degree Doctor of Engineering (Dr.-Ing.) in Soft ware Engineering at the Faculty of Mathematics and Computer Science, Saarland University, Germany. This dissertation proposes an evidence-driven approach to address several challenges in software testing and debugging. This work provides several empirical data and methods to guide researchers to build and evaluate testing and debugging aids. We have proposed a hybrid approach that synergistically combines the strengths of dynamic slicing and statistical debugging.
  • Konferenzbeitrag
    Explainable Static Analysis
    (Software Engineering und Software Management 2018, 2018) Bodden, Eric; Nguyen Quang Do, Lisa
    Static code analysis is an important tool that aids in the early detection of programming mistakes, including functional aws, performance bottlenecks and security vulnerabilities. Past research in static analysis has mainly focused on the precise and e cient detection of programming mistakes, allowing new analyses to return more accurate results in a shorter time. However, end-user experience in industry has shown high abandonment rates for static analysis tools. Previous work has shown that current analysis tools are ill-adapted to meet the needs of their users, taking a long time to yield results and causing warnings to be frequently misinterpreted. This can quickly make the overall bene t of static analyses deteriorate. In this work, we argue for the need of developing a line of research on aiding users of static analysis tools, e.g., code developers, to better understand the findings reported by those tools. We outline how we plan to address this problem space by a novel line of research that ultimately seeks to change static analysis tools from being tools for static analysis experts to tools that can be mastered by general code developers. To achieve this goal, we plan to develop novel techniques for formulating, inspecting and debugging static analyses and the rule sets they validate programs against.
  • ConferencePaper
    Learning Circumstances of Software Failures
    (Software Engineering 2021, 2021) Gopinath, Rahul; Havrikov, Nikolas; Kampmann, Alexander; Soremekun, Ezekiel; Zeller, Andreas
    A program fails. Under which circumstances does the failure occur? Starting with a single failure-inducing input ("The input ((4)) fails") and an input grammar, this talk presents two techniques that use systematic tests to automatically determine the circumstances under which the failure occurs. The DDSET algorithm [Go20] generalizes the input to an _abstract failure-inducing input_ that contains both (concrete) terminal symbols and (abstract) nonterminal symbols from the grammar - for instance, “(())”, which represents any expression in double parentheses. The ALHAZEN technique [Ka20] takes this even further, using decision trees to learn input properties such as length or numerical values associated with failures: "The error occurs as soon as there are two parentheses or more." Such abstractions can be used as debugging diagnostics, characterizing the circumstances under which a failure occurs; and as producers of additional failure-inducing tests to help design and validate fixes and repair candidates. Both have the potential to significantly boost speed and quality of software debugging.
  • Konferenzbeitrag
    Optimizing OPC UA Deployments on Node.js through Advanced Logging Techniques
    (INFORMATIK 2023 - Designing Futures: Zukünfte gestalten, 2023) Kirdan, Erkan; Schindler, Josef; Waedt, Karl
    This paper explores the value and benefits of implementing advanced logging techniques within OPC UA deployments in Node.js. OPC UA is a leading protocol for interoperable and secure data exchange in industrial automation and IoT, among other complex data communication systems. Adopting sophisticated logging strategies can optimize its deployments on Node.js. The paper uses a case study to demonstrate the real-world impact of integrating robust logging solutions into OPC UA deployments. It underscores how such practices can improve system reliability, increase debugging efficiency, enhance security, and understand system performance. This valuable insight aids developers and system administrators in managing and maintaining complex OPC UA deployments, reinforcing the critical role of a well- implemented logging strategy. By analyzing a specific instance of an OPC UA server-client pair implemented in Node.js, the paper invites a broader discussion around the optimization strategies that could further strengthen the robustness and security of OPC UA systems. It aims to open avenues for more research, encouraging a continuous drive towards more efficient and secure industrial automation and data communication systems.