Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Assertions in software testing: survey, landscape, and trends
Jönköping University, School of Engineering, JTH, Department of Computing. Lund University, Lund, Sweden.ORCID iD: 0000-0002-0838-928X
Lund University, Lund, Sweden.
2025 (English)In: International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, E-ISSN 1433-2787, Vol. 27, p. 117-135Article in journal (Refereed) Published
Abstract [en]

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 with respect to the problem addressed, the solution designed, and the evaluation conducted. The survey rendered 145 papers on assertions in software testing. After test oracle, the dominant problem is test generation, followed by engineering aspects of assertions. Solutions are typically embedded in tool prototypes and evaluated throughout a limited number of cases, whereas 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.

Place, publisher, year, edition, pages
Springer, 2025. Vol. 27, p. 117-135
Keywords [en]
Assertions, Testing, Literature survey
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:hj:diva-67693DOI: 10.1007/s10009-025-00794-1ISI: 001472195500001Scopus ID: 2-s2.0-105005259061Local ID: HOA;;1014715OAI: oai:DiVA.org:hj-67693DiVA, id: diva2:1956206
Funder
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsAvailable from: 2025-05-05 Created: 2025-05-05 Last updated: 2025-10-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Taromirad, Masoumeh

Search in DiVA

By author/editor
Taromirad, Masoumeh
By organisation
JTH, Department of Computing
In the same journal
International Journal on Software Tools for Technology Transfer
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 95 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf