A Literature Survey of Assertions in Software Testing
Taromirad, Masoumeh LU and Runeson, Per LU
(2023)
8th International Conference on the Engineering of Computer Based Systems, ECBS 2023
In Lecture Notes in Computer Science
14390.
- Abstract
- Assertions are one of the most useful automated techniques for checking program’s behaviour and hence have been used for different verification and validation tasks. We provide an overview of the last two decades of research involving ‘assertions’ in software testing. Based on a term–based search, we filtered the inclusion of relevant papers and synthesised them w.r.t. the problem addressed, the solution designed, and the evaluation conducted. The survey rendered 119 papers on assertions in software testing. After test oracle, the dominant problem focus is test generation, followed by engineering aspects of assertions. Solutions are typically embedded in tool prototypes and evaluated throughout limited number of cases while using... (More)
- Assertions are one of the most useful automated techniques for checking program’s behaviour and hence have been used for different verification and validation tasks. We provide an overview of the last two decades of research involving ‘assertions’ in software testing. Based on a term–based search, we filtered the inclusion of relevant papers and synthesised them w.r.t. the problem addressed, the solution designed, and the evaluation conducted. The survey rendered 119 papers on assertions in software testing. After test oracle, the dominant problem focus is test generation, followed by engineering aspects of assertions. Solutions are typically embedded in tool prototypes and evaluated throughout limited number of cases while using large–scale industrial settings is still a noticeable method. We conclude that assertions would be worth more attention in future research, particularly regarding the new and emerging demands (e.g., verification of programs with uncertainty), for effective, applicable, and domain-specific solutions (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/2951d7c0-d53d-4272-b727-42ebbcd1304d
- author
- Taromirad, Masoumeh
LU
and Runeson, Per
LU
- organization
- publishing date
- 2023
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- host publication
- 8th International Conference on the Engineering of Computer Based Systems
- series title
- Lecture Notes in Computer Science
- editor
- Margaria, Tiziana and Krofron, Jan
- volume
- 14390
- publisher
- Springer
- conference name
- 8th International Conference on the Engineering of Computer Based Systems, ECBS 2023
- conference location
- Västerås, Sweden
- conference dates
- 2023-10-16 - 2023-10-18
- external identifiers
-
- scopus:85180151662
- ISSN
- 0302-9743
- ISBN
- 978-303149251-8
- DOI
- 10.1007/978-3-031-49252-5_8
- project
- Software Regression Testing with Near Failure Assertions
- language
- English
- LU publication?
- yes
- id
- 2951d7c0-d53d-4272-b727-42ebbcd1304d
- date added to LUP
- 2023-09-20 14:24:24
- date last changed
- 2024-02-01 14:34:27
@inproceedings{2951d7c0-d53d-4272-b727-42ebbcd1304d,
abstract = {{Assertions are one of the most useful automated techniques for checking program’s behaviour and hence have been used for different verification and validation tasks. We provide an overview of the last two decades of research involving ‘assertions’ in software testing. Based on a term–based search, we filtered the inclusion of relevant papers and synthesised them w.r.t. the problem addressed, the solution designed, and the evaluation conducted. The survey rendered 119 papers on assertions in software testing. After test oracle, the dominant problem focus is test generation, followed by engineering aspects of assertions. Solutions are typically embedded in tool prototypes and evaluated throughout limited number of cases while using large–scale industrial settings is still a noticeable method. We conclude that assertions would be worth more attention in future research, particularly regarding the new and emerging demands (e.g., verification of programs with uncertainty), for effective, applicable, and domain-specific solutions}},
author = {{Taromirad, Masoumeh and Runeson, Per}},
booktitle = {{8th International Conference on the Engineering of Computer Based Systems}},
editor = {{Margaria, Tiziana and Krofron, Jan}},
isbn = {{978-303149251-8}},
issn = {{0302-9743}},
language = {{eng}},
publisher = {{Springer}},
series = {{Lecture Notes in Computer Science}},
title = {{A Literature Survey of Assertions in Software Testing}},
url = {{https://lup.lub.lu.se/search/files/159202327/Assertion_Survey_Lucris.pdf}},
doi = {{10.1007/978-3-031-49252-5_8}},
volume = {{14390}},
year = {{2023}},
}