1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16d.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP7W/397GGFL |
Repositório | sid.inpe.br/mtc-m19/2011/02.18.15.03 (acesso restrito) |
Última Atualização | 2011:02.21.15.56.32 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m19/2011/02.18.15.03.54 |
Última Atualização dos Metadados | 2021:02.11.18.18.09 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
DOI | 10.1109/ICSTW.2010.52 |
ISBN | 978-076954050-4 |
Chave de Citação | YanoMartSous:2010:GeFeTe |
Título | Generating feasible test paths from an executable model using a multi-objective approach |
Ano | 2010 |
Data de Acesso | 28 mar. 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 650 KiB |
|
2. Contextualização | |
Autor | 1 Yano, T. 2 Martins, E. 3 Sousa, F. L. |
Grupo | 1 2 3 DMC-ETE-INPE-MCT-BR |
Afiliação | 1 Institute of Computing, State University of Campinas, UNICAMP, Campinas, SP, Brazil 2 Institute of Computing, State University of Campinas, UNICAMP, Campinas, SP, Brazil 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Nome do Evento | 3rd International Conference on Software Testing, Verification, and Validation Workshops, 3. (ICSTW) |
Localização do Evento | Paris |
Data | 6 - 10 Apr. 2010 |
Volume | Article number 5463651 |
Páginas | 236-239 |
Histórico (UTC) | 2011-02-21 15:56:32 :: marciana -> administrator :: 2010 2021-02-11 18:18:09 :: administrator -> marciana :: 2010 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Palavras-Chave | 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 |
Resumo | 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. |
Área | ETES |
Arranjo | Generating feasible test... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
Idioma | en |
Arquivo Alvo | Yano_Generation.pdf |
Grupo de Usuários | administrator marciana |
Visibilidade | shown |
Permissão de Leitura | deny from all and allow from 150.163 |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/446AF4B |
Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination e-mailaddress edition editor electronicmailaddress format issn label lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|