简介:some of the program paths may be infeasible. Therefore we need some test criteria and path selection strategies to guide the generation of the test paths. This work includes the following two aspects. 1) An efficient method is presented to generate a set of feasible basis paths. This method can generate feasible basis paths for real-world C unit programs automatically in acceptable time. The basis path set generated by this method has the minimum sum of weighted length.2)BPEL is a business description language that could express complex concurrent behaviors. In the future I will present a novel method of BPEL test case generation,and XPath is the means to query on XML documents. The extensive usage of XPath poses a demand to study how to test these applications effectively. BPEL unit testing is complex as we must handle a network of dependencies among individual processes. This test framework only provides a general discussion on methods,whereas unit testing has not gained much attention. Business process unit testing treats an individual process as the unit under test