Research And Application Of Object-Oriented Testing In ATC The System

This thesis analyzes the features of Object-Oriented software and the affects of these features to the software testing, and demonstrates the hierarchy, each layer's testing features and the different ways for class level and class group level test in Object-Oriented software testing processes. The thesis focuses on exploring the application of the Object-Oriented testing techniques in air traffic management system, and explores different means to auto-generate testing use cases based on the classes in the UML state diagrams as well. The thesis firstly introduces the difficulties made by the mechanisms imported from object-oriented methods, such as encapsulation,inheritance and polymorphism, in the object-oriented software testing process. And then it explicitly demonstrates object-oriented software unit test,integration test and systemic test techniques based on the software testing steps. Class is the basic unit in object-oriented test. Generally, class test can be divided into the testing way based on data flow and the testing way based on object states. Through optimizing the algorithm of the message queue parsed from the specification files of the UML state diagrams, this thesis improves the conventional testing way much, which is based on the procedures' data flow. Most of the current testing ways based on the object states use the conventional flat machine, which doesn't support nest and concurrency, and what's more which is too complicated. The thesis replaces the conventional state- machine with UML state diagrams to describe the state of objects and the transition between objects, and further it auto-generates a testing use case based on the states of objects by creating a testing tree. Auto-testing technique is very important in the software development, and auto-generating accurate and reasonable testing use cases from the UML models is another exploring direction of this thesis.The air traffic management system instance used in this thesis is a object-oriented real-time system. The difficulties for testing real-time software come from the concurrency and time limitation of the real-time system. To some extent, the state diagrams can resolve the problem mentioned above. By analyzing an instance, the thesis present a whole procedure, including unit test,integration test,testing plan,testing strategies and the selection of testing use cases specially, for testing an object-oriented real-time software. It is more reasonable for real-time software to select Rhapsody, a Model-Driven Development (MDD) software developing platform, as a tool for testing. Rhapsody provides testing methods based on models by itself, and it can maximize the capabilities of the system,hardware,software and testing engineers to make the development association and communication more flexible and optimized.The testing methods introduced in this thesis involve not only the test for software systems, but also the test and validation for software requirements and design models during the software design phase. Software test should be used throughout the whole software life cycle of software definition and development. Software specifications,architecture design and coding are all the objectives of software test. It is significantly useful for the test in the software development to have a well-built analyzing model of software requirements.