| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m21c.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34R/3TFE4HS | |||
| Repositório | sid.inpe.br/mtc-m21c/2019/06.14.15.13 (acesso restrito) | |||
| Última Atualização | 2019:06.14.15.13.55 (UTC) administrator | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21c/2019/06.14.15.13.55 | |||
| Última Atualização dos Metadados | 2020:01.06.11.42.14 (UTC) administrator | |||
| Chave Secundária | INPE--PRE/ | |||
| ISBN | 978-172811756-0 | |||
| Chave de Citação | MarianoSouzEndoVija:2019:AnGrAl | |||
| Título | Analyzing graph-based algorithms employed to generate test cases from finite state machines  | |||
| Ano | 2019 | |||
| Data de Acesso | 06 maio 2024 | |||
| Tipo Secundário | PRE CI | |||
| Número de Arquivos | 1 | |||
| Tamanho | 1193 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Mariano, Matheus Monteiro 2 Souza, Érica F. 3 Endo, André T. 4 Vijaykumar, Nandamudi Lankalapalli | |||
| Identificador de Curriculo | 1 2 3 4 8JMKD3MGP5W/3C9JHTU | |||
| Grupo | 1 CAP-COMP-SESPG-INPE-MCTIC-GOV-BR 2 3 4 LABAC-COCTE-INPE-MCTIC-GOV-BR | |||
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Universidade Tecnológica Federal do Paraná (UFTPR) 3 Universidade Tecnológica Federal do Paraná (UFTPR) 4 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Endereço de e-Mail do Autor | 1 matheus.mariano@inpe.br 2 ericasouza@utfpr.edu.br 3 andreendo@utfpr.edu.br 4 vijay.nl@inpe.br | |||
| Nome do Evento | IEEE Latin American Test Symposium, 20 (LATS) | |||
| Localização do Evento | Santiago, Chile | |||
| Data | 11-13 mar. | |||
| Editora (Publisher) | IEEE | |||
| Título do Livro | Proceedings | |||
| Histórico (UTC) | 2019-06-14 15:15:33 :: simone -> administrator :: 2019 2020-01-06 11:42:14 :: administrator -> simone :: 2019 | |||
| 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 | |||
| Tipo de Versão | publisher | |||
| Palavras-Chave | —Software Testing Model Based Testing Finite State Machine Graph-based algorithms | |||
| Resumo | Context: Model-Based Testing (MBT) is a technique that employs formal models to represent reactive systems behavior and generates test cases. Such systems are mostly specified and verified using Finite State Machines (FSMs). There is a plethora of test generation algorithms in the literature. Most of them are graph-based once an FSM can be formally defined as a graph. Nevertheless, there is a lack of studies on analyzing cost and efficiency of FSM-based test generation algorithms. Objective: This study aims to compare graph-based algorithms employed to generate test cases from FSM models. In particular, we compare the Chinese Postman Problem (CPP) and H-Switch Cover (HSC) algorithms with the well-known depth-first and breadth-first searches algorithms in the context of covering all-transitions and all-transition-pairs criteria in an FSM. Method: First, a systematic literature mapping was conducted to summarize the algorithms that have been adopted in MBT, considering FSM. The main algorithms found were implemented and analyzed in different experiments. Results: CPP presented better results with the FSMs used in terms of number of test cases and test suite size. In addition, CPP also presented low distribution of average length compared to other algorithms. | |||
| Área | COMP | |||
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Analyzing graph-based algorithms... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Analyzing graph-based algorithms... | |||
| 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 | |||
| Grupo de Usuários | self-uploading-INPE-MCTI-GOV-BR simone | |||
| 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 | ||||
| Vinculação | Trabalho não Vinculado à Tese/Dissertação | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3F2PHGS | |||
| Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarytype type url volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||