Logo des Repositoriums

Auflistung nach Autor:in "Farago, David"

1 - 2 von 2
  • Zeitschriftenartikel
    Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT
    (Softwaretechnik-Trends Band 36, Heft 3, 2016) Eberhardinger, Benedikt; Farago, David; Friske, Mario; Sokenou, Dehla
    Im Folgenden werden die Ergebnisse des letzten Treffens unseres Arbeitskreises „Testen objektorientierter Programme/Modellbasiertes Testen (TOOP/MBT)“ kurz dargestellt. Das Treffen mit 21 Teilnehmern fand im Rahmen des 39. Treffens der GI-Fachgruppe „Test, Analyse und Verikation von Software (TAV)“ am 24. 06. 2016 in Bremen statt. Thema der inhaltlichen Diskussion war abermals, wie die drei Testmethoden Behavior-Driven Development (BDD), Model-Based Testing (MBT) und Keyword-Driven Testing (KDT) zusammenspielen. Anhand eines webbasierten Bankautomaten als Beispiel wurden die Vor- und Nachteile der drei Methoden betrachtet, sowie deren Zusammenspiel. Es wurden Hypothesen aufgestellt und diskutiert sowie zentrale Fragestellungen für die weitere inhaltliche Arbeit herausgearbeitet.
  • Zeitschriftenartikel
    Automatic Heavy-weight Static Analysis Tools for Finding Bugs in Safety-critical Embedded C/C++ Code
    (Softwaretechnik-Trends Band 34, Heft 3, 2014) Farago, David; Merz, Florian; Sinz, Carsten
    This paper motivates the use of automatic heavy-weight static analysis tools to find bugs in C (and C++) code for safety-critical embedded systems. By heavy-weight we mean tools that employ powerful analysis to cover all cases. The paper introduces two automatic and relatively heavy-weight tools that are currently employed in the automotive industry, and depicts their underlying techniques, advantages, and disadvantages. Since their results are often imprecise (false positives or false negatives), we advocate the use of alternative techniques such as software bounded model checking (SBMC), which can achieve bit-precise results. Finally, the tool LLBMC is described as an example of a tool implementing SBMC, which makes use of satisfiability modulo theories (SMT) decision procedures as well as the LLVM compiler framework.