Generating feasible test paths from an executable model using a multi-objective approach

ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops

Volumn , Issue , 2010, Pages 236-239

  Yano, Thaise ^a   Martins, Eliane ^a   De Sousa, Fabiano L ^b  

^a UNIVERSITY OF CAMPINAS   (Brazil)

^b INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS   (Brazil)

Author keywords

Executable model; Feasible path; Model based testing; Multi objective optimization

Indexed keywords

BEHAVIOR MODEL; EVOLUTIONARY APPROACH; EXECUTABLE MODEL; EXTENDED FINITE STATE MACHINE; INFEASIBLE PATHS; META HEURISTICS; MULTI OBJECTIVE; OPEN PROBLEMS; PATH MODELS; SIZE MINIMIZATION; TEST DATA GENERATION; TEST PURPOSE; TEST SEQUENCE; TESTING TECHNIQUE; WHITE-BOX TESTING;

COMPUTER SOFTWARE SELECTION AND EVALUATION; EVOLUTIONARY ALGORITHMS; SOFTWARE TESTING; TESTING; VERIFICATION;

MULTIOBJECTIVE OPTIMIZATION;

EID: 77953740802     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2010.52     Document Type: Conference Paper

References (13)

1. A. Baresel, H. Pohlheim, and S. Sadeghipour, "Structural and functional sequence test of dynamic and state-based software with evolutionary algorithms," in Proc. GECCO'03, 2003, pp. 2428-2441.
2. K. Derderian, R. M. Hierons, M. Harman, and Q. Guo, "Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms," in Proc. GECCO'05. Washington DC, USA: ACM, Jun. 2005, pp. 1081-1082.
3. A. S. Kalaji, R. M. Hierons, and S. Swift, "Generating feasible transition paths for testing from an extended finite state machine (efsm)," in Proc. ICST'09. Washington, DC, USA: IEEE Computer Society, 2009, pp. 230-239.
4. P. McMinn and M. Holcombe, "Evolutionary testing of statebased programs," in Proc. GECCO'05. New York, NY, USA: ACM, 2005, pp. 1013-1020.
5. T. Yano, E. Martins, and F. L. De Sousa, "An evolutionary approach for robustness testing," in Proc. Int. Conf. on Evolutionary Computation (ICEC'09), 2009, pp. 277-280.
6. I. Hwang, M. Lallali, A. R. Cavalli, and D. Verchère, "Modeling, validation, and verification of pcep using the if language," in Proc. Formal Techniques for Distributed Systems (FMOODS/FORTE), ser. Lecture Notes in Computer Science, vol. 5522. Springer, 2009, pp. 122-136.
7. B. Korel, I. Singh, L. Tahat, and B. Vaysburg, "Slicing of state-based models," in Proc. Int. Conf. on Software Maintenance (ICSM'03), Washington, DC, USA, 2003, p. 34.
8. K. Androutsopoulos, D. Binkley, D. Clark, and M. Harman, "Slicing extended finite state machines," Department of Computer Science, King's College London, Tech. Rep. TR-08-05, July 2008.
9. F. L. De Sousa, F. M. Ramos, P. Paglione, and R. M. Girardi, "New stochastic algorithm for design optimization," AIAA Journal, vol. 41, no. 9, pp. 1808-1818, Sep. 2003.
10. R. L. Galski, "Development of improved, hybrid, parallel and multiobjective versions of the generalized extremal optimization method and its application to the design of spatial systems," Ph.D. dissertation, INPE, São José dos Campos, SP, Brazil, 2006, (in Portuguese).
11. P. McMinn, "Search-based software test data generation: a survey," Software Testing, Verification and Reliability, vol. 14, no. 2, pp. 105-156, 2004.
12. A. Baresel, H. Sthamer, and M. Schmidt, "Fitness function design to improve evolutionary structural testing," in Proc. GECCO'02, 2002, pp. 1329-1336.
13. N. Tracey, J. Clark, J. McDermid, and K. Mander, "A searchbased automated test-data generation framework for safetycritical systems," Systems engineering for business process change: new directions, pp. 174-213, 2002.