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: 23/10/2020 03:39.
Tipo da ReferênciaReport
Identificador8JMKD3MGP5W34M/3GSJNNP
Repositóriosid.inpe.br/mtc-m21b/2014/08.21.12.44
Metadadossid.inpe.br/mtc-m21b/2014/08.21.12.44.59
Sitemtc-m21b.sid.inpe.br
Número do RelatórioINPE-17436-RPQ/267
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoAmbrosioSiBrOlPaCe:2014:EsCaMo
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
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
Ano2014
InstituçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
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.
Número de Páginas74
Idiomapt
TipoRPQ
AreaETES
ProjetoVerificação e validação em sistemas espaciais
Tamanho2552 KiB
Número de Arquivos1
Última Atualização2017:05.04.18.17.45 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 marcelo.pazos@inpe.br
Última Atualização dos Metadados2020:04.29.13.33.48 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2014}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhoiconet.com.br/banon/2006/11.26.21.31
Endereço de e-Mailana.ambrosio@inpe.br
e-Mail (login)simone
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
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Estágio do Documentonot transferred
Repositório de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor dos Direitosoriginalauthor yes
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3F35BSP
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 
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
2020-04-29 13:33:48 :: administrator -> simone :: 2014
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
Data de Acesso23 out. 2020
atualizar 
similares