Rodolfo Adamshuk Silva

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• Silva, Rodolfo Adamshuk ; SENGER DE SOUZA, SIMONE DO ROCIO ; LOPES DE SOUZA, PAULO SÉRGIO . A Systematic Review on Search Based Mutation Testing. INFORMATION AND SOFTWARE TECHNOLOGY , v. 1, p. 1-19, 2016.

• SOUZA, S. R. S. ; SOUZA, P. S. L. ; MELO, SILVANA M. ; Silva, Rodolfo Adamshuk ; VIRGILIO, S. R. . Teste de Programas Concorrentes. In: Márcio Eduardo Delamaro; José Carlos Maldonado; Mario Jino. (Org.). Teste de Programas concorrentes. 2ed.: Elsevier, 2016, v. , p. 41-62.

• DE AMORIM, FELIPE ; ADAMSHUK SILVA, RODOLFO ; COSTA, LINCOLN ; CARLOS SOUZA, FRANCISCO . Parallel Testing in Behavior Driven Development. In: Computer on the Beach, 2021, Online. Anais do XII Computer on the Beach - COTB '21, 2021. p. 316.

• SANTOS, ALEXANDRO SOUSA DOS ; NEVES, MATHEUS ; RODRIGUES, YURI ; OLIVEIRA, NISIO H. DE ; KUHN, DANIEL ; SANTOS, GUSTAVO ; SILVA, RODOLFO A. . Experiência do Projeto "Fábrica de Software" em um Curso de Engenharia de Software. In: Escola Regional de Engenharia de Software, 2021, Brasil. Anais da V Escola Regional de Engenharia de Software (ERES 2021). Porto Alegre: Sociedade Brasileira de Computação, 2021. p. 89-98.

• SILVA, R. A. ; BORDIGNON, M. D. . Taxonomia de Falhas em Programas Concorrentes em Elixir. In: Computer on The Beach, 2020, Online. Computer on the Beach 2020, 2020. p. 245-252.

• BORDIGNON, M. D. ; SILVA, R. A. . Mutation Operators for Concurrent Programs in Elixir. In: IEEE Latin-American Test Symposium, 2020. 21st IEEE Latin-American Test Symposium.

• Silva, Rodolfo Adamshuk ; SOUZA, S. R. S. . Effectiveness evaluation of the synchronization sequence testing in Java concurrent program. In: Escola Regional de Engenharia de Software, 2019, Rio do Sul. 2019: Anais da III Escola Regional de Engenharia de Software, 2019.

• SILVA, RODOLFO A. ; SOUZA, S. R. S. . Achievements, Challenges and Opportunities on Mutation Testing of Concurrent Programs. In: Escola Regional de Engenharia de Software, 2018, Dois Vizinhos. II Escola Regional de Engenharia de Software, 2018. p. 1-8.

• MELO, SILVANA M. ; SOUZA, SIMONE R. S. ; SILVA, RODOLFO A. ; SOUZA, PAULO S. L. . Concurrent software testing in practice: a catalog of tools. In: the 6th International Workshop, 2015, Bergamo. Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015. New York: ACM Press. p. 31-40.

• SILVA, R. A. ; SOUZA, S. R. S. . Search-Based Mutation Testing para Programas Concorrentes. In: IV WORKSHOP DE TESES E DISSETAÇÕES DO CBSOFT, 2014, Maceió. WTDSOFT 2014, 2014. v. 02. p. 109-116.

• SILVA, R. A. ; SOUZA, S. R. S. ; SOUZA, P. S. L. . Utilizando uma Arquitetura de Referência para Apoiar o Desenvolvimento de uma Ferramenta de Teste de Programas Concorrentes. In: International Conference on Information Systems and Technology Management, 2013, São Paulo. Congresso Internacional de Gestão da Tecnologia e Sistemas de Informação. Sao Paulo: TECSI, 2013. p. 862-878.

• Silva, Rodolfo Adamshuk ; de Souza, Simone do Rocio Senger ; de Souza, Paulo Sergio Lopes . Mutation operators for concurrent programs in MPI. In: 2012 13th Latin American Test Workshop LATW, 2012, Quito. 2012 13th Latin American Test Workshop (LATW). p. 69-74.

• SILVA, R. A. ; GOMES, E. W. C. ; MATOS, S. N. . Plano de Teste para Validação do Subframework de Análise Semântica de Fórmulas. In: 9th International Conference on Information Systems and Technology Management, 2012, São Paulo. 9th International Conference on Information Systems and Technology Management, 2012. p. 1-13.

• SILVA, R. A. ; SOUZA, S. R. S. ; SOUZA, P. S. L. . Execução Determinística de Programas Concorrentes Durante o Teste de Mutação. In: VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012, Natal. VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012. p. 1-10.

• SILVA, R. A. ; SOUZA, S. R. S. ; SOUZA, P. S. L. . Teste de Mutação aplicado a Programas Concorrentes em MPI. In: I Workshop de Teses e Dissertações do CBSoft, 2011, São Paulo. Congresso Brasileiro de Software: Teoria e Prática, 2011. p. 1-5.

• SILVA, R. A. ; MATOS, S. N. ; FERNANDES, C. T. . Aplicando a Abordagem Dirigida por Responsabilidades no Desenvolvimento de um Subframework de Análise Sintática e Semântica de Fórmulas. In: 7° International Conference on Information Systems and Technology Management, 2010, São Paulo. International Conference on Information Systems and Technology Management, 2010. p. 1-13.

• CAPELLER, P. E. B. ; ANDRADE, V. C. ; SILVA, R. A. ; MATOS, S. N. . Uma Adaptação da Linguagem F-UML em uma Ferramenta Gratuita de Modelagem. In: Congresso Sul Brasileiro de Computação, 2010, Criciúma. Congresso Sul Brasileiro de Computação, 2010. p. 1-10.

• SILVA, R. A. ; MATOS, S. N. . Utilizando a Abordagem Dirigida a Responsabilidades para a Criação do Subframework de Análise Sintática e Semântica de Fórmulas. In: XIV Seminário de Iniciação Científica e Tecnológica da UTFPR, 2009, Pato Branco. XIV Seminário de Iniciação Científica e Tecnológica da UTFPR, 2009. p. 1-4.

• SILVA, R. A. ; MALAQUIAS, F. H. ; BORGES, H. B. ; MATOS, S. N. ; ISHIKAWA, E. C. M. . Aplicando Coleção Welie e Utilizando Arquivo de Texto para o Desenvolvimento e Atualização de um Sítio Interativo para Web. In: VI Congresso de Tecnologias para Gestão de Dados e Metadados do Cone Sul, 2008, Curitiba. VI Congresso de Tecnologias para Gestão de Dados e Metadados do Cone Sul, 2008. p. 1-9.

• BORDIGNON, M. D. ; SILVA, R. A. . TESTE DE MUTAÇÃO PARA PROGRAMAS CONCORRENTES EM ELIXIR: UM PROJETO DE PESQUISA. In: V Congresso de Ciência e Tecnologia da UTFPR Câmpus Dois Vizinhos, 2019, Dois Vizinhos. Anais do V Congresso de Ciência e Tecnologia da UTFPR Câmpus Dois Vizinhos, 2019.

• BORDIGNON, M. D. ; SILVA, R. A. . Benchmark de programas concorrentes em Elixir para suporte à validação de critérios e ferramentas de teste. In: Simpósio de Engenharia de Software da UTFPR-DV, 2019, Dois Vizinhos. Anais do 2o Simpósio de Engenharia de Software da UTFPR-DV, 2019.

• SOUZA, SIMONE R. S. ; BRITO, MARIA A. S. ; SILVA, RODOLFO A. ; SOUZA, PAULO S. L. ; ZALUSKA, ED . Research in concurrent software testing. In: the Workshop, 2011, Toronto. Proceedings of the Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '11. v. 1. p. 1-5.

• SILVA, RODOLFO A. ; SOUZA, S. R. S. . Achievements, Challenges and Opportunities on Mutation Testing of Concurrent Programs. 2018. (Apresentação de Trabalho/Outra).

• Silva, Rodolfo Adamshuk ; SOUZA, S. R. S. . Search-Based Mutation Testing para Programas Concorrentes. 2014. (Apresentação de Trabalho/Congresso).

• SILVA, R. A. ; SOUZA, S. R. S. ; SOUZA, P. S. L. . Utilizando uma Arquitetura de Referência para Apoiar o Desenvolvimento de uma Ferramenta de Teste de Programas Concorrentes. 2013. (Apresentação de Trabalho/Congresso).

• SILVA, R. A. ; SOUZA, S. R. S. ; SOUZA, P. S. L. . Mutation Operators for Concurrent Programs in MPI. 2012. (Apresentação de Trabalho/Outra).

• SILVA, R. A. ; GOMES, E. W. C. ; MATOS, S. N. . Plano de Teste para Validação do Subframework de Análise Semântica de Fórmulas. 2012. (Apresentação de Trabalho/Congresso).

• SILVA, R. A. ; SOUZA, S. R. S. ; SOUZA, P. S. L. . Teste de Mutação aplicado a Programas Concorrentes em MPI. 2011. (Apresentação de Trabalho/Congresso).

• SILVA, R. A. ; MATOS, S. N. ; FERNANDES, C. T. . Aplicando a Abordagem Dirigida por Responsabilidades no Desenvolvimento de um Subframework de Análise Sintática e Semântica de Fórmulas. 2010. (Apresentação de Trabalho/Congresso).

• SILVA, R. A. ; MATOS, S. N. . Utilizando a Abordagem Dirigida a Responsabilidades. 2009. (Apresentação de Trabalho/Seminário).

• SILVA, R. A. ; MALAQUIAS, F. H. ; BORGES, H. B. ; MATOS, S. N. ; ISHIKAWA, E. C. M. . Aplicando Coleção Welie e Utilizando Arquivo de Texto para o Desenvolvimento e Atualização de um Sítio Interativo para Web. 2008. (Apresentação de Trabalho/Congresso).

Outras produções

Projetos de pesquisa

• 2017 - 2017

  Otimização do teste de mutação para programas concorrentes utilizando técnicas meta-heurísticas, Descrição: Este projeto tem como objetivo principal identificar e aplicar sequências de sincronização de programas concorrentes no contexto teste de mutação, para isso trabalharemos com os seguintes objetivos específicos: empregar técnicas de busca meta-heurísticas; identificar sequências de sincronização consideradas ótimas para serem usadas em conjunto com casos de teste e, por fim, testar um programa. O teste de mutação é um critério baseado em defeitos que usa o escore de mutação como um requisito de teste. Ele está baseado em operadores de mutação que representam defeitos que podem estar presentes no programa. Esse critério apresenta uma alta efetividade em revelar defeitos, porém torna-se mais complexo quando aplicado a programas concorrentes devido ao não determinismo, podendo haver mais de uma sequência de sincronização possível de execução para uma única entrada. Para alcançar o objetivo proposto, podem ser aplicadas técnicas como algoritmos genéticos, subida de encosta e colônia de formigas. Como resultado, diminuímos o problema da explosão no número de execuções dos programas concorrentes, uma vez que a meta-heurística seleciona a melhor para ser executada. Em um experimento inicial, a meta-heurística algoritmo genético encontrou sequências capazes de matar no mínio 82,2% dos mutantes gerados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Rodolfo Adamshuk Silva - Integrante / SOUZA, SIMONE R. S. - Coordenador., Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Bolsa.

• 2013 - 2017

  Usando Search-Based Software Testing para a Otimização do Teste de Mutação para Programas Concorrentes, Projeto certificado pelo(a) coordenador(a) Simone do Rocio Senger de Souza em 23/05/2018., Descrição: O teste de mutação é um critério da técnica baseada em defeitos e baseia-se nos enganos que podem ser cometidos pelos desenvolvedores de software. Este critério apresenta uma alta eficácia em revelar defeitos, porém, o seu alto custo compromete sua utilização. No contexto de teste de programas concorrentes, o teste de mutação torna-se mais complexo, pois o programa original pode apresentar mais de uma resposta diferente e correta para uma mesma entrada. Isso ocorre devido ao não determinismo das aplicações concorrentes e não é possível avaliar se um mutante apresentou um comportamento diferente do programa original somente observando a saída obtida. Com isso, têm-se muitos mutantes (e suas sequências de sincronização) para serem avaliados durante a atividade de teste. Técnicas de meta-heurísticas podem ser utilizadas em problemas complexos que compreendem uma grande quantidade de soluções possíveis e que se deseja encontrar uma solução ótima. O uso dessas técnicas no contexto de teste de software é denominado Search-Based Software Testing (SBST). O objetivo deste projeto de doutorado é investigar o uso de SBST para a redução do custo da aplicação do teste de mutação no contexto de aplicações concorrentes. Como resultados, espera-se caracterizar uma abordagem na qual a otimização poderá ser empregada para auxiliar a identificação de mutações relevantes, ou seja, que são capazes de evidenciar os principais problemas inerentes a aplicações concorrentes.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Rodolfo Adamshuk Silva - Integrante / Simone do Rocio Senger de Souza - Coordenador., Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Bolsa.

• 2010 - 2014

  Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (INCT-SEC), Descrição: Edital N. 15/2008 MCT/CNPq/FNDCT/ CAPES/FAPEMIG/FAPERJ/FAPESP Institutos Nacionais de Ciência e Tecnologia (INCT) A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são: a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Rodolfo Adamshuk Silva - Integrante / José Carlos Maldonado - Integrante / Adenilso da Silva Simão - Integrante / Elisa Yumi Nakagawa - Integrante / Ellen Francine Barbosa - Integrante / Márcio Eduardo Delamaro - Integrante / Simone do Rocio Senger de Souza - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2010 - 2013

  Teste de Mutação aplicado a Programas Concorrentes em MPI, Descrição: Este projeto visa explorar a definição de novos critérios de teste para programas concorrentes. Os critérios definidos atualmente no projeto são relacionadas à técnica estrutural e, dessa forma, utilizam informações a respeito da estrutura interna do programa para derivar os requisitos de teste. Sabe-se que critérios da técnica baseada em erros têm demonstrado uma alta eficácia em revelar defeitos. Sendo assim, pretende-se investigar, com base nos erros típicos relacionados a aplicações distribuídas, como que critérios dessa técnica podem ser aplicados nesse contexto.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Rodolfo Adamshuk Silva - Integrante / Simone do Rocio Senger de Souza - Coordenador / Paulo Sérgio Lopes de Souza - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 8

• 2010 - 2012

  ProCAD/CAPES - Projeto de Cooperação Acadêmica - ICMC/USP - UEM - PUC-RS, Descrição: A grande temática deste projeto refere-se à atividade de teste de software, com perspectivas de linhas de produto e componentes envolvendo teste para linguagens procedimentais, OO (orientadas a objetos), AO (orientadas a aspectos), incluindo o teste de sistemas distribuídos e de modelos. Também serão investigados temas envolvendo engenharia de software experimental e metodologias de apoio ao desenvolvimento de módulos educacionais para ensino e aprendizagem presencial e a distância.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (15) / Doutorado: (9) . , Integrantes: Rodolfo Adamshuk Silva - Integrante / José Carlos Maldonado - Integrante / Adenilso da Silva Simão - Integrante / Elisa Yumi Nakagawa - Integrante / Ellen Francine Barbosa - Integrante / Márcio Eduardo Delamaro - Integrante / Simone do Rocio Senger de Souza - Coordenador / Avelino Francisco Zorzo - Integrante / Marcelo Blois Ribeiro - Integrante / Flávio Moreira de Oliveira - Integrante / Itana Maria de Souza Gimenes - Integrante / Elisa Hatsue Moriya Huzita - Integrante / Tania Fatima Calvi Tait - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2010 - Atual

  TestPar - Teste paralelo de programas concorrentes, Projeto certificado pelo(a) coordenador(a) Simone do Rocio Senger de Souza em 19/08/2016., Descrição: A diversidade de domínios de aplicação de software e a proposição de novos paradigmas de desenvolvimento de software requerem que sejam exploradas atividades de teste nesses contextos. Diferentemente dos programas tradicionais, a computação distribuída envolve processos concorrentes que interagem para realizar as tarefas. Essa interação pode ocorrer de forma sincronizada ou não, sendo que esses processos podem ou não concorrer pelos mesmos recursos computacionais. Esse tipo de computação vem sendo cada vez mais empregada e necessária, haja visto as tecnologias atuais, com processadores com m´múltiplos n´núcleos e com o uso crescente de clusters de computadores. Nesse contexto, o teste de aplicações concorrentes torna-se mais complexo, pois além das dificuldades já inerentes à atividade de teste, novos desafios são impostos. Este projeto de pesquisa investiga a proposição de técnicas, critérios e ferramentas de teste para o contexto de programas concorrentes, explorando a realização de estudos experimentais e avaliações nesse contexto.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (9) / Doutorado: (5) . , Integrantes: Rodolfo Adamshuk Silva - Integrante / Brito, M. A. S. - Integrante / Simone do Rocio Senger de Souza - Coordenador / Paulo Sérgio Lopes de Souza - Integrante / Silvana Morita Melo - Integrante / Victor Hugo Santiago - Integrante / Ricardo F. Vilela - Integrante / Alexandre Ponce Oliveira - Integrante.

• 2008 - 2010

  Framemk, Descrição: Aplicativos de software cuja finalidade é estabelecer o preço de venda de um produto ou serviço são restritos à aplicação desktop e a implementação de um único método de formação de preço de venda. Isto dificulta o trabalho dos gestores, pois o preço gerado pelo sistema pode não representar o valor ideal de mercado do produto, prejudicando sua competitividade. Gestores podem utilizar planilhas eletrônicas com fórmulas próprias para o estabelecimento do preço de venda. Neste tipo de aplicativo, uma das dificuldades encontradas esta relacionada ao retorno de uma mensagem de erro sintático em uma fórmula, que em alguns casos, é de difícil interpretação e correção. A validação sintática e semântica dessas fórmulas não pode ser reutilizada por novos aplicativos, por se tratar de uma ferramenta com o código-fonte fechado. Este projeto propõe o estudo de métodos utilizados para formação de preço de venda com o objetivo de verificar seus aspectos comuns e específicos de forma que se possa criar um modelo de arquitetura de um framework de domínio na área de formação de preço de venda. A arquitetura proposta será construída utilizando como referência padrões de desenvolvimento web, metapadrões, padrões de projetos e ferramentas gratuitas. Propõe-se também o desenvolvimento da arquitetura de interface para o framework que será construída utilizando princípios de usabilidade e acessibilidade.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Rodolfo Adamshuk Silva - Integrante / Simone N. Matos - Coordenador., Financiador(es): Fundação de Apoio à Educ., Pesq. e Desenvol.Cient. e Tec. da UTFPR - Auxílio financeiro., Número de produções C, T & A: 15

Prêmios