The Research On Test Case Generation Technology Support Bit Computing Of Unit Testing

Unit testing plays an important role in ensuring the software quality and improving the reliability of software.When generating test cases for the test unit automatically,traditional constraint solving technique usually represents the range of variables by continuous interval.But as the variables involved in bit operation,the constraints embody every bit of the variable and the value which meet the constraint is discontinuous.Existing methods of interval analysis are difficult to effectively determine the range of values,because they do not make full use of the features of variables related to bit operation.Focusing on test case generation of bit operation,this paper proposes a variable constraints representation technique and a variable constraint correction technique on the basis of traditional constraint solving techniques.According to the constraints on the path and the algorithm of bit operation,we can get the value information of every bit and then generate bit vectors of the constraints.During the interval arithmetic,these bit vectors will be fixed automatically.Finally,we can get the value ranges that meet the path constraint,which can be used to generate correct test cases.As for the variable involved in both numerical operation and bit operation,we present two types of the interval transformation algorithm.Based on the Code Testing System(CTS),the author realized the methods above,and took experiments in general application scenarios of bit operation.Experiments result verifies the solutions mentioned can effectively support the test case generation for bit operation in unit testing.