A method of state addreviation for verification of class model
- Authors
- Choi, S.-K.; Park, B.; Kim, R.Y.C.; Park, Y.B.
- Issue Date
- 2013
- Publisher
- IEEE Computer Society
- Keywords
- Automatic Generation Method; Software Testing; State Diagram; STMT
- Citation
- Proceedings - 2013 4th World Congress on Software Engineering, WCSE 2013, pp.69 - 72
- Journal Title
- Proceedings - 2013 4th World Congress on Software Engineering, WCSE 2013
- Start Page
- 69
- End Page
- 72
- URI
- https://scholarworks.bwise.kr/hongik/handle/2020.sw.hongik/17237
- DOI
- 10.1109/WCSE.2013.15
- ISSN
- 0000-0000
- Abstract
- 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. © 2013 IEEE.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - Graduate School > Software and Communications Engineering > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.bwise.kr/hongik/handle/2020.sw.hongik/17237)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.