| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | plutao.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 8JMKD3MGP3W/3MTMTFD |
| Repositório | sid.inpe.br/plutao/2016/12.05.18.45.11 |
| Última Atualização | 2016:12.09.19.51.02 (UTC) lattes |
| Repositório de Metadados | sid.inpe.br/plutao/2016/12.05.18.45.12 |
| Última Atualização dos Metadados | 2018:06.04.23.26.09 (UTC) administrator |
| Rótulo | lattes: 7074181888782869 1 MarianoSouzEndoVija:2016:CoStAl |
| Chave de Citação | MarianoSouzEndoVija:2016:CoStAl |
| Título | A comparative study of algorithms for generating switch cover test sets  |
| Formato | DVD |
| Ano | 2016 |
| Data de Acesso | 26 abr. 2024 |
| Tipo Secundário | PRE CN |
| Número de Arquivos | 1 |
| Tamanho | 1561 KiB |
| 2. Contextualização | |
| Autor | 1 Mariano, Matheus Monteiro 2 Souza, Érica Ferreira de 3 Endo, André Takeshi 4 Vijaykumar, Nandamudi Lankalapalli |
| Identificador de Curriculo | 1 2 3 4 8JMKD3MGP5W/3C9JHTU |
| Grupo | 1 LAC-CTE-INPE-MCTI-GOV-BR 2 3 4 LAC-CTE-INPE-MCTI-GOV-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Universidade Tecnologica Federal do Paraná (UTFPR) 3 Universidade Tecnologica Federal do Paraná (UTFPR) 4 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Endereço de e-Mail do Autor | 1 matheus.mariano2@fatec.sp.gov.br 2 ericasouza@utfpr.edu.br 3 andreendo@utfpr.edu.br 4 vijay.nl@inpe.br |
| Nome do Evento | Simpósio Brasileiro de Qualidade de Software, 15 (SBQS 2016) |
| Localização do Evento | Maceió, AL |
| Data | 24-26 out. |
| Páginas | 1-15 |
| Título do Livro | Proceedings |
| Tipo Terciário | Paper |
| Histórico (UTC) | 2016-12-05 21:27:12 :: lattes -> administrator :: 2016 2016-12-07 03:44:31 :: administrator -> lattes :: 2016 2016-12-09 19:51:02 :: lattes -> administrator :: 2016 2018-06-04 23:26:09 :: administrator -> simone :: 2016 |
| 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 |
| Resumo | Test case generation based on Finite State Machines (FSMs) has been extensively investigated due to its accuracy and simplicity. Several test criteria have been proposed in the literature to generate test cases based on FSMs. One of the oldest criteria is the Switch Cover. As a main feature, the Switch Cover criterion defines that all transition pairs of an FSM must be covered. The classical Switch Cover algorithm converts the FSM into a graph (known as Dual Graph); this graph is balanced, and, finally, traversed based on an Eulerian Cycle algorithm. In this context, considering the stage where an FSM is converted into a graph, this study investigates other search algorithms on graphs, namely Depth-First Search (DFS) and Breadth-First Search (BFS), for generating test sets from a Dual Graph. We presented an experimental study that compares the DFS, BFS algorithms with the Eulerian Cycle. The study was conducted with a set of random and real-world machines, taking into account the number of test cases, the test suite size, the average length of sequences and generation time. |
| Área | COMP |
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > A comparative study... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W/3MTMTFD |
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W/3MTMTFD |
| Idioma | en |
| Arquivo Alvo | mariano_comparative.pdf |
| Grupo de Leitores | administrator lattes |
| Visibilidade | shown |
| Permissão de Leitura | allow from all |
| Permissão de Atualização | não transferida |
| 5. Fontes relacionadas | |
| Repositório Espelho | urlib.net/www/2011/03.29.20.55 |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP |
| Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor isbn issn keywords lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url usergroup versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | simone |
| atualizar | |
