System disruptions
We are currently experiencing disruptions on the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • apa.csl
  • 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
Code Coverage Aware Test Generation Using Constraint Solver
Czech Technical University, Czech Republic.
Karlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science (from 2013).ORCID iD: 0000-0001-9051-7609
Czech Technical University, Czech Republic.
2021 (English)In: Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, Springer Science and Business Media Deutschland GmbH , 2021, p. 58-66Conference paper, Published paper (Refereed)
Abstract [en]

Code coverage has been used in the software testing context mostly as a metric to assess a generated test suite’s quality. Recently, code coverage analysis is used as a white-box testing technique for test optimization. Most of the research activities focus on using code coverage for test prioritization and selection within automated testing strategies. Less effort has been paid in the literature to use code coverage for test generation. This paper introduces a new Code Coverage-based Test Case Generation (CCTG) concept that changes the current practices by utilizing the code coverage analysis in the test generation process. CCTG uses the code coverage data to calculate the input parameters’ impact for a constraint solver to automate the generation of effective test suites. We applied this approach to a few real-world case studies. The results showed that the new test generation approach could generate effective test cases and detect new faults.

Place, publisher, year, edition, pages
Springer Science and Business Media Deutschland GmbH , 2021. p. 58-66
Keywords [en]
Automated test generation, Code coverage, Constrained interaction testing, Software testing, Test case augmentation, Application programs, Embedded systems, Formal methods, Logic programming, Automated testing, Constraint solvers, Current practices, Research activities, Test case generation, Test optimization, Test prioritization, White-box testing
National Category
Computer and Information Sciences
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:kau:diva-83809DOI: 10.1007/978-3-030-67220-1_5ISBN: 9783030672195 (print)OAI: oai:DiVA.org:kau-83809DiVA, id: diva2:1547216
Conference
International Conference on Software Engineering and Formal Methods
Available from: 2021-04-26 Created: 2021-04-26 Last updated: 2021-11-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Ahmed, Bestoun S.

Search in DiVA

By author/editor
Ahmed, Bestoun S.
By organisation
Department of Mathematics and Computer Science (from 2013)
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • apa.csl
  • 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