Smoke Test Planning using Answer Set Programming

Research output: Contribution to journalResearch articleContributedpeer-review

Contributors

  • Tobias Philipp - , secunet Security Networks AG (Author)
  • Valentin Roland - , secunet Security Networks AG (Author)
  • Lukas Schweizer - , Chair of Computational Logic (Author)

Abstract

Smoke testing is an important method to increase stability and reliability of hardware-dependent systems. Due to concurrent access to the same physical resource and the impracticality of the use of virtualization, smoke testing requires some form of planning. In this paper, we propose to decompose test cases in terms of atomic actions consisting of preconditions and effects. We present a solution based on answer set programming with multi-shot solving that automatically generates short parallel test plans. Experiments suggest that the approach is feasible for non-inherently sequential test cases and scales up to thousands of test cases.

Details

Original languageEnglish
Pages (from-to)57-65
Number of pages9
Journal International journal of interactive multimedia and artificial intelligence : IJIMAI
Volume6
Issue number5
Publication statusPublished - 1 Feb 2021
Peer-reviewedYes

External IDs

Scopus 85108376469

Keywords