%0 Conference Proceedings
%@nexthigherunit 8JMKD3MGPCW/446AF4B
%@holdercode {isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}
%3 Yano_Generation.pdf
%B 3rd International Conference on Software Testing, Verification, and Validation Workshops, 3. (ICSTW)
%X Search-based testing techniques using metaheuristics, like evolutionary algorithms, has been largely used for test data generation, but most approaches were proposed for white-box testing. In this paper we present an evolutionary approach for test sequence generation from a behavior model, in particular, Extended Finite State Machine. An open problem is the production of infeasible paths, as these should be detected and discarded manually. To circumvent this problem, we use an executable model to obtain feasible paths dynamically. An evolutionary algorithm is used to search for solutions that cover a given test purpose, which is a transition of interest. The target transition is used as a criterion to get slicing information, in this way, helping to identify the parts of the model that affect the test purpose. We also present a multi-objective search: the test purpose coverage and the sequence size minimization, as longer sequences require more effort to be executed.
%@mirrorrepository sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
%T Generating feasible test paths from an executable model using a multi-objective approach
%@isbn 978-076954050-4
%@secondarytype PRE CI
%K Executable model, Feasible path, Model-based testing, Multi-objective optimization, 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.
%8 6 - 10 Apr. 2010
%@usergroup administrator
%@usergroup marciana
%@group
%@group
%@group DMC-ETE-INPE-MCT-BR
%@secondarykey INPE--PRE/
%2 sid.inpe.br/mtc-m19/2011/02.18.15.03.54
%@affiliation Institute of Computing, State University of Campinas, UNICAMP, Campinas, SP, Brazil
%@affiliation Institute of Computing, State University of Campinas, UNICAMP, Campinas, SP, Brazil
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%P 236-239
%4 sid.inpe.br/mtc-m19/2011/02.18.15.03
%@documentstage not transferred
%D 2010
%V Article number 5463651
%@doi 10.1109/ICSTW.2010.52
%A Yano, T.,
%A Martins, E.,
%A Sousa, F. L.,
%C Paris
%@area ETES