Experimental Comparison of Test Case Generation Methods for Finite State Machines

2012 ◽  
Author(s):  
Andre Takeshi Endo ◽  
Adenilso Simao
Keyword(s):  
Finite State Machines ◽  
Experimental Comparison ◽  
Test Case Generation ◽  
Test Case ◽  
State Machines ◽  
Finite State

scholarly journals Towards Incremental FSM-based Testing of Software Product Lines

2012 ◽  
Author(s):  
Maykon Luís Capellari ◽  
Itana Maria de Souza Gimenes ◽  
Adenilso da Silva Simão ◽  
Andre Takeshi Endo
Keyword(s):  
Embedded System ◽  
Finite State Machines ◽  
Product Line ◽  
Test Case ◽  
Test Cases ◽  
State Machines ◽  
Product Lines ◽  
Software Product ◽  
Finite State ◽  
The Cost

Software Product Line (SPL) is an approach which offers several benefits for organizations, such as significant reductions in the development and maintenance costs, reduced time-to-market, and personalized software products. In SPLs, the testing activity presents challenges due to characteristics of their development process. The cost of testing SPL is usually higher than the cost of testing traditional systems. SPLs foster the reuse of artifacts that include requirement specifications, code and models. Among different models used in an SPL, state-based models, such as Finite State Machines, are promising candidates to support the test case generation. Therefore, we propose a strategy to reuse test cases generated for different products of an SPL. Test cases are derived from Finite State Machines representing products instantiated from an SPL. The test cases generated for a product are reused when testing further products instantiated from the same SPL, in order to reduce the size of additional test cases. We illustrate our strategy in a case study using two SPLs of embedded system applications.

H-Switch Cover: a new test criterion to generate test case from finite state machines

2015 ◽  
Vol 25 (2) ◽  
pp. 373-405 ◽  
Author(s):  
Érica Ferreira de Souza ◽  
Valdivino Alexandre de Santiago Júnior ◽  
Nandamudi Lankalapalli Vijaykumar
Keyword(s):  
Finite State Machines ◽  
Test Case ◽  
State Machines ◽  
Test Criterion ◽  
Generate Test Case ◽  
Finite State
Sign in / Sign up

Export Citation Format

Share Document