Fechar
Metadados

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3A7BG8H
Repositóriosid.inpe.br/mtc-m19/2011/08.02.13.28
Última Atualização2012:01.27.12.32.50 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m19/2011/08.02.13.28.37
Última Atualização dos Metadados2021:02.11.18.18.17 (UTC) administrator
Chave SecundáriaINPE--PRE/
DOI10.1109/ICSTW.2011.37
ISBN978-0-7695-4345-1
978-1-4577-0019-4
Chave de CitaçãoYanoMartSous:2011:MuSeTe
TítuloMOST: a multiobjective search-based testing from EFSM
Ano2011
Data de Acesso02 jun. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho967 KiB
2. Contextualização
Autor1 Yano, Thaise
2 Martins, Eliane
3 Sousa, Fabiano Luís de
Identificador de Curriculo1
2
3 8JMKD3MGP5W/3C9JH3H
Grupo1
2
3 DMC-ETE-INPE-MCT-BR
Afiliação1 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)
Endereço de e-Mailsecretaria.cpa@dir.inpe.br
Nome do EventoSoftware Testing, Verification and Validation Workshops (ICSTW), IEEE International Conference on Software Testing, Verification and Validation, 4
Localização do EventoBerlin
Data21-25 Mar.
Histórico (UTC)2012-01-27 12:32:50 :: secretaria.cpa@dir.inpe.br -> administrator :: 2011
2021-02-11 18:18:17 :: administrator -> marciana :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Palavras-ChaveAdaptation models
Analytical models
Asynchronous transfer mode
Neodymium
Optimization
Testing
Unified modeling language
ResumoThis paper introduces a multi-objective evolutionary approach to test case generation from extended finite state machines (EFSM), named MOST. Testing from an (E)FSM generally involves executing various transition paths, until a given coverage criterion (e.g. cover all transitions) is met. As traditional test generation methods from FSM only consider the control aspects, they can produce many infeasible paths when applied to EFSMs, due to conflicts in guard conditions along a path. In order to avoid the infeasible path generation, we propose an approach that obtains feasible paths dynamically, instead of performing static reachability analysis as usual for FSM-based methods. Previous works have treated EFSM test case generation as a mono-objective optimization problem. Our approach takes two objectives into account that are the coverage criterion and the solution length. In this way, it is not necessary to establish in advance the test case size as earlier approaches. MOST constructs a Pareto set approximation, i.e., a group of optimal solutions, which allows the test team to select the solutions that represent a good trade-off between both objectives. The paper shows empirical studies to illustrate the benefits of the approach and comparing the results with the ones obtained in a related work.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDMC > MOST: a multiobjective...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 02/08/2011 10:28 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3A7BG8H
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3A7BG8H
Idiomaen
Arquivo Alvo05954406.pdf
Grupo de Usuáriosadministrator
secretaria.cpa@dir.inpe.br
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/446AF4B
Lista de Itens Citandosid.inpe.br/mtc-m21/2012/07.13.14.45.51 1
DivulgaçãoIEEEXplore
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosarchivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel edition editor electronicmailaddress format issn label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)marciana
atualizar 


Fechar