Abstract
This thesis constitutes the first work in the RE community that studies the potential of extracting conditional statements from requirements. It is intended to stimulate further engagement of researchers and practitioners in the field of conditionals in RE artifacts. In essence, we present fundamental research on the notion of conditionals in requirements as well as methods for their fine-grained extraction. We show that conditionals are prevalent in requirements and mainly occur in explicit, marked form. Further, we reveal that conditionals are a source of ambiguity, and there is not just one way to interpret them formally. This affects any automated analysis that builds upon formalized requirements (e.g., inconsistency checking) and may also influence guidelines for writing requirements. We also present our tool-supported approach CiRA, capable of detecting conditionals in NL requirements and extracting them in fine-grained form. We evaluate our approach in a case study with three industry partners, namely, Allianz Deutschland AG (insurance), Ericsson (telecommunication), and Leopold Kostal GmbH & Co. KG (automotive), and highlight that automated conditional extraction facilitates automated acceptance test creation. CiRA is available at http://www.cira.bth.se/demo/.
Chapter PDF
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2024 The Author(s)
About this chapter
Cite this chapter
Fischbach, J., Vogelsang, A. (2024). Conditional Statements in Requirements Artifacts: Logical Interpretation, Use Cases for Automated Software Engineering, and Fine-Grained Extraction. In: Bodden, E., et al. Ernst Denert Award for Software Engineering 2022. Springer, Cham. https://doi.org/10.1007/978-3-031-44412-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-031-44412-8_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-44411-1
Online ISBN: 978-3-031-44412-8
eBook Packages: Computer ScienceComputer Science (R0)