A Test Design Methodology for Protocol Testing
IEEE Transactions on Software Engineering
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Specifications of a simplified transport protocol using different formal description techniques
Computer Networks and ISDN Systems
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Computer
Automatic generation of functional vectors using the extended finite state machine model
ACM Transactions on Design Automation of Electronic Systems (TODAES)
On fault coverage of tests for finite state specifications
Computer Networks and ISDN Systems - Special issue on protocol testing
Automated program flaw finding using simulated annealing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Test development for communication protocols: towards automation
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Symbolic execution and program testing
Communications of the ACM
Software Engineering Economics
Software Engineering Economics
Iterative Computer Algorithms with Applications in Engineering: Solving Combinatorial Optimization Problems
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
Generating Software Test Data by Evolution
IEEE Transactions on Software Engineering
Requirement-Based Automated Black-Box Test Generation
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
An Automated Framework for Structural Test-Data Generation
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
A program complexity metric based on data flow information in control graphs
ICSE '84 Proceedings of the 7th international conference on Software engineering
ICSE '81 Proceedings of the 5th international conference on Software engineering
Model Based Regression Test Reduction Using Dependence Analysis
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models
IEEE Transactions on Computers
On the testability of SDL specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Metrics Are Fitness Functions Too
METRICS '04 Proceedings of the Software Metrics, 10th International Symposium
Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
Theoretical Computer Science
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
HLDVT '05 Proceedings of the High-Level Design Validation and Test Workshop, 2005. on Tenth IEEE International
On Generating EFSM Models from Use Cases
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Automatic generation of software behavioral models
Proceedings of the 30th international conference on Software engineering
Functional Search-based Testing from State Machines
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Constraint Solving and Symbolic Execution
Verified Software: Theories, Tools, Experiments
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
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
Validation of SDL specifications using EFSM-based test generation
Information and Software Technology
Estimating the feasibility of transition paths in extended finite state machines
Automated Software Engineering
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
ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
Improving the coverage criteria of UML state machines using data flow analysis
Software Testing, Verification & Reliability
Generating test cases for web services using extended finite state machine
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
An improved test generation approach from extended finite state machines using genetic algorithms
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Hi-index | 0.00 |
Context: The extended finite state machine (EFSM) is a modelling approach that has been used to represent a wide range of systems. When testing from an EFSM, it is normal to use a test criterion such as transition coverage. Such test criteria are often expressed in terms of transition paths (TPs) through an EFSM. Despite the popularity of EFSMs, testing from an EFSM is difficult for two main reasons: path feasibility and path input sequence generation. The path feasibility problem concerns generating paths that are feasible whereas the path input sequence generation problem is to find an input sequence that can traverse a feasible path. Objective: While search-based approaches have been used in test automation, there has been relatively little work that uses them when testing from an EFSM. In this paper, we propose an integrated search-based approach to automate testing from an EFSM. Method: The approach has two phases, the aim of the first phase being to produce a feasible TP (FTP) while the second phase searches for an input sequence to trigger this TP. The first phase uses a Genetic Algorithm whose fitness function is a TP feasibility metric based on dataflow dependence. The second phase uses a Genetic Algorithm whose fitness function is based on a combination of a branch distance function and approach level. Results: Experimental results using five EFSMs found the first phase to be effective in generating FTPs with a success rate of approximately 96.6%. Furthermore, the proposed input sequence generator could trigger all the generated feasible TPs (success rate=100%). Conclusion: The results derived from the experiment demonstrate that the proposed approach is effective in automating testing from an EFSM.