title
  

Applications of unified combinatorial interaction testing

Özsaygın, Oğuz (2021) Applications of unified combinatorial interaction testing. [Thesis]

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
804Kb

Official URL: https://risc01.sabanciuniv.edu/record=b2579387_(Table of contents)

Abstract

U-CIT approach has provided a flexible and systematic method to flexibly define and compute combination interaction testing (CIT) objects generating covering arrays used in software testing. By U-CIT, software system under test and coverage criterion are expressed as a constraint solving problem, and CIT objects are computed by using appropriate constraint solvers. The convenience of defining flexibly coverage criteria brought by U-CIT has made it possible to easily define new CIT objects to test any software system. Although U-CIT objects are generated by solving constraints with constraint solvers in these studies, a higher level modelling abstraction may be required to define complex system models and coverage criteria. In this study, we present UCIT-ASP approach that we developed to generate U-CIT objects by using Answer Set Programming (ASP) which is a declarative modeling language. In addition, by using ASP modeling libraries that was developed within the scope of this study, we both generated U-CIT objects already defined in the literature (i.e. standard covering arrays, test case aware covering arrays, etc.) and defined new U-CIT objects, specifically for graph-based systems (for the testing of mobile applications, multi-threaded systems, etc.). In our case studies to experience with UCIT-ASP on the generation of well-known CIT objects, we have observed that our approach generated smaller CIT objects than specialized covering array generation methods in the literature at the cost of computation times.

Item Type:Thesis
Uncontrolled Keywords:combinatorial testing. -- covering arrays. -- constraint solving. -- answer set programming. -- kombinezon etkilesim sınama. -- kapsayan diziler. -- kısıt çözme. -- bildirimli modelleme.
Subjects:T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK7800-8360 Electronics > TK7885-7895 Computer engineering. Computer hardware
ID Code:42495
Deposited By:IC-Cataloging
Deposited On:19 Oct 2021 11:01
Last Modified:19 Oct 2021 11:01

Repository Staff Only: item control page