Resultado da Pesquisa
A expressão de busca foi <ref report and not secondaryty TAE and firstg DSE-ETE-INPE-MCTI-GOV-BR and y 2014>.
1 referência encontrada buscando em 15 dentre 15 sites.
Data e hora local de busca: 26/02/2021 17:04.
Área de identificação
Tipo de ReferênciaReport
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP5W34M/3GSJNNP
Repositóriosid.inpe.br/mtc-m21b/2014/08.21.12.44
Última Atualização2017:05.04.18.17.45 marcelo.pazos@inpe.br
Metadadossid.inpe.br/mtc-m21b/2014/08.21.12.44.59
Última Atualização dos Metadados2021:02.11.20.58.21 administrator
Número do RelatórioINPE-17436-RPQ/267
Chave de CitaçãoAmbrosioSiBrOlPaCe:2014:EsCaMo
TítuloEstudo 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 CurtoMODELAGEM E GERAÇÃO AUTOMÁTICA DE TESTES
ProjetoVerificação e validação em sistemas espaciais
Ano2014
Data de Acesso26 fev. 2021
TipoRPQ
Número de Páginas74
Número de Arquivos1
Tamanho2552 KiB
Área de contextualização
Autor1 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 Curriculo1 8JMKD3MGP5W/3C9JGH7
Grupo1 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ção1 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 Autor1 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-Mailana.ambrosio@inpe.br
InstituçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico2014-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
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-ChaveTeste 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.
ResumoEste 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.
AreaETES
ArranjoINPE > Produção > CSE > MODELAGEM E GERAÇÃO AUTOMÁTICA DE TESTES
Conteúdo da Pasta source
publicacao.pdf 25/08/2014 10:58 2.5 MiB
Conteúdo da Pasta agreement
Autorizacao.pdf 21/08/2014 12:16 1.0 MiB
LISTA PRODUCAOCIENTIFICA ANA MARIA AMBROSIO.pdf 04/05/2017 15:17 12.8 KiB 
TERMO DE DEPOSITO ASSINADO ANA MARIA AMBROSIO PRODUCAO.pdf 03/02/2017 13:50 652.8 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP5W34M/3GSJNNP
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP5W34M/3GSJNNP
Idiomapt
Grupo de Usuáriosadministrator
ana.ambrosio@inpe.br
marcelo.pazos@inpe.br
tereza@sid.inpe.br
yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator
ana.ambrosio@inpe.br
tereza@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor dos Direitosoriginalauthor yes
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3F35BSP
8JMKD3MGPCW/446AUSL
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder creatorhistory date descriptionlevel dissemination doi edition format isbn issn label lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress secondarydate secondarykey secondarymark secondarytype session sponsor subject targetfile tertiarymark tertiarytype translator url versiontype