Modeling and Validation of Object-Oriented Test Case through Finite State Machine

Abstract

Distributed computing approach is preferred over centralized approach due to low cost involvement and for providing reliability and expandability to network. An object-oriented language Unified Modeling Language is proposed by the authors to model the dynamic behavior for execution of tasks for the digital watch under distributed environment. A UML state diagram is designed and then converted into the transition diagram for computation of valid test cases by the use of Finite State Machine (FSM). Test cases are validated for the validation of the UML state diagram. The approach for generating the test cases through FSM is very reliable and efficient and does not support for the invalid test cases.