Software Testing: According to Plan!

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Abstract

Automated planning and scheduling represents a branch of classical artificial intelligence (AI) research. Although initially used in robotics and intelligent agents, the use of planning for testing purposes has increased over the years. There sequences of actions representing interactions with the system under test guide the test execution towards reaching a test purpose. A planning problem is formally defined as a model that resembles the interaction with a real system under test (SUT). The obtained solutions are generated, i.e., the plans, directly correspond to test cases. The planning model offers the possibility to generate test cases with a great variety of interactions without the need for an extensive model definition. Until now, planning has proven to be efficient in detecting both functional and non-functional issues. The second play a major role in uncovering vulnerabilities in software. In fact, testing of any domain can be specified as a planning problem. The purpose of this paper is to summarize previous research in the domain of planning for testing including discussing examples from multiple domains.
Original languageEnglish
Title of host publicationIEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
PublisherInstitute of Electrical and Electronics Engineers
Pages23-31
Number of pages9
ISBN (Electronic) 978-1-7281-0888-9
DOIs
Publication statusPublished - 2019
Event12th IEEE International Conference on Software Testing, Verification and Validation - Xi'an, China
Duration: 22 Apr 201927 Apr 2019

Conference

Conference12th IEEE International Conference on Software Testing, Verification and Validation
Abbreviated titleICST 2019
CountryChina
CityXi'an
Period22/04/1927/04/19

Fingerprint

Software testing
Planning
Testing
Intelligent agents
Artificial intelligence
Robotics
Scheduling

Cite this

Bozic, J., & Wotawa, F. (2019). Software Testing: According to Plan! In IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (pp. 23-31). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICSTW.2019.00028

Software Testing: According to Plan! / Bozic, Josip; Wotawa, Franz.

IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Institute of Electrical and Electronics Engineers, 2019. p. 23-31.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bozic, J & Wotawa, F 2019, Software Testing: According to Plan! in IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Institute of Electrical and Electronics Engineers, pp. 23-31, 12th IEEE International Conference on Software Testing, Verification and Validation, Xi'an, China, 22/04/19. https://doi.org/10.1109/ICSTW.2019.00028
Bozic J, Wotawa F. Software Testing: According to Plan! In IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Institute of Electrical and Electronics Engineers. 2019. p. 23-31 https://doi.org/10.1109/ICSTW.2019.00028
Bozic, Josip ; Wotawa, Franz. / Software Testing: According to Plan!. IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Institute of Electrical and Electronics Engineers, 2019. pp. 23-31
@inproceedings{0cdf2b2f3c9d42e6899675687b87e1b4,
title = "Software Testing: According to Plan!",
abstract = "Automated planning and scheduling represents a branch of classical artificial intelligence (AI) research. Although initially used in robotics and intelligent agents, the use of planning for testing purposes has increased over the years. There sequences of actions representing interactions with the system under test guide the test execution towards reaching a test purpose. A planning problem is formally defined as a model that resembles the interaction with a real system under test (SUT). The obtained solutions are generated, i.e., the plans, directly correspond to test cases. The planning model offers the possibility to generate test cases with a great variety of interactions without the need for an extensive model definition. Until now, planning has proven to be efficient in detecting both functional and non-functional issues. The second play a major role in uncovering vulnerabilities in software. In fact, testing of any domain can be specified as a planning problem. The purpose of this paper is to summarize previous research in the domain of planning for testing including discussing examples from multiple domains.",
author = "Josip Bozic and Franz Wotawa",
year = "2019",
doi = "10.1109/ICSTW.2019.00028",
language = "English",
pages = "23--31",
booktitle = "IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",

}

TY - GEN

T1 - Software Testing: According to Plan!

AU - Bozic, Josip

AU - Wotawa, Franz

PY - 2019

Y1 - 2019

N2 - Automated planning and scheduling represents a branch of classical artificial intelligence (AI) research. Although initially used in robotics and intelligent agents, the use of planning for testing purposes has increased over the years. There sequences of actions representing interactions with the system under test guide the test execution towards reaching a test purpose. A planning problem is formally defined as a model that resembles the interaction with a real system under test (SUT). The obtained solutions are generated, i.e., the plans, directly correspond to test cases. The planning model offers the possibility to generate test cases with a great variety of interactions without the need for an extensive model definition. Until now, planning has proven to be efficient in detecting both functional and non-functional issues. The second play a major role in uncovering vulnerabilities in software. In fact, testing of any domain can be specified as a planning problem. The purpose of this paper is to summarize previous research in the domain of planning for testing including discussing examples from multiple domains.

AB - Automated planning and scheduling represents a branch of classical artificial intelligence (AI) research. Although initially used in robotics and intelligent agents, the use of planning for testing purposes has increased over the years. There sequences of actions representing interactions with the system under test guide the test execution towards reaching a test purpose. A planning problem is formally defined as a model that resembles the interaction with a real system under test (SUT). The obtained solutions are generated, i.e., the plans, directly correspond to test cases. The planning model offers the possibility to generate test cases with a great variety of interactions without the need for an extensive model definition. Until now, planning has proven to be efficient in detecting both functional and non-functional issues. The second play a major role in uncovering vulnerabilities in software. In fact, testing of any domain can be specified as a planning problem. The purpose of this paper is to summarize previous research in the domain of planning for testing including discussing examples from multiple domains.

U2 - 10.1109/ICSTW.2019.00028

DO - 10.1109/ICSTW.2019.00028

M3 - Conference contribution

SP - 23

EP - 31

BT - IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

PB - Institute of Electrical and Electronics Engineers

ER -