Browsing by Author "Sahin Gebizli, C."

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • Placeholder
    Conference ObjectPublicationMetadata only
    Model-based software product line testing by coupling feature Mmodels with hierarchical Markov chain usage models
    (IEEE, 2016) Sahin Gebizli, C.; Sözer, Hasan; Computer Science; SÖZER, Hasan
    Model-based testing automates test case generation based on usage models of a system. In this paper, we introduce an approach for systematic reuse of these models for testing a large family of products. In our approach, we model system usage with hierarchical Markov chains. These models capture all possible usage scenarios for a family of systems. We document variability explicitly and separately with a feature model. We map optional and alternative features in the feature model to a set of transitions in the usage model. Transition probabilities are modified according to the selected features so that the generated test cases focus only on these features. We performed an industrial case study to evaluate the feasibility and efficiency of the approach. We observed that the cost of product line engineering adoption can be amortized with the testing of even a small number of products.
  • Placeholder
    Conference ObjectPublicationMetadata only
    Successive refinement of models for model-based testing to increase system test effectiveness
    (IEEE, 2016) Sahin Gebizli, C.; Sözer, Hasan; Ercan, Ali Özer; Electrical & Electronics Engineering; Computer Science; SÖZER, Hasan; ERCAN, Ali Özer
    Model-based testing is used for automatically generating test cases based on models of the system under test. The effectiveness of tests depends on the contents of these models. Therefore, we introduce a novel three-step model refinement approach. We represent test models in the form of Markov chains. First, we update state transition probabilities in these models based on usage profile. Second, we perform an update based on fault likelihood that is estimated with static code analysis. Our third update is based on error likelihood that is estimated with dynamic analysis. We generate and execute test cases after each refinement. We applied our approach for model-based testing of a Smart TV system and new faults were revealed after each refinement.