Research On Automatic Coverage-Driven Unit Testing And Testcase Visualization

With the continuous development of the software industry and the increasingly market demand, most of businesses are becoming increasingly dependent on computer software. Correspondingly, software failures bring more and more economic damage nowadays. For avoiding software failures at most, software testing is a critical and comparatively easy way to assurance the quality of software product. Therefore, white-box testing, based on the source code, is widely used in high-confidential area.Dynamic symbolic execution technique is one of the most effective solutions which sees input variables as symbols and collects branch conditional expressions when simulates the execution, then generates inputs for white-box testing by solving certain branch’s constraint. However, the DSE framework may suffer failures when the program includes complex loops or nested branches which bring explosive growth of path candidates.This paper provides an algorithm combined path filter and path selection to accelerate the path selection phrase under specific coverage criterion. Additionally, the test cases generated by DSE framework are un-friendly to read due to the constraint solver. In this paper, a type system is introduced into DSE framework to record the input variables’type information. As a result, this white-box testing toolkit can visualize the test-cases produced by DSE framework, which brings much convenient for the programmer.