Researches On CORBA-Based Distributed Object System Testing

Software testing is one of the most important issues in computer science and engineering. Nowadays, with the improvement of software testing theories and fast development of supporting technologies, software testing has become an indispensable key process of software quality assurance in software engineering area.Distributed computing technology usually refers developing, allocating, managing and maintaining distributed application systems on computer network, whose main aim is resource sharing and cooperation. It is the most important and active factor that affects the development of compute technology in the last two decades. Distributed technology is the combination of object oriented technology and distributed computing technology. In this kind of software architecture, all the functions of an application can be realized by the numerous services offered by many distributed objects. There are three mainstream technologies in distributed object computing: OMG's CORBA, Sun MicroSystem's EJB and Microsoft's DCOM. Among these three, CORBA has better standard, extensibility and openness, which makes it play an increasing role in large distributed system developing. When testing a distributed object program, we must consider concurrency and program running environment at the same time because of the distribution of programs. There are nondeterministic and synchronize problems in a CORBA running environment because of the existence of concurrence. Distributed object programs cannot be predicted and cannot recur, this makes the test work based on them becomes very difficult. This dissertation makes a thorough research work on CORBA system testing based on event constrain testing technology. Based on program specification, this dissertation puts forward E-CSPE to define the relationships between events that are event constrains and formulates new event constrains from E-CSPE. By judging the event sequence when running a program and the event constrains described by E-CSPE, we can test the correctness of a CORBA distributed object program.This dissertation studies test frameworks and puts forward TFCDOS—a test framework based on CORBA. TFCDOS can record a CORBA distributed object program's running process by using event sequence and check the effectiveness by defining event constrains. TFCDOS can effectively judge the correctness of concurrency when execute a CORBA distributed object program. This can be used in the function testing and performance testing in CORBA distributed object programs.