| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | plutao.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 8JMKD3MGP3W/3KN36J8 |
| Repositório | sid.inpe.br/plutao/2015/12.04.14.22.45 (acesso restrito) |
| Última Atualização | 2015:12.11.16.02.00 (UTC) administrator |
| Repositório de Metadados | sid.inpe.br/plutao/2015/12.04.14.22.46 |
| Última Atualização dos Metadados | 2018:06.04.23.25.57 (UTC) administrator |
| Rótulo | lattes: 5039690360728170 2 ArantesSantVija:2015:PrTeOr |
| Chave de Citação | ArantesSantVija:2015:PrTeOr |
| Título | On proposing a test oracle generator based on static and dynamic source code analysis  |
| Formato | DVD |
| Ano | 2015 |
| Data de Acesso | 16 jun. 2024 |
| Tipo Secundário | PRE CI |
| Número de Arquivos | 1 |
| Tamanho | 550 KiB |
| 2. Contextualização | |
| Autor | 1 Arantes, Alessandro Oliveira 2 Santiago Júnior, Valdivino Alexandre de 3 Vijaykumar, Nandamudi Lankalapalli |
| Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JJB5 3 8JMKD3MGP5W/3C9JHTU |
| Grupo | 1 2 LAC-CTE-INPE-MCTI-GOV-BR 3 LAC-CTE-INPE-MCTI-GOV-BR |
| Afiliação | 1 Instituto de Estudos Avançados (IEAv) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Endereço de e-Mail do Autor | 1 aarantes@ieav.cta.br 2 vijay.nl@inpe.br 3 vijay.nl@inpe.br |
| Nome do Evento | IEEE International Workshop on Model-Based Verification & Validation (MVV), IEEE International Conference on Software Quality, Reliability and Security, 5 (QRS) |
| Localização do Evento | Vancouver, Canadá |
| Data | 3-5 Aug. |
| Título do Livro | Proceedings |
| Tipo Terciário | Paper |
| Histórico (UTC) | 2015-12-04 14:22:46 :: lattes -> administrator :: 2018-06-04 23:25:57 :: administrator -> simone :: 2015 |
| 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 | Test Oracle REACTOR Static Analysis Dynamic Analysis |
| Resumo | Test oracles have become a welcoming approach as a very efficient support for testing any type of application. Since oracle's generation can be a very laborious work, several techniques have been studied in order to perform an automatic or semi-automatic generation. However, the construction of an automated test oracle is not a trivial task, especially in terms of the inference of verdicts and detecting defects. Therefore, this research proposes a strategy to construct an automated test oracle based only on a model generated from reverse engineering, and to detect defects by a combination of static and dynamic source code analysis with a minimum manual labor from testers. We have applied our methodology to some interesting case studies and compared with other tools in order to show usefulness of our approach. |
| Área | COMP |
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > On proposing a... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| Idioma | en |
| Arquivo Alvo | 1_arantes2.pdf |
| Grupo de Usuários | lattes simone |
| Grupo de Leitores | administrator 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 | |
| Repositório Espelho | urlib.net/www/2011/03.29.20.55 |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/09.22.23.14 2 sid.inpe.br/mtc-m21/2012/07.13.14.56.50 1 sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1 |
| Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notas | |
| Notas | Setores de Atividade: Pesquisa e desenvolvimento científico. |
| Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor isbn issn lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume |
| 7. Controle da descrição | |
| e-Mail (login) | simone |
| atualizar | |