1. Identificação | |
Tipo de Referência | Relatório (Report) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP5W34M/3GSJNNP |
Repositório | sid.inpe.br/mtc-m21b/2014/08.21.12.44 |
Última Atualização | 2017:05.04.18.17.45 (UTC) marcelo.pazos@inpe.br |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2014/08.21.12.44.59 |
Última Atualização dos Metadados | 2021:02.11.20.58.21 (UTC) administrator |
Número do Relatório | INPE-17436-RPQ/267 |
Chave de Citação | AmbrosioSiBrOlPaCe:2014:EsCaMo |
Título | Estudo de casos em modelagem e geração automática de testes desenvolvidos na disciplina de verificação e validação de sistemas espaciais |
Título Curto | MODELAGEM E GERAÇÃO AUTOMÁTICA DE TESTES |
Projeto | Verificação e validação em sistemas espaciais |
Ano | 2014 |
Data de Acesso | 29 mar. 2024 |
Tipo | RPQ |
Número de Páginas | 74 |
Número de Arquivos | 1 |
Tamanho | 2552 KiB |
|
2. Contextualização | |
Autor | 1 Ambrosio, Ana Maria 2 Silva, Paulo Diego Barbosa da 3 Brandolin, João Batista 4 Oliveira, Emerson H. S. 5 Padilha, Juliana Joria 6 Cereja Junior, Moacyr Gonçalves |
Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JGH7 |
Grupo | 1 DSE-ETE-INPE-MCTI-GOV-BR 2 DSE-ETE-INPE-MCTI-GOV-BR 3 CSE-ETES-SPG-INPE-MCTI-GOV-BR 4 CSE-ETES-SPG-INPE-MCTI-GOV-BR 5 CSE-ETES-SPG-INPE-MCTI-GOV-BR 6 CSE-ETES-SPG-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) 4 Instituto Nacional de Pesquisas Espaciais (INPE) 5 Instituto Nacional de Pesquisas Espaciais (INPE) 6 Instituto Nacional de Pesquisas Espaciais (INPE) |
Endereço de e-Mail do Autor | 1 ana.ambrosio@inpe.br 2 paulodiego1@gmail.com 3 jbbrandolin@gmail.com 4 emersonhso@gmail.com 5 juliana.padilha@gmail.com 6 moacyr.cereja@gmail.com |
Endereço de e-Mail | ana.ambrosio@inpe.br |
Instituição | Instituto Nacional de Pesquisas Espaciais |
Cidade | São José dos Campos |
Histórico (UTC) | 2014-08-21 12:47:26 :: ana.ambrosio@inpe.br -> yolanda :: 2014-08-21 16:25:23 :: yolanda -> tereza@sid.inpe.br :: 2014-08-25 13:42:08 :: tereza@sid.inpe.br :: -> 2014 2014-08-25 14:04:45 :: tereza@sid.inpe.br -> administrator :: 2014 2016-06-04 05:06:37 :: administrator -> yolanda.souza@mcti.gov.br :: 2014 2017-07-03 12:59:16 :: yolanda.souza@mcti.gov.br -> marcelo.pazos@inpe.br :: 2014 2017-07-03 13:00:17 :: marcelo.pazos@inpe.br -> administrator :: 2014 2021-02-11 20:58:21 :: administrator -> simone :: 2014 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | Teste baseado em modelos máquina de estados finitos verificação e validação sistemas espaciais model-basid testing finite state machine verification e validation space systems |
Resumo | Este relatório compila e analisa os resultados da modelagem de quatro trabalhos experimentais realizados durante a disciplina de Verificação e Validação de Sistemas Espaciais (CSE-207-4), do curso de pós-graduação em Engenharia e Tecnologias Espaciais (PG-ETE). Os trabalhos experimentais constam da criação de modelos de estados e da geração automática de testes a partir de modelos representando o comportamento de sistemas reativos, através de técnicas e ferramentas de teste baseadas em máquinas de estados finitos (MEF). Conjuntos de casos de teste são gerados automaticamente com o uso da Plataforma JPlavisFSM e das ferramentas MME e Condado. A plataforma JPlavisFSM permite aplicar diferentes métodos para gerar conjuntos de casos de testes, bem como avaliar tais conjuntos de casos de teste com base em mutantes de MEFs, servindo como uma ferramenta para apoio a atividades de verificação e validação. ABSTRACT This report compiles and analyzes the results of the modeling of four experimental works carried out during the discipline of Verification and Validation of Space Systems (CSE-207-4), of the postgraduate course in Engineering and Space Technologies (PG-ETE). The experimental work consists of the creation of state models and the automatic generation of tests from models representing the behavior of reactive systems, through techniques and test tools based on finite state machines (MEF). Test case sets are generated automatically using the JPlavisFSM Platform and the MME and County tools. The JPlavisFSM platform allows applying different methods to generate test case sets, as well as evaluating such test case sets based on MEF mutants, serving as a tool to support verification and validation activities. |
Área | ETES |
Arranjo 1 | urlib.net > CSE > MODELAGEM E GERAÇÃO AUTOMÁTICA DE TESTES |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > MODELAGEM E GERAÇÃO AUTOMÁTICA DE TESTES |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | publicacao.pdf | 25/08/2014 10:58 | 2.5 MiB | |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP5W34M/3GSJNNP |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP5W34M/3GSJNNP |
Idioma | pt |
Grupo de Usuários | administrator ana.ambrosio@inpe.br marcelo.pazos@inpe.br tereza@sid.inpe.br yolanda.souza@mcti.gov.br |
Grupo de Leitores | administrator ana.ambrosio@inpe.br tereza@sid.inpe.br yolanda.souza@mcti.gov.br |
Visibilidade | shown |
Licença de Direitos Autorais | urlib.net/www/2012/11.12.15.10 |
Detentor dos Direitos | originalauthor yes |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/446AUSL |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.14.22.20 1 |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder creatorhistory date descriptionlevel dissemination doi edition format isbn issn label lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress recipient schedulinginformation secondarydate secondarykey secondarymark secondarytype session sponsor subject targetfile tertiarymark tertiarytype translator url versiontype |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|