Browsing by Author "Belli, Fevzi"

Filter results by typing the first few letters
Now showing 1 - 3 of 3
  • Thumbnail Image
    Book Part
    Citation - WoS: 4
    Citation - Scopus: 8
    Advances in Model-Based Testing of Graphical User Interfaces
    (Academic Press Inc. apjcs@harcourt.com, 2017) Fevzi Belli; Mutlu Beyazit; Christof J. Budnik; Tugkan Tuglular; Budnik, Christof J.; Belli, Fevzi; Beyazıt, Mutlu; Tuglular, Tugkan
    Graphical user interfaces (GUIs) enable comfortable interactions of the computer-based systems with their environment. Large systems usually require complex GUIs which are commonly fault prone and thus are to be carefully designed implemented and tested. As a thorough testing is not feasible techniques are favored to test relevant features of the system under test that will be specifically modeled. This chapter summarizes reviews and exemplifies conventional and novel techniques for model-based GUI testing. © 2017 Elsevier B.V. All rights reserved.
  • Thumbnail Image
    Article
    Citation - WoS: 7
    Citation - Scopus: 11
    Exploiting Model Morphology for Event-Based Testing
    (IEEE COMPUTER SOC, 2015) Fevzi Belli; Mutlu Beyazit; Belli, Fevzi; Beyazit, Mutlu
    Model-based testing employs models for testing. Model-based mutation testing (MBMT) additionally involves fault models called mutants by applying mutation operators to the original model. A problem encountered with MBMT is the elimination of equivalent mutants and multiple mutants modeling the same faults. Another problem is the need to compare a mutant to the original model for test generation. This paper proposes an event-based approach to MBMT that is not fixed on single events and a single model but rather operates on sequences of events of length k >= 1 and invokes a sequence of models that are derived from the original one by varying its morphology based on k. The approach employs formal grammars related mutation operators and algorithms to generate test cases enabling the following: (1) the exclusion of equivalent mutants and multiple mutants, (2) the generation of a test case in linear time to kill a selected mutant without comparing it to the original model, (3) the analysis of morphologically different models enabling the systematic generation of mutants thereby extending the set of fault models studied in related literature. Three case studies validate the approach and analyze its characteristics in comparison to random testing and another MBMT approach.
  • Thumbnail Image
    Conference Object
    Neden-Sonuç Çizgelerinden Test Girilerinin Oluturulmas
    (Ceur-Ws, 2016) Ayav, Tolga; Kavzak, Deniz; Belli, Fevzi