Resultado da Pesquisa
A expressão de busca foi <related:sid.inpe.br/mtc-m21b/2016/05.13.15.51.50-0:pt:title:2:software testes processo aplicacao:proposta processo verificacao testes baseado comparacao normas ecss st 40c rtca 178c sua aplicacao software embarcavel:>.
15 referências similares foram encontradas(inclusive a original) buscando em 17 dentre 17 Arquivos
(este total pode incluir algumas duplicatas - para ver a conta certa clique no botão Mostrar Todas).
As 10 mais recentes estão listadas abaixo.
Data e hora local de busca: 26/04/2024 19:17.

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3LM86BB
Repositóriosid.inpe.br/mtc-m21b/2016/05.13.15.51
Última Atualização2016:09.14.12.10.10 (UTC) tereza@sid.inpe.br
Repositório de Metadadossid.inpe.br/mtc-m21b/2016/05.13.15.51.50
Última Atualização dos Metadados2018:06.04.02.40.47 (UTC) administrator
Chave SecundáriaINPE-17720-TDI/2473
Chave de CitaçãoGraça:2016:PrPrVe
TítuloProposta de um processo de verificação por testes baseado na comparação das normas ECSS-E-ST-40C e RTCA-DO-178C e sua aplicação a um software embarcável
Título AlternativoProposal for verification process by testing based on comparison of the ECSS-E-ST-40C and RTCA-DO-178C standards and its application to embeddable software.
CursoCSE-ETES-SPG-INPE-MCTI-GOV-BR
Ano2016
Data2016-05-17
Data de Acesso26 abr. 2024
Tipo da TeseDissertação (Mestrado em Engenharia e Gerenciamento de Sistemas Espaciais)
Tipo SecundárioTDI
Número de Páginas179
Número de Arquivos1
Tamanho2782 KiB
2. Contextualização
AutorGraça, Danilo Gaspar
BancaAmbrosio, Ana Maria (presidente)
Souza, Marcelo Lopes de Oliveira e (orientador)
Trivelato, Gilberto da Cunha (orientador)
Rocha, Guilherme Conceição
Endereço de e-Maildanilograca@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2016-05-13 15:52:26 :: danilograca@gmail.com -> yolanda ::
2016-05-19 16:49:17 :: yolanda -> administrator ::
2016-06-04 05:08:33 :: administrator -> danilograca@gmail.com ::
2016-07-19 23:43:23 :: danilograca@gmail.com -> yolanda.souza@mcti.gov.br ::
2016-07-21 17:47:42 :: yolanda.souza@mcti.gov.br -> administrator ::
2016-07-28 18:01:53 :: administrator -> yolanda ::
2016-07-29 12:13:32 :: yolanda -> danilograca@gmail.com ::
2016-07-29 13:27:52 :: danilograca@gmail.com -> yolanda.souza@mcti.gov.br ::
2016-08-01 14:51:36 :: yolanda.souza@mcti.gov.br -> danilograca@gmail.com ::
2016-08-07 22:06:21 :: danilograca@gmail.com -> yolanda.souza@mcti.gov.br ::
2016-09-13 16:23:59 :: yolanda.souza@mcti.gov.br -> marcelo.pazos@inpe.br ::
2016-09-13 18:28:50 :: marcelo.pazos@inpe.br :: -> 2016
2016-09-13 18:55:16 :: marcelo.pazos@inpe.br -> administrator :: 2016
2016-09-14 11:51:02 :: administrator -> yolanda :: 2016
2016-09-14 12:09:15 :: yolanda -> yolanda.souza@mcti.gov.br :: 2016
2016-09-14 12:12:12 :: yolanda.souza@mcti.gov.br -> tereza@sid.inpe.br :: 2016
2016-09-14 12:12:31 :: tereza@sid.inpe.br -> administrator :: 2016
2018-06-04 02:40:47 :: administrator -> :: 2016
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavetestes de software
verificação
processos de desenvolvimento
desenvolvimento de software
sistemas aeroespaciais
software testing
verification
development process
software development
aerospace systems
ResumoEste trabalho apresenta uma proposta de um processo de verificação por testes baseado na comparação das normas ECSS-E-ST-40C e RTCA-DO-178C e sua aplicação a um software espacial embarcável. Isto inclui: a revisão bibliográfica sobre conceitos de Engenharia de Software e sobre as normas abordadas das indústrias espacial e aeronáutica; a comparação e análise da estrutura de processos das referidas normas para desenvolvimento de software; o estudo de ferramentas semiautomáticas de testes; a proposta de métodos e procedimentos básicos de um processo de verificação por testes baseado na comparação das normas ECSS-E-ST-40C e RTCA-DO-178C com suas principais atividades para ser aplicado no desenvolvimento de softwares espaciais embarcados; e a validação do processo proposto através de sua aplicação a um estudo de caso. A aplicação do processo proposto mostrou que i) a inversão da sequência tradicional de testes apresenta significativos ganhos em termos de esforço; ii) ela só é possível com a utilização de uma ferramenta de testes que tem impacto direto no processo; iii) a maior contribuição da ferramenta é compartilhar os resultados da aplicação de testes em um nível com os demais níveis (HW/SW, SW/SW e baixo nível); iv) os métodos e procedimentos utilizados reduzem significativamente o esforço aplicado na realização das atividades de teste. ABSTRACT: This work presents a proposal for verification process by testing based on the comparison of ECSS-E-ST-40C and RTCA-DO-178C standards and its application to embeddable software. This includes: a bibliographic review on software engineering concepts and the space and aeronautics industries standards used; a comparison and analysis of the structure of processes of the mentioned standards for software development; a study of semiautomatic tools for tests; a proposal of basic methods and procedures of a verification process by testing based on comparison of ECSS-E-ST-40C and RTCA-DO-178C standards with its main activities to be applied in the development of space embedded; the validation of the proposed process through its application to case study. The application of the proposed method showed i) reversing the traditional test sequence shows significant gains in terms of effort; ii) it is possible only with the use of a test tool has a direct impact on process; iii) the greatest tool contribution is to share the results of the application tests in one level with other levels (HW/SW, SW/SW and Low-Level); iv) the methods and procedures used significantly reduce the effort applied in carrying out the testing activities.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Proposta de um...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
originais/@4primeirasPaginas-10.pdf 14/09/2016 07:56 188.1 KiB 
originais/Avaliação final pag 2 aluno Danilo Gaspar Graça.pdf 13/09/2016 12:00 141.5 KiB 
originais/Dissertação de Mestrado - Danilo Gaspar Graça-1.docx 08/08/2016 10:04 2.1 MiB
originais/Dissertação de Mestrado - Danilo Gaspar Graça.pdf 24/08/2016 14:53 2.5 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 13/09/2016 13:19 602.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3LM86BB
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3LM86BB
Idiomapt
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
danilograca@gmail.com
marcelo.pazos@inpe.br
tereza@sid.inpe.br
yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator
danilograca@gmail.com
marcelo.pazos@inpe.br
yolanda
yolanda.souza@mcti.gov.br
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor da CópiaSID/SCD
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3F35BSP
Lista de Itens Citandosid.inpe.br/bibdigital/2013/10.14.22.20 3
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype

1. Identificação
Tipo de ReferênciaRelatório (Report)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3BFFA9H
Repositóriosid.inpe.br/mtc-m19/2012/03.05.16.55
Última Atualização2018:04.27.16.39.13 (UTC) sergio
Repositório de Metadadossid.inpe.br/mtc-m19/2012/03.05.16.55.34
Última Atualização dos Metadados2018:06.05.04.47.25 (UTC) administrator
Número do RelatórioINPE--/
Chave de CitaçãoSouza::EsReMe
TítuloEstratégias de reuso para melhoria de processo de teste de software baseado em ontologias
ProjetoProposta de doutorado em computação aplicada
Data de Acesso26 abr. 2024
TipoRPQ
Número de Páginas68
Número de Arquivos2
Tamanho2710 KiB
2. Contextualização
AutorSouza, Érica Ferreira de
Endereço de e-Mail do Autorerica.souza@lac.inpe.br
Endereço de e-Mailerica.souza@lac.inpe.br
InstituiçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2012-03-05 16:58:11 :: erica.souza@lac.inpe.br -> yolanda ::
2012-04-24 14:33:33 :: yolanda -> erica.souza@lac.inpe.br ::
2012-04-24 15:21:01 :: erica.souza@lac.inpe.br -> yolanda ::
2012-04-24 15:40:57 :: yolanda -> erica.souza@lac.inpe.br ::
2012-04-24 15:46:45 :: erica.souza@lac.inpe.br -> administrator ::
2016-06-04 23:17:43 :: administrator -> yolanda.souza@mcti.gov.br ::
2018-04-27 16:38:20 :: yolanda.souza@mcti.gov.br -> sergio ::
2018-04-27 16:41:15 :: sergio -> administrator ::
2018-06-05 04:47:25 :: administrator -> sergio ::
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoem andamento
Transferível1
Palavras-ChaveTeste de software
Processo de teste
Gestão de conhecimento
Ontologia e Melhoria de processos
ResumoOrganizações de desenvolvimento de software vêm buscando, cada vez mais, agregar qualidade aos produtos gerados. Os processos de teste são elementos estratégicos para a condução de projetos de desenvolvimento e qualidade do produto. Diante disso, tais organizações têm mostrado um crescente interesse por programas de melhoria de processos. Diversos métodos e modelos de melhoria de processos têm sido desenvolvidos para aumentar os níveis de maturidade organizacional do projeto. Porém, não basta somente atualizar o processo organizacional do projeto, é necessário que as lições aprendidas sejam processadas para serem utilizadas no apoio à tomada de decisão. É nesse contexto que a gestão do conhecimento tem apresentado um papel fundamental na melhoria de processos de software. No entanto, em sua grande maioria, trabalhos de gestão de conhecimento exploram o ambiente de desenvolvimento de software, e não especificamente o ambiente de teste de software. Diante disso, este trabalho, referente a proposta da tese de doutoramento, tem como objetivo investigar estratégias que possam promover uma melhoria de processos de teste de software. Para isso, propõe-se estruturar uma base de conhecimento que apoie o armazenamento, compartilhamento e reuso do conhecimento em ambientes de teste de software.
ÁreaINFO
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
publicacao.pdf 27/04/2018 13:40 1.3 MiB
Érica Ferreira de Souza_2011.pdf 05/03/2012 13:55 1.3 MiB
Conteúdo da Pasta agreement
agreement.html 05/03/2012 13:55 1.9 KiB 
TERMO DE DEPOSITO ASSINADO ERICA FERREIRA DE SOUZA PRODUCAO CIENTIFICA.pdf 27/04/2018 13:39 1.5 MiB
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3BFFA9H
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3BFFA9H
Idiomapt
Grupo de Usuáriosadministrator
erica.souza@lac.inpe.br
sergio
yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator
sergio
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosaffiliation archivingpolicy archivist callnumber contenttype copyholder creatorhistory date descriptionlevel doi edition format group isbn issn label lineage mark nextedition nexthigherunit notes orcid parameterlist parentrepositories previousedition previouslowerunit progress recipient resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject targetfile tertiarymark tertiarytype translator url versiontype year
7. Controle da descrição
e-Mail (login)sergio
atualizar 

1. Identificação
Tipo de ReferênciaRelatório (Report)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/38CDFNB
Repositóriosid.inpe.br/mtc-m19/2010/10.05.14.48
Última Atualização2010:11.17.15.19.58 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m19/2010/10.05.14.48.03
Última Atualização dos Metadados2018:06.05.04.34.47 (UTC) administrator
Número do RelatórioINPE-16758-RPQ/858
Chave de CitaçãoSouza:2010:UsMiDa
TítuloUso de mineração de dados para análise do processo de teste de software
Ano2010
Data de Acesso26 abr. 2024
TipoRPQ
Número de Páginas25
Número de Arquivos1
Tamanho661 KiB
2. Contextualização
AutorSouza, Érica Ferreira de
GrupoLAC-CTE-INPE-MCT-BR
AfiliaçãoInstituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autorericaferrso@gmail.com
Endereço de e-Mailcapsecretaria@gmail.com
InstituiçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2010-10-05 14:50:12 :: capsecretaria@gmail.com -> yolanda ::
2010-11-09 16:38:50 :: yolanda -> ricardo ::
2010-11-17 15:27:23 :: ricardo -> viveca@sid.inpe.br ::
2010-11-23 13:34:11 :: viveca@sid.inpe.br -> administrator :: -> 2010
2010-12-17 15:48:27 :: administrator -> b :: 2010
2010-12-17 15:49:03 :: b -> banon :: 2010
2010-12-17 15:50:30 :: banon -> administrator :: 2010
2018-06-05 04:34:47 :: administrator -> sergio :: 2010
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavex
ResumoIdentificar padrões de comportamento em um processo de teste aplicado em um projeto considerado complexo, e elaborar estratégias de reuso do processo, é de fundamental importância para a qualidade do produto gerado, e para o processo de tomada de decisão. Este trabalho tem como objetivo apresentar resultados preliminares de um estudo realizado em dados gerados a partir de um processo de teste que foi aplicado em um projeto de desenvolvimento de software real. Serão apresentados neste trabalho características de um processo de teste de software, os dados utilizados como estudo de caso, bem como os resultados preliminares alcançados com a aplicação de técnicas de mineração de dados.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Uso de mineração...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
Originais/%404primeirasPaginas.pdf 17/11/2010 12:09 71.8 KiB 
Originais/Relatório Final - CAP 359 - Érica Ferreira.pdf 20/10/2010 12:55 610.4 KiB 
publicacao.pdf 17/11/2010 13:13 660.1 KiB 
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/38CDFNB
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/38CDFNB
Idiomapt
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
banon
capsecretaria@gmail.com
ricardo
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyright creatorhistory date descriptionlevel dissemination doi edition format isbn issn label lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission recipient resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype
7. Controle da descrição
e-Mail (login)sergio
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/49N5SPP
Repositóriosid.inpe.br/plutao/2023/08.28.12.08
Última Atualização2023:08.28.12.08.39 (UTC) simone
Repositório de Metadadossid.inpe.br/plutao/2023/08.28.12.08.39
Última Atualização dos Metadados2023:09.14.01.20.17 (UTC) administrator
Rótulolattes: 4896052217878979 1 SantosSantVija:2013:AlTrUM
Chave de CitaçãoArantesSantVija:2013:AbMoFo
TítuloTestes de Software de aplicações espacias: abordagem por modelos formais e oráculos
FormatoOn-line
Ano2013
Data de Acesso26 abr. 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho93 KiB
2. Contextualização
Autor1 Arantes, Alessandro
2 Santiago Júnior, Valdivino Alexandre de
3 Vijaykumar, Nandamudi Lankalapalli
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJB5
3 8JMKD3MGP5W/3C9JHTU
Grupo1 CAP-COMP-SPG-INPE-MCTI-GOV-BR
2 LAC-CTE-INPE-MCTI-GOV-BR
3 LAC-CTE-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)
Endereço de e-Mail do Autor1 gunz@uol.com.br
2 valdivino.santiago@inpe.br
3 vijay@lac.inpe.br
Endereço de e-Maillurebelo@gmail.com
Nome do EventoWorkshop dos Cursos de Computação Aplicada do INPE, 13 (WORCAP)
Localização do EventoSão José dos Campos
Data13-14 nov. 2013
Editora (Publisher)INPE
Cidade da EditoraSão José dos Campos
Título do LivroAnais
Tipo TerciárioSessão Oral
Histórico (UTC)2023-08-28 12:08:39 :: simone -> administrator ::
2023-09-14 01:20:17 :: administrator -> simone :: 2013
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo de Versãopublisher
ResumoO INPE desenvolve sistemas embarcados para satélites científicos e balões estratosféricos e, consequentemente, os processos Verificação e Validação (V&V) exigem cuidados especiais na detecção e prevenção de defeitos. Neste cenário, a geração e execução automática de casos de teste proporciona um ganho significativo de produtividade no trabalho de especialistas que, aliado a um oráculo automatizado de resultados de testes, pode avaliar o comportamento de sistemas reativos diante dos eventos aos quais estará sujeito. Este trabalho tem por objetivo desenvolver um oráculo automatizado de teste baseando-se, exclusivamente, no código-fonte da aplicação. O grande desafio de uma proposta dessa natureza é como gerar, automaticamente e tomando como base somente o código-fonte, os resultados esperados para um determinado dado de entrada de teste.
ÁreaCOMP
Arranjo 1urlib.net > LABAC > Testes de Software...
Arranjo 2urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Testes de Software...
Arranjo 3Testes de Software...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 28/08/2023 09:08 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W/49N5SPP
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W/49N5SPP
Idiomapt
Arquivo AlvoArantes_testes.pdf
Grupo de Usuárioslattes
marcelo.pazos@inpe.br
simone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2006/11.26.21.31
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3F2PHGS
8JMKD3MGPDW34P/49QQH7H
Lista de Itens Citandosid.inpe.br/mtc-m16c/2023/09.14.01.19 2
sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1
URL (dados não confiáveis)http://www.lac.inpe.br/worcap2013/programacao.php
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn issn keywords lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type volume
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP8W/3D85768
Repositóriosid.inpe.br/mtc-m18/2012/12.17.11.52
Última Atualização2012:12.20.18.27.50 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m18/2012/12.17.11.52.22
Última Atualização dos Metadados2021:02.28.22.00.38 (UTC) administrator
Chave de CitaçãoArantesVijaSant:2012:AbMoFo
TítuloTestes de software de aplicações espaciais: abordagem por modelos formais e oráculos
FormatoOn-line.
Ano2012
Data de Acesso26 abr. 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho444 KiB
2. Contextualização
Autor1 Arantes, Alessandro Oliveira
2 Vijaykumar, Nandamudi Lankalapalli
3 Santiago Júnior, Valdivino Alexandre de
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
EditorCastro, Ana Paula Abrantes de
Shiguemori, Élcio Hideiti
Ramos, Fernando Manuel
Endereço de e-Maillurebelo@gmail.com
Nome do EventoWorkshop dos Cursos de Computação Aplicada do INPE, 12 (WORCAP).
Localização do EventoSão José dos Campos
Data6-8 nov. 2012
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais (INPE)
Cidade da EditoraSão José dos Campos
Título do LivroAnais
OrganizaçãoInstituto Nacional de Pesquisas Espaciais (INPE)
Histórico (UTC)2012-12-20 18:27:50 :: lurebelo@gmail.com -> administrator :: 2012
2012-12-22 22:35:24 :: administrator -> lurebelo@gmail.com :: 2012
2013-01-16 17:09:08 :: lurebelo@gmail.com -> administrator :: 2012
2021-02-28 22:00:38 :: administrator -> simone :: 2012
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavemodelagem de software
teste de software baseado em modelo
caso de teste
oráculo de teste
ResumoO INPE desenvolve complexos sistemas embarcados para satélites científicos e balões estratosféricos; consequentemente, os processos de verificação e validação exigem cuidados especiais na detecção e prevenção de falhas. Neste cenário, aplicam-se técnicas especiais como a modelagem formal baseada em requisitos, que auxilia no processo de desenvolvimento permitindo a geração sistemática e automatizada de casos de teste para sistemas antes mesmo de sua implementação final. A geração e execução automática de casos de teste proporciona um ganho significativo de produtividade no trabalho de especialistas que, aliado a um oráculo de resultados de testes, pode avaliar o comportamento de sistemas reativos diante dos eventos aos quais estará sujeito. ABSTRACT: INPE develops embedded systems for scientific satellites and stratospheric balloons, hence the verification and validation processes require special attention in detecting and preventing failures. In this scenario, techniques such as formal modeling based on requirements assists in the development process, allowing a systematic and automated generation of test cases for such systems even before its final implementation. The automatic generation and execution of test cases provides a significant gain in productivity for software testers, and combined with a test oracle, enables evaluating reactive systems behavior in face of its inputs.
ÁreaCOMP
Arranjo 1urlib.net > LABAC > Testes de software...
Arranjo 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > Testes de software...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 17/12/2012 09:52 0.7 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP8W/3D85768
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP8W/3D85768
Idiomapt
Arquivo Alvoworcap2012-AlessandroArantes.pdf
Grupo de Usuáriosadministrator
lurebelo@gmail.com
Visibilidadeshown
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGP8W/38ELNHL
Acervo Hospedeirosid.inpe.br/mtc-m18@80/2008/03.17.15.17
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition electronicmailaddress isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3BESFE5
Repositóriosid.inpe.br/mtc-m19/2012/03.02.02.29
Última Atualização2012:06.04.15.11.13 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m19/2012/03.02.02.29.57
Última Atualização dos Metadados2018:06.05.04.12.25 (UTC) administrator
Chave SecundáriaINPE-17019-TDI/1896
Chave de CitaçãoReis:2012:AmGeGe
TítuloVVTESTE: ambiente de geração e gerenciamento de testes e de defeitos de software como apoio a processos de verificação e validação
Título AlternativoVVTEST: an environment for generation and management of tests and defects of software to support verification and validation processes
CursoCSE-ETES-SPG-INPE-MCTI-GOV-BR
Ano2012
Data2012-03-30
Data de Acesso26 abr. 2024
Tipo da TeseDissertação (Mestrado em Engenharia e Gerenciamento de Sistemas Espaciais)
Tipo SecundárioTDI
Número de Páginas187
Número de Arquivos1
Tamanho1635 KiB
2. Contextualização
AutorReis, Marcos Flávio de Souza
GrupoCSE-ETES-SPG-INPE-MCTI-GOV-BR
BancaSant' Anna, Nilson (presidente)
Ferreira, Maurício Gonçalves Vieira (orientador)
Ambrosio, Ana Maria (orientadora)
Francisco, Maria de Fatima Mattiello
Martins, Eliane
Endereço de e-Mailmarcosfsreis@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2012-03-02 02:29:57 :: marcosfsreis@gmail.com -> yolanda ::
2012-04-09 17:43:54 :: yolanda -> marcosfsreis@gmail.com ::
2012-05-22 04:24:57 :: marcosfsreis@gmail.com -> yolanda ::
2012-06-01 19:48:26 :: yolanda -> lmanacero@yahoo.com ::
2012-06-04 15:12:14 :: lmanacero@yahoo.com -> ivone@sid.inpe.br ::
2012-06-04 16:59:12 :: ivone@sid.inpe.br -> administrator :: -> 2012
2018-06-05 04:12:25 :: administrator -> :: 2012
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavetestes de software
validação e verificação
base de conhecimento
qualidade de software
automatização de processos
software testing
validation and verification
knowledge base
software quality
process automation
ResumoOs modelos de referência de processo de desenvolvimento de software definem vários objetivos a serem alcançados durante a realização das atividades de Verificação e Validação (V\&V), porém, cabe à organização que vai adotá-las criar um ferramental para dar apoio à geração, execução e gerenciamento de dados de testes e de defeitos de software. Tais atividades de testes geram uma grande quantidade de informações, sendo que constantemente elas precisam ser registradas, consultadas e alteradas. Esta dissertação apresenta um ambiente para dar apoio a atividades de testes de processos de V\&V de software. O ambiente proposto, chamado de VVTeste, utiliza as ferramentas livres: TestLink para gerenciamento dos testes, Mantis para gerenciamento de defeitos e Condado para geração automática de casos de testes a partir de máquinas de estados finitas estendidas. Essas ferramentas configuradas e integradas através da VVTeste formam uma base de conhecimento única com as informações geradas durante todas as atividades de testes. O ambiente VVTeste disponibiliza informações que podem ser utilizadas como estatísticas, lições aprendidas e comparações entre projetos de teste, atendendo, assim, se não completamente, pelo menos parte dos objetivos dos processos de Verificação e Validação esperados pelos modelos de referência de desenvolvimento de software. Detalhes da implementação do ambiente VVTeste e um estudo de caso são apresentados nesta dissertação. ABSTRACT: Reference Models of software development processes define several objectives to be achieved during the performance of activities of verification and validation (V\&V), requiring an organization which will use them, to create tools to support generation, execution and management of software test data and defects. Such testing activities generate a large amount of information, and they constantly need to be registered, queried and changed. This work presents an environment to support testing activities of Software Verification and Validation Processes. The proposed environment, called VVTeste, integrates the free tools: \textit{TestLink} for test management, \textit{Mantis} for defect management and Condado to automatically generate test cases starting from extended finite state machines. These tools configured and integrated through VVTeste create an unique knowledge base with information generated during all testing activities. The VVTeste environment provides information that can be used as statistics, metrics, lessons learned and comparisons between test projects, meeting the objectives expected by the rules of software development, with regard to verification and validation. Details about the implementation of the VVTeste environment and a case study are also presented in this work.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > VVTESTE: ambiente de...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
Originais/@4primeirasPaginas.pdf 30/05/2012 13:31 777.6 KiB 
Originais/Disserta‡Æo - Marcos Reis - Final.docx 22/05/2012 08:38 2.8 MiB
Originais/Disserta‡Æo - Marcos Reis - Final.pdf 22/05/2012 08:39 2.5 MiB
Originais/Folha de Aprova‡ao.pdf 25/05/2012 11:22 824.7 KiB 
publicacao.pdf 04/06/2012 11:45 1.6 MiB
Conteúdo da Pasta agreement
agreement.html 01/03/2012 23:29 1.9 KiB 
autorizacao.pdf 04/06/2012 12:10 88.6 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3BESFE5
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3BESFE5
Idiomapt
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
ivone@sid.inpe.br
lmanacero@yahoo.com
marcosfsreis@gmail.com
yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator
ivone@sid.inpe.br
lmanacero@yahoo.com
marcosfsreis@gmail.com
yolanda.souza@mcti.gov.br
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F35BSP
Lista de Itens Citandosid.inpe.br/bibdigital/2013/10.14.22.20 1
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readpermission resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype

1. Identificação
Tipo de ReferênciaResumo em Evento (Conference Proceedings)
Sitemtc-m21c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34R/43H8L48
Repositóriosid.inpe.br/mtc-m21c/2020/11.04.22.13
Última Atualização2020:11.04.22.13.44 (UTC) self-uploading-INPE-MCTI-GOV-BR
Repositório de Metadadossid.inpe.br/mtc-m21c/2020/11.04.22.13.44
Última Atualização dos Metadados2022:07.08.20.06.12 (UTC) administrator
Chave SecundáriaINPE--PRE/
Rótuloself-archiving-INPE-MCTIC-GOV-BR
Chave de CitaçãoGarciaVijaBerk:2020:PaXMIn
TítuloPadronização XML de interface para WEB-PerformCharts, baseada em W3C, e incorporação de novos métodos de geração de testes para software crítico de aplicações espaciais
Ano2020
Data de Acesso26 abr. 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho79 KiB
2. Contextualização
Autor1 Garcia, Ana Paula de Oliveira
2 Vijaykumar, Nandamudi Lankalapalli
3 Berkenbrock, Gian Ricardo
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHTU
Grupo1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR
Afiliação1 Universidade Estadual de São Paulo (UNESP)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Universidade Federal de Santa Catarina (UFSC)
Endereço de e-Mail do Autor1 anapgarcia25@gmail.com
2 vijay.nl@inpe.br
EditorRibeiro, Valéria Cristina dos Santos
Dal Lago, Alisson
Paulicena, Edésio Hernane
Mattos, Everson
Garbi, Giuliani Paulineli
Hey, Heyder
Almeida, José Sergio de
Gonçalves, Luis Gustavo Gonçalves de
Alves, Lincoln Muniz
Saturno, Mario Eugênio
Novaes Júnior, René Antonio
Sutério, Ricardo
Irita, Ricardo Toshiyuki
Nome do EventoSeminário de Iniciação Científica e Iniciação em Desenvolvimento Tecnológico e Inovação (SICINPE)
Localização do EventoOn line
Data28 set. - 01 out.
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais (INPE)
Cidade da EditoraSão José dos Campos
Título do LivroResumos
Histórico (UTC)2020-11-04 22:13:44 :: simone -> administrator ::
2021-01-04 13:26:50 :: administrator -> self-uploading-INPE-MCTI-GOV-BR :: 2020
2021-01-08 17:17:09 :: self-uploading-INPE-MCTI-GOV-BR -> administrator :: 2020
2022-07-08 20:06:12 :: administrator -> simone :: 2020
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo de Versãopublisher
ResumoO trabalho, iniciado em agosto de 2019, tem como objetivo a implementação de uma interface textual baseada na linguagem de marcação SCXML (Statecharts XML) e incorporar outros métodos de geração de testes já desenvolvidos, como H-Switch Cover, Breadth First Search e Depth First Search na ferramenta WEB-PerformCharts, ferramenta para gerar testes automaticamente a partir de especificações representas por Máquina de Estados Finitos (MEF) e Statecharts. O projeto facilita o uso da ferramenta através de uma interface XML padrão W3C para usuários que já trabalham com UML e Statecharts. Até o presente momento, foram realizadas pesquisas bibliográficas das principais áreas relacionadas ao projeto de pesquisa, incluindo os conceitos básicos de Statecharts, sistemas reativos, PcML (PerformCharts Markup Language) e SCXML e um estudo aprofundado da ferramenta WEB-PerformCharts. A PcML foi a primeira linguagem, baseada em XML pelo próprio LAC para facilitar a interface entre a ferramenta e a especificação. A próxima etapa do trabalho será a validação do interpretador PcML, o desenvolvimento da ferramenta já com a realização de testes para assim disponibilizar a mesma no servidor providenciado pela equipe da UFSC Universidade Federal de Santa Catarina. Também será gerado um manual de usuário e também a documentação da ferramenta para que assim, atualizações e/ou incrementações com outras funcionalidades sejam simples.
ÁreaCOMP
Arranjo 1urlib.net > LABAC > Padronização XML de...
Arranjo 2urlib.net > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2020 > Padronização XML de...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 04/11/2020 19:13 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34R/43H8L48
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34R/43H8L48
Idiomapt
Arquivo AlvoResumo_PIBIC-Ana Paula de Oliveira Garcia.pdf
Grupo de Usuáriossimone
Visibilidadeshown
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8GS
Lista de Itens Citandosid.inpe.br/mtc-m16c/2022/07.08.19.43 2
sid.inpe.br/mtc-m21/2012/07.13.14.56.50 2
Acervo Hospedeirourlib.net/www/2017/11.22.19.04
6. Notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition format isbn issn keywords lineage mark mirrorrepository nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaRelatório (Report)
Sitemtc-m21c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34R/43SFFFS
Repositóriosid.inpe.br/mtc-m21c/2020/12.31.20.10
Última Atualização2020:12.31.20.10.20 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21c/2020/12.31.20.10.20
Última Atualização dos Metadados2022:07.08.20.05.41 (UTC) administrator
Chave de CitaçãoGarciaVijaBerk:2020:PaXMIn
TítuloPadronização XML de interface para WEB-PerformCharts, baseada em W3C, e incorporação de novos métodos de geração de testes para software crítico de aplicações espaciais
ProjetoPadronização XML de interface para WEB-PerformCharts, baseada em W3C e incorporação de novos métodos de geração de testes para software crítico e aplicações espaciais
Ano2020
Data de Acesso26 abr. 2024
TipoRPQ
Número de Páginas27
Número de Arquivos1
Tamanho550 KiB
2. Contextualização
Autor1 Garcia, Ana Paula de Oliveira
2 Vijaykumar, Nandamudi Lankalapalli
3 Berkenbrock, Gian Ricardo
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHTU
Grupo1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR
Afiliação1 Universidade Federal de São Paulo (UNIFESP)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Universidade Federal de Santa Catarina (UFSC)
Endereço de e-Mail do Autor1 anapgarcia25@gmail.com
2 vijay.nl@inpe.br
3 gian.ricardo@gmail.com
Endereço de e-Mailanapgarcia25@gmail.com
InstituiçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Edição1a.
Histórico (UTC)2020-12-31 20:11:22 :: simone :: -> 2020
2021-01-04 19:14:13 :: simone -> administrator :: 2020
2021-01-08 15:21:44 :: administrator -> simone :: 2020
2021-01-14 18:35:16 :: simone -> administrator :: 2020
2021-12-06 15:16:34 :: administrator -> simone :: 2020
2021-12-06 15:21:44 :: simone -> administrator :: 2020
2022-07-08 20:05:41 :: administrator -> simone :: 2020
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavesoftware crítico
testes automáticos
WEB-PerformCharts
ResumoEste trabalho tem como objetivo a implementação de uma interface textual baseada na linguagem de marcação SCXML e incorporar outros métodos de geração de testes já desenvolvidos, como H-Switch Cover, Breadth First Search e Depth First Search na ferramenta WEB-PerformCharts. O projeto facilita o uso da ferramenta através de uma interface XML padrão W3C para usuários interessados que já trabalham com UML e Statecharts. Do trabalho concluído até o presente momento teve-se a realização de pesquisas bibliográficas das principais áreas relacionadas ao projeto de pesquisa, incluindo os conceitos básicos de Statecharts, sistemas reativos, PcML e SCXML e o estudo aprofundado da ferramenta WEB-PerformCharts. A próxima etapa do trabalho será a validação do interpretador PcML, o desenvolvimento da ferramenta já com a realização de testes para assim disponibilizar a mesma no servidor providenciado pela equipe da UFSC Universidade Federal de Santa Catarina, escrita do manual de usuário e também a documentação da ferramenta para que assim, atualizações e/ou incrementações com outras funcionalidades sejam simples.
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Padronização XML de...
Arranjo 2PIBIC/PIBITI 2020 > Padronização XML de...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 31/12/2020 17:10 1.7 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34R/43SFFFS
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34R/43SFFFS
Idiomapt
Arquivo AlvoPIBIC - Ana Paula de Oliveira Garcia - Relatório Final.pdf
Grupo de Usuáriossimone
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Edição Posterior8JMKD3MGP3W34T/45TN3E3
Repositório Espelhourlib.net/www/2017/11.22.19.04.03
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8GS
Lista de Itens Citandosid.inpe.br/mtc-m16c/2022/07.08.19.43 2
sid.inpe.br/mtc-m21/2012/07.13.14.56.50 1
Acervo Hospedeirourlib.net/www/2017/11.22.19.04
6. Notas
NotasBolsa PIBIC/INPE/CNPq.
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel dissemination doi format isbn issn label lineage mark orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup recipient reportnumber rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaRelatório (Report)
Sitemtc-m21d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34T/45TN3E3
Repositóriosid.inpe.br/mtc-m21d/2021/12.06.15.13.58
Última Atualização2021:12.06.15.13.58 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21d/2021/12.06.15.13.59
Última Atualização dos Metadados2022:07.08.19.41.28 (UTC) administrator
Chave de CitaçãoGarciaVijaBerk:2021:PaXMIn
TítuloPadronização XML de interface para WEB-PerformCharts, baseada em W3C e incorporação de novos métodos de geração de testes para software crítico e aplicações espaciais
ProjetoPadronização XML de interface para WEB-PerformCharts, baseada em W3C e incorporação de novos métodos de geração de testes para software crítico e aplicações espaciais
Ano2021
Data de Acesso26 abr. 2024
TipoRPQ
Número de Páginas36
Número de Arquivos1
Tamanho686 KiB
2. Contextualização
Autor1 Garcia, Ana Paula de Oliveira
2 Vijaykumar, Nandamudi Lankalapalli
3 Berkenbrock, Gian Ricardo
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHTU
Grupo1
2 COEPE-COEPE-INPE-MCTI-GOV-BR
Afiliação1 Universidade Federal de São Paulo (UNIFESP)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Universidade Federal de Santa Catarina (UFSC)
Endereço de e-Mail do Autor1 anapgarcia25@gmail.com
2 vijay.nl@inpe.br
3 gian.ricardo@gmail.com
Endereço de e-Mailanapgarcia25@gmail.com
InstituiçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Edição2a.
Histórico (UTC)2021-12-06 15:14:50 :: simone :: -> 2021
2021-12-06 15:23:49 :: simone -> administrator :: 2021
2022-07-08 19:41:28 :: administrator -> simone :: 2021
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavesoftware crítico.
testes automáticos
WEB-PerformCharts
Critical software
automatic tests
ResumoO presente relatório descreve as atividades desenvolvidas durante o Programa Ins- titucional de Bolsas de Iniciação Científica (PIBIC), que conta com o objetivo de implementação de uma interface textual baseada na linguagem de marcação SCXML e também a incorporação de outros métodos de geração de testes já desenvolvidos, como H-Switch Cover, Breadth First Search e Depth First Search, na ferramenta WEB-PerformCharts. O projeto em questão facilita o uso da ferramenta através de uma interface XML padrão W3C para usuários interessados que já utilizam UML e Statecharts. Dessa forma, foi feita uma pesquisa bibliográfica das principais áreas relacionadas ao trabalho a fim de ter um amplo conhecimento de como funciona o WEB-PerfomCharts para, então, desenvolver testes para certificar o correto funcio- namento da ferramenta. ABSTRACT: This report describes the activities developed during the Programa Institucional de Bolsas de Iniciação Científica (PIBIC), which has the objective of implementing a textual interface based on the SCXML markup language and also the incorporation of other methods for generating tests already developed. , such as H-Switch Cover, Breadth First Search and Depth First Search, in the WEB-PerformCharts tool. The project in question facilitates the use of the tool through a W3C standard XML interface for interested users who already use UML and Statecharts. Thus, a bibliographic research of the main areas related to the work was carried out in order to have a broad knowledge of how WEB-PerfomCharts works, and then to develop tests to certify the correct functioning of the tool.
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > Produção a partir de 2021 > COEPE > Padronização XML de...
Arranjo 2urlib.net > BDMCI > Fonds > Produção a partir de 2021 > COEPE > PIBIC/PIBITI 2021 > Padronização XML de...
Arranjo 3urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2021 > Padronização XML de...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 06/12/2021 12:13 1.7 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34T/45TN3E3
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34T/45TN3E3
Idiomapt
Arquivo AlvoRelatorio_Final_PIBIC_2020_2021_Ana_Paula_de_Oliveira_Garcia.pdf
Grupo de Usuáriossimone
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Edição Anterior8JMKD3MGP3W34R/43SFFFS
Unidades Imediatamente Superiores8JMKD3MGPCW/46L2EES
8JMKD3MGPDW34P/478H5L5
Lista de Itens Citandosid.inpe.br/bibdigital/2022/04.04.04.34 4
sid.inpe.br/mtc-m21/2012/07.13.14.56.50 1
Acervo Hospedeirourlib.net/www/2021/06.04.03.40
6. Notas
NotasBolsa PIBIC/PIBITI/INPE/CNPq.
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel dissemination doi format isbn issn label lineage mark mirrorrepository nextedition orcid parameterlist parentrepositories previouslowerunit progress readergroup recipient reportnumber rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP8W/3AKQSM5
Repositóriosid.inpe.br/mtc-m18/2011/10.18.10.08
Última Atualização2011:10.18.10.08.55 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m18/2011/10.18.10.08.55
Última Atualização dos Metadados2020:11.26.13.55.25 (UTC) administrator
Chave de CitaçãoSouzaVija:2011:GeCoAp
TítuloGestão de conhecimento aplicando na melhoria de processos de teste de software
FormatoOn-line.
Ano2011
Data de Acesso26 abr. 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho36 KiB
2. Contextualização
Autor1 Souza, Érica
2 Vijaykumar, Nandamudi Lankalapalli
Grupo1
2 LAC-CTE-INPE-MCT-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
EditorCastro, Ana Paula Abrantes de
Drummond, Isabela Neves
Sandri, Sandra Aparecida
Endereço de e-Mailworcap2011.comissaoprograma@gmail.com
Nome do EventoWorkshop dos Cursos de Computação Aplicada do INPE, 11 (WORCAP).
Localização do EventoSão José dos Campos
Data8-10 nov. 2011
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais (INPE)
Cidade da EditoraSão José dos Campos
Título do LivroAnais
OrganizaçãoInstituto Nacional de Pesquisas Espaciais (INPE)
Histórico (UTC)2011-12-02 11:56:33 :: worcap2011.comissaoprograma@gmail.com -> secretaria.cpa@dir.inpe.br :: 2011
2011-12-06 17:00:14 :: secretaria.cpa@dir.inpe.br -> administrator :: 2011
2012-07-14 19:35:44 :: administrator -> secretaria.cpa@dir.inpe.br :: 2011
2012-08-10 02:36:14 :: secretaria.cpa@dir.inpe.br -> amarisio5@gmail.com :: 2011
2012-08-11 01:13:01 :: amarisio5@gmail.com -> administrator :: 2011
2020-11-26 13:55:25 :: administrator -> amarisio5@gmail.com :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-ChaveProcessos de teste
Gestão de conhecimento
Melhoria de processos
ResumoOrganizações de desenvolvimento de software vêm buscando, cada vez mais, agregar qualidade aos produtos gerados. Os processos de teste são elementos estratégicos para a condução de projetos e qualidade do produto. Diante disso, tais organizações têm mostrado um crescente interesse por mecanismos de melhoria desses processos, como, por exemplo, gestão do conhecimento. Este trabalho apresenta uma revisão da literatura focando nos assuntos: processo de teste e gestão de conhecimento.
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Gestão de conhecimento...
Arranjo 2urlib.net > BDMCI > Fonds > WORCAP > Gestão de conhecimento...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 18/10/2011 08:08 0.7 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP8W/3AKQSM5
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP8W/3AKQSM5
Idiomapt
Arquivo Alvoworcap2011_submission_30.pdf
Grupo de Usuáriosadministrator
amarisio5@gmail.com
secretaria.cpa@dir.inpe.br
worcap2011.comissaoprograma@gmail.com
Visibilidadeshown
5. Fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2005/09.28.12.40
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGP8W/38ELNHL
Acervo Hospedeirosid.inpe.br/mtc-m18@80/2008/03.17.15.17
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition electronicmailaddress isbn issn label lineage mark nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
7. Controle da descrição
e-Mail (login)amarisio5@gmail.com
atualizar