| During the process of software testing, the generation of test case is critical and difficult. Presently, generation of test case is primarily done manually, relying heavily on testers' experience and capability, which results in low efficiency of software testing, high cost of software development and uncertainty of software quality. Although there have been some tools for auto generating test case and to some extent increased the automation of software test, however, some problems exist in the formal method used by these tools, such as poor flexibility, hard to extend, high cost in development, inconveniency in the management and maintenance of test script and so on.In this paper, a method based on XML Schema to describe class specification is provided and an approach to generating test case and testing report documents from XML test script is presented. Besides, some examples are combined to introduce the procedure in detail and a C# program is also written to verify the methods in .NET environment. First design a reasonable XML Schema structure and under the restriction of XML Schema use XML to describe the UML class diagram and the related specification, and then extract the test specification of method from XML test script. Test specification refers to predicate sequences in the form of conjunctive normal form, extracted from basic constraint conditions of variables included in test scripts and expected outputs. Each conjunctive normal form can be transformed to an inequation set, and adopt 1×1 domain test strategy to every inequation set to produce the domain test matrix, which in turn produce the test case. Experiments have proved that the method of using XML to describe the software specification is very flexible, easy to extend, supported directly by most program languages and accessed fast. Moreover 1×1 domain test strategy can decrease the number of test cases generated from test scripts to some extend which improves the efficiency of software test. |
PDF Full Text Request