A Method of State Addreviation for Verification of Class Model

摘要

The Software defect management has become a critical issue with its increasing importance in sensor networks area. In this paper, it focuses on black box approach. Software defects can be found through model based testing. A state diagram is a good dynamic model that can test such a logical error of execution. However, the state diagram has a problem of complexity on the existing states and transitions. It is necessary to derive a state diagram in state based testing and find a method to solve its complexity problems. In order to use state diagram in software testing, its complexity has to be solved without the change of state and transition. This paper suggests a new notation called STMT (State Transition Mapping Tree) to solve the derived complexity without changing the state or transition. It also proposes an STMT automatic generation technique to derive a state diagram from a Java source code automatically. The suggested diagram can improve complexities partially, compared with UML state diagram.