onr:"swepub:oai:research.chalmers.se:d4ec0125-bd15-4806-8746-aabf6742b123"
Search: onr:"swepub:oai:research.chalmers.se:d4ec0125-bd15-4806-8746-aabf6742b123" > Bytecode-Based Mult...
- 1 of 1
- Previous record
- Next record
- To hitlist
- Bollina, SrujanaUniversity of South Carolina (author)
Bytecode-Based Multiple Condition Coverage: An Initial Investigation
- Article/chapterEnglish2020
Publisher, publication year, extent ...
- 2020-09-30
- Cham :Springer International Publishing,2020
- electronicrdacarrier
Numbers
- LIBRIS-ID:oai:research.chalmers.se:d4ec0125-bd15-4806-8746-aabf6742b123
- https://doi.org/10.1007/978-3-030-59762-7_16DOI
- https://research.chalmers.se/publication/520881URI
- https://research.chalmers.se/publication/522609URI
- https://gup.ub.gu.se/publication/298726URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- Masking occurs when one condition prevents another from influencing the output of a Boolean expression. Adequacy criteria such as Multiple Condition Coverage (MCC) overcome masking within one expression, but offer no guarantees about subsequent expressions. As a result, a Boolean expression written as a single complex statement will yield more effective test cases than when written as a series of simple expressions. Many approaches to automated test case generation for Java operate not on the source code, but on bytecode. The transformation to bytecode simplifies complex expressions into multiple expressions, introducing masking. We propose Bytecode-MCC, a new adequacy criterion designed to group bytecode expressions and reformulate them into complex expressions. Bytecode-MCC should produce test obligations that are more likely to reveal faults in program logic than tests covering the simplified bytecode. A preliminary study shows potential improvements from attaining Bytecode-MCC coverage. However, Bytecode-MCC is difficult to optimize, and means of increasing coverage are needed before the technique can make a difference in practice. We propose potential methods to improve coverage.
Subject headings and genre
- NATURVETENSKAP Data- och informationsvetenskap Programvaruteknik hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Software Engineering hsv//eng
- NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
- Search-based test generation
- coverage criteria
- adequacy criteria
- Adequacy criteria
- Coverage criteria
- Search-based test generation
Added entries (persons, corporate bodies, meetings, titles ...)
- Gay, Gregory,1987Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)(Swepub:gu)xgagre (author)
- University of South CarolinaInstitutionen för data- och informationsteknik (GU) (creator_code:org_t)
Related titles
- In:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Cham : Springer International PublishingSSBSE 2020, s. 220-2361611-33490302-97439783030597627
Internet link
- https://research.chalmers.se/publication/522609/file/522609_Fulltext.pdfFULLTEXT
- https://scholarcommons.sc.edu/cgi/viewcontent.cgi?article=5660&context=etd
- https://doi.org/10.1007/978-3-030-59762-7_16
- https://research.chalmers.se/publication/520881
- https://research.chalmers.se/publication/522609
- https://gup.ub.gu.se/publication/298726
Find in a library
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artifici... (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Bollina, Srujana
- Gay, Gregory, 19 ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Software Enginee ...
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- Lecture Notes in ...
- By the university
- Chalmers University of Technology
- University of Gothenburg
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
