Research On Object-oriented Class States Testing

With the development of software applications,software testing,an effective way of assurance the quality of software,has been wide attentioned.While the rapidly development of Object-oriented technology,which brings new demands to software testing technology and makes studying object-oriented software testing technology become an urgent affair.Therefore,this paper studies the characteristics of object-oriented technology,analyses the new questions of object-oriented software testing technology,makes use of UML technology and focuses on object-oriented class status testing methods.In the process of class state testing,the general method is that transforms an And Level State Machine to an Extended Finite States Machine(EFSM) and then generates the test case.But it will generate too much global states to complex a class which contains many states especially,And states in the process of transformation,so there will be states explosion.This paper advances the concept of Nomeans Configuration,which means that there are two states,s₁ and s₂,can not exist at the same time in a Configuration.So,these Nomeans Configurations needn't be deal with in the process of transformation.This paper also introduces the theorem of Nomeans Configuration and the process of proveing in detail.Through this way,it will greatly reduce the number of global states to some class,which has And states and there are same state transition conditions in the And states or it has ruled that some states can't exist in the state transition conditions,and reduce the degree of states explosion in the process of transformation,so it will improve the efficiency of the transform.In this paper,this method has been applied to an example of temperature control system and researches the process of testing in detail.Through exclude Nomeans Configuration,it will reduce the number of global states when transforms the And Level State Machine to EFSM.