A Study On The Object-Oriented Testing Method For KBS

Now, scale of software systems is larger and larger, an increasing number of complexity. Results are more serious because of software errors. Quality and reliability of software have been recognized. In modern software engineering, software should be made strict quality valuation and testing in every phase of software developing. Software testing has become key phase for guaranteeing quality.This dissertation is concerned with the application of software quality and assurance techniques to KBS.Knowledge base is a kernel part in an intelligent system. Uncertainty in reasoning and problem solving procedure suffers from inconsistency in knowledge base, and the latter causes a series of faults and conflicts. To this problem, there are different kinds of solutions currently such as classical logic and truth maintenance techniques. This dissertation focuses attention on the implementation and characteristics of Petri Net based consistency checking system in a KBS, the problems occurring on the cosistency and integrality of the knowledge base are analysed, and the definitions of the circulation rule, conflict rule, equivalence rule, sub-rule, omission rule, inaccessible clause and dead clause are given. As to knowledge-base maintenance, three algorithms including rule circle detection algorithm, inaccessible selectors and dead selectors detection algorithm, and equivalence rule set, appurtenant rule set and conflict rule set detection algorithm are put forward. They help engineers to construct and maintain knowledge base effectively and lay the foundation of automatic knowledge acquisition. Finally, the programs based on Visual C++ is provided.While performing class testing, it is necessary and important to test all the method interactions within a class other than testing the methods separately. Since the OO paradigm promotes reuse, it can be argued that the need for meticulously tested components is even more important for OO software than for traditionalsoftware. Only if a class has been tested in all possible usage context, we can say the class can work correctly and it is reusable. MtSS, a specification technique for 00 software, is proposed in the literature. The MtSS of a class specifies the valid sequence in which its methods can be invoked for the correct behavior of instances of the class. The author of this thesis found that MtSS can directly support test case generation for class testing and develop a test case generation technique using MtSS. To generate less number of test cases that are effective in identifying most of the bugs in a program, partition-based strategy for test case generation is suggested and some partition criteria is given. By practical experiment, it gets the conclusion that it is feasible and reliable to the implementation of consistency checking system by Petri Net method; for OO-KBS, the performance of a test case generation technique using MtSS is better than others.