Auflistung nach Autor:in "Faragó, David"
1 - 10 von 12
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragBericht(Softwaretechnik-Trends Band 42, Heft 4, 2022) Sokenou, Dehla; Friske, Mario; Güldali, Baris; Faragó, David; Winter, Mario; Buth, Bettina
- Konferenz-AbstractBericht über das 46. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 46) am 27. September 2021(Softwaretechnik-Trends Band 42, Heft 1, 2022) Ruckdeschel, Wilhelm; Friske, Mario; Güldali, Baris; Sokenou, Dehla; Faragó, David; Winter, MarioDas 46. Treffen der GI-Fachgruppe TAV fand am 27. September 2021 im Rahmen der GI Jahrestagung „Informatik 2021“ statt und stand unter dem Motto „Herausforderungen beim Testen moderner Softwaresysteme“. Die letzten Jahre zeigten einige neue Trends in der Entwicklung moderner Softwaresysteme. Dazu zählen massiv verteilte Systeme (Smart Metering, Internet of Things), der Trend zu containerbasierten Microservices auf Clustern, die vermehrte Entwicklung von KI-basierten Systemen bis hin zum Quantencomputing. Diese zeichnen sich oft durch eine Komplexität aus, die ganz neue Herausforderungen für den Test bereithält. Im Workshop wurden diese Herausforderungen beleuchtet und Lösungsansätze für das effiziente Testen moderner Softwaresysteme diskutiert. Am Workshop nahmen ca. 50 interessierte Fachleute aktiv teil.
- KonferenzbeitragBerichte aus den TAV-Arbeitskreisen(Softwaretechnik-Trends Band 42, Heft 1, 2022) Buth, Bettina; Winter, Mario; Faragó, David; Friske, Mario; Sokenou, DehlaBericht über den 3. Workshop des GI-TAV Arbeitskreises "Testen & KI" (TKI) und Bericht zum Treffen des Arbeitskreises TOOP/MBT
- ZeitschriftenartikelDrei Methoden, ein Ziel: Testautomatisierung mit BDD, MBT und KDT im Vergleich(Softwaretechnik-Trends Band 36, Heft 3, 2015) Brandes, Christian; Eberhardinger, Benedikt; Faragó, David; Friske, Mario; Güldali, Baris; Pietschker, Andrej
- KonferenzbeitragEngineering A Reliable Prompt For Generating Unit Tests - Prompt engineering for QA & QA for prompt engineering(Softwaretechnik-Trends Band 43, Heft 3, 2023) Faragó, DavidThis paper demonstrates Prompt Engineering (PE) on a running example: generating unit test cases for a given function. By iter atively adding further prompt patterns and measuring the robustness, correctness, and comprehensiveness of the AI’s output, multiple prompt patterns and their purpose and strength are investigated. We conclude that high robustness, correctness, and comprehensiveness is hard to achieve, and many prompt patterns (single prompt as well as patterns that span over a conversation) are necessary. More generally, quality assurance is a dominant part of PE and closely intertwined with the development part of PE. Thus traditional testing processes and stages do not adequately apply to QA for PE, and we suggest a PE process that covers the development and quality assurance of prompts as alternative.
- KonferenzbeitragA High Quality Data Pipeline for Reasonable-Scale Machine Learning(Softwaretechnik-Trends Band 42, Heft 4, 2022) Faragó, DavidData quality (especially correctness) plays a critical role in the success of a machine learning (ML) project. This paper describes a data pipeline for creating high quality data, using as example Key Information Extraction (KIE) from invoices – one of the most popular tasks in Intelligent Document Processing (IDP). The tasks of each data pipeline step are listed, showing the decisions and technology involved. The focus is on practicality: doing ML at reasonable-scale, i.e. with as little cost (people and hardware) as possible, and a concern for practice more than achieving high scores on a metric that is not grounded in practical use. Contributions: 1. an extended list of quality dimensions, with simple definitions 2. overview of a data pipeline, examplified on KIE 3. for each pipeline step a list of tasks, showing decisions, pitfalls, and technology involved 4. in particular, how to use the state of the art contrastive model CLIP to solve difficult selection and reduction tasks on images 5. a tool for labeling key information on images 6. a labeling guide for invoices. Most contributions can easily be transfered to other supervised learning tasks.
- KonferenzbeitragImproved underspecification for model-based testing in agile development(FM+AM`2010 – Second International Workshop on Formal Methods and Agile Methods, 2010) Faragó, DavidSince model-based testing (MBT) and agile development are two major approaches to increase the quality of software, this paper considers their combination. After motivating that strongly integrating both is the most fruitful, the demands on MBT for this integration are investigated: The model must be underspecifyable and iteratively refineable and test generation must efficiently handle this. The theoretical basis and an example for such models is given. Thereafter, a new method for MBT is introduced, which can handle this more efficiently, i.e., can better cope with nondeterminism and also has better guidance in the model traversal. Hence it can be used in agile development, select more revealing tests and achieve higher coverage and reproducibility.
- ZeitschriftenartikelModel-based Testing in Agile Software Development(Softwaretechnik-Trends Band 30, Heft 3, 2010) Faragó, DavidWith rising ubiquity of software, its quality is becoming more and more important, but harder to achieve. Model-based testing (MBT) and agile development (AD) are the two major approaches to solve this dilemma. We analyze their operational conditions and investigate how MBT can improve AD and vice versa. We conclude that strongly integrating both is the most fruitful combination. The two key requirements on MBT for AD are flexibility and rapid delivery. They can be met by underspecifying the models that MBT uses. But for current MBT techniques, underspecification has an adverse effect on efficiency, coverage and reproducibility. We believe all three aspects will be improved by a new method called lazy on-the-fly MBT, which we currently research.
- ZeitschriftenartikelNondeterministic Coverage Metrics as Key Performance Indicator for Model- and Value-based Testing(Softwaretechnik-Trends Band 31, Heft 1, 2011) Faragó, DavidAssessing the testing or software development process by only using KPIs can easily be misleading. A better solution is a paradigm shift to value-based software engineering, which integrates value considerations into software engineering and offers a broader and more technical view on KPIs. Coverage metrics are such a technical view and a very helpful KPI. This paper combines value-based testing and model-based testing of nondeterministic systems and introduces new coverage metrics for this. Therewith, the quality of test suites is raised and value-based testing gets strongly supported, e.g., by KPIs derived from nondeterministic coverage metrics and better requirements-based and risk-based testing.
- TextdokumentTAV-2021: Herausforderungen beim Testen moderner Softwaresysteme(INFORMATIK 2021, 2021) Sokenou, Dehla; Friske, Mario; Güldali, Baris; Faragó, David; Winter, Mario; Ruckdeschel, WilhelmDie letzten Jahre zeigten einige neue Trends in der Entwicklung moderner Softwaresysteme. Dazu zählen massiv verteilte Systeme (Smart Metering, Internet of Things), der Trend zu containerbasierten Microservices auf Clustern, die vermehrte Entwicklung von KI-basierten Systemen bis hin zum Quantencomputing. Diese zeichnen sich oft durch eine Komplexität aus, die ganz neue Herausforderungen für den Test bereithält. Wir wollen im Workshop diese Herausforderungen beleuchten und Lösungsansätze für das effiziente Testen moderner Softwaresysteme diskutieren.