A Design And Implementation, Test Case Generation Method Based On Hamming Distance

In the software engineering, software testing is playing an very important role of software quality assurance. In the mission critical system, such as banking and aeronautics systems.Testing of Boolean expressions in the mission-critical system has a significant meaning. Because there are many logical decisions in the business logic, operational procedures, all this logical decisions is the key point of implementation of the system. Boolean expressions based testing can solve this problems. Not only in the industry production, but also in the theoretical, automatic test case generation has a significant meaning.This paper introduce the method of test case generation of Boolean expression based on hamming distance. We design and implement three different algorithms for it: sequence generation algorithm, expression based algorithm and topology based algorithm, analyze the computation complexity of the algorithms. For the existing method such as MC/DC and MUMCUT, we analyze the result of the two methods. Finally we study the relationship of the three methods. we implement the method MC/DC and MUMCUT for the research purpose.In the study , we prove that the MC/DC and MUMCUT has the disadvantages in detecting the fault implementation of Boolean expression. And we found that the method based on hamming distance can detect more faults. We provide some examples and prove it.After comparison study, we think the hamming distance method subsume the MC/DC and MUMCUT, and can be explained by the theory of the hamming distance. Also the method can be tailored by the requirement to save the testing cost, this is the ability other two method don't have.