Code Coverage Aware Test Generation Using Constraint Solver
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-83809 DOI: 10.1007/978-3-030-67220-1_5 ISBN: 9783030672195 (print) OAI: oai:DiVA.org:kau-83809 DiVA, id: diva2:1547216
Conference International Conference on Software Engineering and Formal Methods
2021-04-262021-04-262021-11-03 Bibliographically approved