Smoke Test Planning using Answer Set Programming
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 pro...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad Internacional de La Rioja (UNIR)
2021-03-01
|
| Series: | International Journal of Interactive Multimedia and Artificial Intelligence |
| Subjects: | |
| Online Access: | https://www.ijimai.org/journal/bibcite/reference/2886 |
| _version_ | 1818725491499073536 |
|---|---|
| author | Tobias Philipp Valentin Roland Lukas Schweizer |
| author_facet | Tobias Philipp Valentin Roland Lukas Schweizer |
| author_sort | Tobias Philipp |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-17T21:43:09Z |
| format | Article |
| id | doaj.art-8fc6670605f34fbea76e16e4390deb62 |
| institution | Directory Open Access Journal |
| issn | 1989-1660 1989-1660 |
| language | English |
| last_indexed | 2024-12-17T21:43:09Z |
| publishDate | 2021-03-01 |
| publisher | Universidad Internacional de La Rioja (UNIR) |
| record_format | Article |
| series | International Journal of Interactive Multimedia and Artificial Intelligence |
| spelling | doaj.art-8fc6670605f34fbea76e16e4390deb622022-12-21T21:31:33ZengUniversidad Internacional de La Rioja (UNIR)International Journal of Interactive Multimedia and Artificial Intelligence1989-16601989-16602021-03-0165576510.9781/ijimai.2021.02.003ijimai.2021.02.003Smoke Test Planning using Answer Set ProgrammingTobias PhilippValentin RolandLukas SchweizerSmoke 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.https://www.ijimai.org/journal/bibcite/reference/2886planninganswer set programmingtesting |
| spellingShingle | Tobias Philipp Valentin Roland Lukas Schweizer Smoke Test Planning using Answer Set Programming International Journal of Interactive Multimedia and Artificial Intelligence planning answer set programming testing |
| title | Smoke Test Planning using Answer Set Programming |
| title_full | Smoke Test Planning using Answer Set Programming |
| title_fullStr | Smoke Test Planning using Answer Set Programming |
| title_full_unstemmed | Smoke Test Planning using Answer Set Programming |
| title_short | Smoke Test Planning using Answer Set Programming |
| title_sort | smoke test planning using answer set programming |
| topic | planning answer set programming testing |
| url | https://www.ijimai.org/journal/bibcite/reference/2886 |
| work_keys_str_mv | AT tobiasphilipp smoketestplanningusinganswersetprogramming AT valentinroland smoketestplanningusinganswersetprogramming AT lukasschweizer smoketestplanningusinganswersetprogramming |