The comKorat tool: Unified combinatorial and constraint-based generation of structurally complex tests

Hua Zhong, Lingming Zhang, Sarfraz Khurshid

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This tool paper presents comKorat, which unifies constraint based generation of structurally complex tests with combinatorial testing. Constraint-based test generation is an effective approach for generating structurally complex inputs for systematic testing. While this approach can typically generate large numbers of tests, it has limited scalability – tests generated are usually only up to a small bound on input size. Combinatorial test generation, e.g., pair-wise testing, is a more scalable approach but is challenging to apply on commercial software systems that require complex input structures that cannot be formed by using arbitrary combinations. The comKorat tool integrates Korat and ACTS test generators to generate test suites for large scale commercial systems. This paper presents a case-study of applying comKorat on a software application developed at Yahoo!. The experimental results show that comKorat outperforms existing solution in execution time and finds a total of 23 previously unknown bugs in the application.

Original languageEnglish (US)
Title of host publicationNASA Formal Methods - 8th International Symposium, NFM 2016, Proceedings
EditorsOksana Tkachuk, Sanjai Rayadurgam
PublisherSpringer
Pages107-113
Number of pages7
ISBN (Print)9783319406473
DOIs
StatePublished - 2016
Externally publishedYes
Event8th International Symposium on NASA Formal Methods, NFM 2016 - Minneapolis, United States
Duration: Jun 7 2016Jun 9 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9690
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Symposium on NASA Formal Methods, NFM 2016
Country/TerritoryUnited States
CityMinneapolis
Period6/7/166/9/16

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'The comKorat tool: Unified combinatorial and constraint-based generation of structurally complex tests'. Together they form a unique fingerprint.

Cite this