Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation

Fathabadi, Asieh Salehi; Dalvandi, Sadegh; Butler, Michael; Al-Hashimi, Bashir M.

doi:10.1109/les.2019.2955316

Cited by 1 publication

(2 citation statements)

References 13 publications

(13 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Assertions are also adapted for specific purposes, in addition to typical testing, such as fault localisation, detecting merge conflicts, and test-suite reduction. Salehi Fathabadi et al [64] use a formal model of the APIs of independently developed components to generate a set of assertions embedded in the implementation. Xuan and Monperrus [88] present spectrum-driven test case purification for improving fault localization, that generates purified versions of failing test cases, which include only one assertion per test.…”

Section: Specific Applicationsmentioning

confidence: 99%

“…This type of evaluation provides preliminary and limited evidence of the application of the proposed techniques or tools, in that, for example, the effectiveness of the proposals and how the proposal meets its goal(s), is demonstrated throughout a limited number of case studies (e.g., up to 10 cases), e.g., [94] [64], or by limited artificial experiments (e.g., by manually generating or adding required information [68] [39]). In our collection of 119 papers, the evaluation of 43 studies fall into this category; the studies focusing on test generation and test oracle/assertion generation have the main portion among this group (28 studies in total).…”

Section: Limited Experimentsmentioning

confidence: 99%

See 1 more Smart Citation

A Literature Survey of Assertions in Software Testing

Taromirad,

Runeson

2023

Lecture Notes in Computer Science

View full text Add to dashboard Cite

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.

show abstract

Section: Specific Applicationsmentioning

confidence: 99%

Section: Limited Experimentsmentioning

confidence: 99%