Fechar

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/3LHFRE2
Repositóriosid.inpe.br/mtc-m21b/2016/04.20.19.30
Última Atualização2016:07.28.17.52.59 (UTC) marcelo.pazos@inpe.br
Repositório de Metadadossid.inpe.br/mtc-m21b/2016/04.20.19.30.18
Última Atualização dos Metadados2018:06.04.02.40.43 (UTC) administrator
Chave SecundáriaINPE-17706-TDI/2461
Chave de CitaçãoArantes:2016:CoStAn
TítuloREACTOR: Combining static analysis, testing and reverse engineering to detect software defects
Título AlternativoREACTOR: Combinando análise estática, teste de software e engenharia reversa para detecção de defeitos de software
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Ano2016
Data2016-05-02
Data de Acesso29 mar. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas210
Número de Arquivos1
Tamanho2924 KiB
2. Contextualização
AutorArantes, Alessandro Oliveira
BancaCarvalho, Solon Venâncio de (presidente)
Santiago Júnior, Valdivino Alexandre de (orientador)
Vijaykumar, Nandamudi Lankalapalli (orientador)
Queiroz, Gilberto Ribeiro de
Musa, Daniela Leal
Shiguemori, Elcio Hideiti
Endereço de e-Mailgunz@uol.com.br
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2016-04-20 19:32:08 :: gunz@uol.com.br -> administrator ::
2016-04-21 13:14:56 :: administrator -> yolanda ::
2016-04-28 13:34:05 :: yolanda -> gunz@uol.com.br ::
2016-05-31 12:09:34 :: gunz@uol.com.br -> yolanda ::
2016-05-31 12:55:25 :: yolanda -> gunz@uol.com.br ::
2016-06-01 00:45:41 :: gunz@uol.com.br -> yolanda ::
2016-06-01 11:40:29 :: yolanda -> pubtc@inpe.br ::
2016-06-01 11:41:05 :: pubtc@inpe.br -> yolanda ::
2016-06-01 12:57:19 :: yolanda -> gunz@uol.com.br ::
2016-06-02 03:11:11 :: gunz@uol.com.br -> administrator ::
2016-06-04 05:08:26 :: administrator -> yolanda.souza@mcti.gov.br ::
2016-07-28 17:56:02 :: yolanda.souza@mcti.gov.br -> marcelo.pazos@inpe.br ::
2016-07-29 13:00:46 :: marcelo.pazos@inpe.br :: -> 2016
2016-07-29 13:36:57 :: marcelo.pazos@inpe.br -> administrator :: 2016
2018-06-04 02:40:43 :: administrator -> :: 2016
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavestatic code analysis
software testing
reverse engineering
test case generation
test oracle
análise estática de código fonte
testes de software
engenharia reversa
geração de caso de teste
oráculo de teste
ResumoIt is increasingly common the use of computer systems to replace human labor in critical systems, and since these systems have become more autonomous in decision making, they demand a high degree of quality and robustness. INPE develops embedded systems for scientific satellites and stratospheric balloons; consequently, the process of verification and validation require special care in detecting and preventing defects. In terms of complexity and system${'}$s domain in question, these processes consume specialists manpower for a long period. In this scenario, the application of techniques that can automatically support test process provide a significant gain in specialists productivity and efficiency. For this purpose, this work performs the source code reverse engineering in order to support a combination of two V\&V processes, static source code analysis and software testing, in order to detect a wider range of defects. The proposed method, called REACTOR (Reverse Engineering for stAtic Code analysis and Testing to detect sOftwaRe defects), complements the traditional way that static code analyzers work by using dynamic information obtained by an automated test case generator, which combines three different black box techniques, being also possible to infer a set of estimated expected results similar to a test oracle. However, the combination of such techniques is not trivial, especially in terms of tasks that commonly demand some action that are not easily automated. Furthermore, the static analysis by itself can not reveal several types of defects that can only be detected by combining static analysis and dynamic information. The REACTOR method has been implemented in a software tool, also called REACTOR, which exempts from a large manual labors amount from testers by automating the process and basing only on applications source code. In addition, REACTOR was applied to some case studies including one of the space application domain, and it performed better than three other well known static code analyzers. RESUMO: É cada vez mais comum a utilização de sistemas computacionais em substituição à mão de obra humana em sistemas críticos, e na medida em que estes sistemas têm se tornado mais autônomos para tomar decisões, eles exigem um alto grau de qualidade e robustez. O INPE desenvolve 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 defeitos. E tendo em vista a complexidade e o domínio dos sistemas em questão, estes processos consomem a mão de obra especialista por um longo período. Neste cenário, a aplicação de técnicas que possam efetuar testes de forma automática auxiliam o processo proporcionando um ganho significativo de produtividade e eficácia no trabalho dos especialistas. Com esse objetivo, este trabalho realiza a engenharia reversa de código-fonte de modo a combinar dois processos de V\&V, análise estática de código fonte e teste de software, a fim de detectar uma gama mais ampla de defeitos. O método proposto, denominado REACTOR (Reverse Engineering for stAtic Code analysis and Testing to detect sOftwaRe defects), complementa a maneira tradicional pela qual os analisadores de código estático trabalham usando informações dinâmicas obtidas por um gerador de caso de teste automatizado, que combina três técnicas de caixa preta diferentes, sendo também possível inferir um conjunto de resultados esperados estimados similar a um oráculo de teste. Ainda assim, a leitura do código fonte estático por si só pode não revelar vários tipos de defeitos que só podem ser detectados combinando a análise estática com informação dinâmica. O método REACTOR foi implementado em uma ferramenta de software, também chamado de REACTOR, que poupa os testadores de um grande volume de trabalho manual automatizando o processo e baseando-se apenas no código fonte. Além disso, a REACTOR foi aplicada em alguns casos de estudo incluindo uma aplicação da área espacial, e seu desempenho foi melhor do que outras três conhecidos analisadores de código estático.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > REACTOR: Combining static...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
originais/001-12.pdf 03/06/2016 15:41 34.9 KiB 
originais/@4primeirasPaginas.pdf 09/06/2016 10:17 187.9 KiB 
originais/publicacao-4.pdf 02/06/2016 13:47 3.4 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 28/07/2016 14:52 707.9 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3LHFRE2
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3LHFRE2
Idiomaen
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
gunz@uol.com.br
marcelo.pazos@inpe.br
pubtc@inpe.br
yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator
gunz@uol.com.br
marcelo.pazos@inpe.br
pubtc@inpe.br
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/3F2PHGS
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel dissemination 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


Fechar