Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The State-Based Testing of Object-Oriented Programs
ICSM '93 Proceedings of the Conference on Software Maintenance
Testing of Object-Oriented Programs Based on Finite State Machines
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Test Selection from UML Statecharts
TOOLS '99 Proceedings of the 31st International Conference on Technology of Object-Oriented Language and Systems
A Test Class Framework for Generating Test Cases from Z Specifications
ICECCS '00 Proceedings of the 6th IEEE International Conference on Complex Computer Systems
Automated-generating test case using UML statechart diagrams
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Automatic State-Based Test Generation Using Genetic Algorithms
SYNASC '07 Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Efficient Software Test Case Generation Using Genetic Algorithm Based Graph Theory
ICETET '08 Proceedings of the 2008 First International Conference on Emerging Trends in Engineering and Technology
Control Dependence for Extended Finite State Machines
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)
TAIC-PART '09 Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML behavioral model based test case generation: a survey
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
An UML statechart diagram is used to model the dynamic aspects of object oriented software systems. A Finite State Machine (FSM) and an Extended Finite State Machine (EFSM) are commonly used for Model Based-Testing (MBT). A test case generation from FSM is easy due to unconditional transition from state to state by traversal. A test case generation from EFSM needs to satisfy the guard condition before transition from state to state. Testing from EFSM is difficult due to unfeasible paths and test data. This paper proposes a search-based approach to find feasible transition sequences and test data generation. The Unified Modeling Language specifications are translated into extended flow graphs. An Extended flow graph from EFSM specifies the control and data flow in a statechart diagram. To guide the feasible transition path a genetic algorithm (GA) framework is proposed. It is shown that the test cases so generated yield an improved test set.