liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
SMT Aided Test Case Generation For Constrained Feature Models
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology.
2014 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

With the development of highly configurable and large software, a new challenge has to be addressed, when it comes to software testing. While traditional testing approaches might still apply and succeed in achieving a better quality of service, the high degree of customizable parts of such a system implies the mentioned testing activities on different configurations. If a formal notion is used to express the allowed configurations of a system, one might think of generating such configurations in an automated fashion. However, if there are constraints involved, traditional model-based test-case generation might cause problems to achieve a desired coherency. An idea is, to use those constraints to generate test-cases and to achieve coherency at the same time. Satisfiability modulo theories (SMT) has been an emerging field in current theoretical computer science and developed decision procedures to treat various theoretical fragments in a specific manner. The goal of this thesis is, to look at a translation mechanism from an expression language for constraints into SAT modulo theories and involve this technique into a test-case generation process. Furthermore, the balance between the generation of coherent test-cases as well as the problem-specific purposes of such test-cases is investigated.

Place, publisher, year, edition, pages
2014. , 68 p.
Keyword [en]
Configuration, SMT, Model, ECIM, Ericsson
National Category
Computer Science
URN: urn:nbn:se:liu:diva-114619ISRN: LITH-IDA-EX-2014/069-SEOAI: diva2:791490
External cooperation
Ericsson AB
Subject / course
Master's programme in Computer Science
2015-01-23, Alan Turing, Linköping, 13:15 (English)
Available from: 2015-03-12 Created: 2015-02-28 Last updated: 2015-03-12Bibliographically approved

Open Access in DiVA

fulltext(748 kB)66 downloads
File information
File name FULLTEXT01.pdfFile size 748 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Borek, Paul
By organisation
Software and SystemsThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 66 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 346 hits
ReferencesLink to record
Permanent link

Direct link