The Design And Implementation Of White-Box Testing System Based On Bytecode Instrumentation

By performing coverage testing for the branches and paths of programs and designing targeted test cases for the uncovered code, white-box testing is more likely to find program errors, thus it is playing an increasingly important role in software testing. However, the cost of manually white-box testing is much more than black-box testing. Therefore, there exists a requirement of tools which help testers to finish the white-box testing, and to reduce the complexity and cost.Under the premise of not modifying the source code, the white-box testing system designed and implemented in this dissertation, can help testers to do the logic coverage testing including statement coverage testing, condition coverage testing and decision coverage testing, and performance testing including statement called frequency and dynamic execution time. These functions are all based on the Java bytecode instrumentation and analysis method which can finish following work without modifying the source code: adding declaration and initiation instructions of new fields, inserting or modifying bytecode instruction and method in specified location of the class. By using the functions implemented by the system, the testers can get various code coverage ratio and performance testing result without doing any more work.The method of generating CFG (control flow graph) of a program according to the bytecode instructions, the method of generating basis path set, and the method of visualization of CFG are all designed and implemented based on the bytecode analysis technology. By using these methods, testers can get the CFG and basis path set. And the CFG is showed directly to users as a visualized graph.