Based On Uml State Diagram Of Class-level Testing Technology

With the popular application of object_oriented technology people focus on object_oriented testing more and more. Object_oriented testing can be divided into four levels: function level, class level, cluster level and system level. The function and system level testing methods are similar to the traditionals'but the class and cluster level testing encounter the new problems. The class is the set of datum and operation of datum. Implement code_covering testing is insufficient fore needs of a class testing. UML is a powerful and complicated language for modeling. It provided a method mechanism and a set of visual diagrams to help developing and managing systems. UML describes the system in concise and accurate way, so it is popular used. As the result of above, people are considering introducing UML in testing. So testing a class based UML formulas have the realistic meaning. A testing method based UML formula can product the testing cases at the time of making specification. This can provide test cases at the beginning of development, and let the test cases are consistent with the formula. The research content in my paper including: The syntax , semanteme and formal description of UML statechart; The formal description of finite state machine (FSM) and extended finite state sate machine (EFSM); The method of transforming UML statechart to EFSM. ; The criterions of covering rules for data flow and control flow testing. My work is as following: Research the method for testing class based on UML statechart and bring forward the methods for transforming the UML statechart to EFSM and producing testing cases of control flow and data flow based on it. In course of data flow testing, I improve the method for EFSM testing. The difficulties of work are to keep the information as much in EFSM. And in the process of producing testing cases , I must use the control flow and data flow technolog as well as covering rules. Finally , implement the correspondence arithmetic in Visual C++ 6.0 based on the theory.