Sökning: WFRF:(Margaria Tiziana) >
A Literature Survey...
A Literature Survey of Assertions in Software Testing
-
- Taromirad, Masoumeh (författare)
- Lunds universitet,Jönköping University,JTH, Avdelningen för datavetenskap,Lund University, Lund, 221 00, Sweden,Programvarusystem,Institutionen för datavetenskap,Institutioner vid LTH,Lunds Tekniska Högskola,LTH profilområde: AI och digitalisering,LTH profilområden,Software Engineering Research Group,Department of Computer Science,Departments at LTH,Faculty of Engineering, LTH,LTH Profile Area: AI and Digitalization,LTH Profile areas,Faculty of Engineering, LTH
-
- Runeson, Per (författare)
- Lund University,Lunds universitet,Programvarusystem,Institutionen för datavetenskap,Institutioner vid LTH,Lunds Tekniska Högskola,LTH profilområde: AI och digitalisering,LTH profilområden,LU profilområde: Naturlig och artificiell kognition,Lunds universitets profilområden,Software Engineering Research Group,Department of Computer Science,Departments at LTH,Faculty of Engineering, LTH,LTH Profile Area: AI and Digitalization,LTH Profile areas,Faculty of Engineering, LTH,LU Profile Area: Natural and Artificial Cognition,Lund University Profile areas
-
Margaria, Tiziana (redaktör/utgivare)
-
visa fler...
-
Krofron, Jan (redaktör/utgivare)
-
visa färre...
-
(creator_code:org_t)
- Springer, 2024
- 2024
- Engelska.
-
Ingår i: Engineering of Computer-Based Systems. - : Springer. - 0302-9743. - 9783031492518 - 9783031492525 ; , s. 75-96
- Relaterad länk:
-
https://portal.resea... (primary) (free)
-
visa fler...
-
http://dx.doi.org/10...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://lup.lub.lu.s...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Nyckelord
- assertions
- literature survey
- testing
- Assertion
- Automated techniques
- Engineering aspects
- Large-scales
- Software testings
- Synthesised
- Test generations
- Test oracles
- Verification-and-validation
- Software testing
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas