Digital Library[ Search Result ]
Bounded Search Strategies of Concolic Testing for Effective and Efficient Structural Coverage Achievement
http://doi.org/10.5626/JOK.2021.48.2.201
This paper proposes a loop-bounded search strategy for effective and efficient coverage achievement in concolic testing. In selecting a new path to explore, a loop-bounded search strategy limits the number of iterations in a loop to a certain loop-bound, so that the concolic testing is guided to explore various program behaviors within a limited range. In addition, to extend the range of path exploration gradually, this search strategy increments the loop-bound over test executions based on their coverage achievement rates. We implemented three versions of loop-bounded search strategies based on three existing concolic search strategies of CREST. The experiments with 4 real-world target programs (Vim, Grep, Busybox Awk, and Busybox Sed) showed that CREST achieves a higher branch coverage more quickly when the loop-bounded search strategies are applied.
Categories and Patterns of Java Program Unit Test Code Bugs
http://doi.org/10.5626/JOK.2019.46.4.341
Since unit testing is widely used in many software projects, the threat of unit test bugs(i.e., bugs in the test case code) is becoming a more important issue of software quality assurance. Test code bugs are critical threats because they may invalidate the quality assurance process, which consequently hurts quality of products and performance of the project. This paper presents a set of test bug categories and a set of bug patterns extracted from real-world cases. Unlike the existing work on test code bugs, this paper suggests a classification method to systematically categorize different features of test code bugs (i.e., structures, operations, and requirements). In addition, this paper defines eight new bug patterns in unit test code, based on previous bug reports from well-known open-source projects. Each pattern is formally specified as source code patterns so that it can be used for to construct a static bug pattern checker.
Search
Journal of KIISE
- ISSN : 2383-630X(Print)
- ISSN : 2383-6296(Electronic)
- KCI Accredited Journal
Editorial Office
- Tel. +82-2-588-9240
- Fax. +82-2-521-1352
- E-mail. chwoo@kiise.or.kr