TY - JOUR
KW - Planning
KW - Answer Set Programming
KW - Testing
AU - Tobias Philipp
AU - Valentin Roland
AU - Lukas Schweizer
AB - Smoke testing is an important method to increase stability and reliability of hardware- gramming, Testing depending 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.
IS - Special Issue on Artificial Intelligence, Paving the Way to the Future
M1 - 5
N2 - Smoke testing is an important method to increase stability and reliability of hardware- gramming, Testing depending 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.
PY - 2021
SP - 57
EP - 65
T2 - International Journal of Interactive Multimedia and Artificial Intelligence
TI - Smoke Test Planning using Answer Set Programming
UR - https://www.ijimai.org/journal/sites/default/files/2021-02/ijimai_6_5_6.pdf
VL - 6
SN - 1989-1660
ER -