Sofia Larissa da Costa Paiva

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Projetos de pesquisa

• 2023 - Atual

  Avanços e Soluções em Engenharia de Software para Sistemas de Informação e Sistemas-de-Sistemas visando Aplicações para Cidades Inteligentes, Projeto certificado pelo(a) coordenador(a) Valdemar Vicente Graciano Neto em 20/11/2023., Descrição: funcionalidades mais ricas. Tais sistemas formados por outros sistemas constituintes são chamados de Sistemas-de-Sistemas (SoS). Cidades inteligentes são exemplos notáveis de SoS. Uma vez que existe expectativa de que tais sistemas autom atizem processos urbanos e viabilizem melhor qualidade de vida nas cidades, o software que guia seu funcionamento deve ser correto e não sujeito a falhas, uma vez que isso poderia causar sérios danos à integridade de seus usuários. E, considerando características únicas destes tipos de sistemas, tais como independência operacional e gerencial de seus constituintes, comportamentos emergentes em potencial, e arquitetura dinâmica, novas técnicas de engenharia de software precisam ser desenvolvidas para subsidiar a engenharia deste novo tipo de sistema. Este projeto de pesquisa abarca iniciativas de pesquisa para investigação e proposição de técnicas de engenharia de software para SoS, e para os Sistemas de Informação que podem estar envolvidos como constituintes nestes SoS.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Sofia Larissa da Costa Paiva - Integrante / Valdemar Vicente Graciano Neto - Coordenador / Leonardo Andrade Ribeiro - Integrante / Renato de Freitas Bulcão Neto - Integrante.

• 2018 - 2020

  Técnicas de apoio ao desenvolvimento de Sistemas de Informação, Descrição: O desenvolvimento de Sistemas de Informação (SI) mantem-se como uma atividade cara e complexa, especialmente com o surgimento de novas tecnologias que demandam novos desafios para o desenvolvimento de software. Técnicas de qualidade de software, incluindo a atividade de teste de software e a aplicação de características adequadas para a arquitetura do software são essenciais para o desenvolvimento de SI com a qualidade requerida. Este projeto tem como objetivo a aplicação e adaptação de tais técnicas de Engenharia de Software para apoiar o desenvolvimento adequado destes sistemas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) . , Integrantes: Sofia Larissa da Costa Paiva - Coordenador / Darlinton B. Feres Carvalho - Integrante / Matheus Viana - Integrante / Vinicius Durelli - Integrante., Número de produções C, T & A: 1

• 2015 - 2016

  Testing techniques for CIRCUS specification languages based on fault models, Descrição: The objective of this project is to extend the theoretical foundations of testing based on fault models to the domain of model-based testing in the context of state-rich process algebra for refinement. We will address in a unified framework complex system models that cater for with concurrency, state, and interactions involving complex data structures. More precisely, we will develop, formalise, and evaluate by practical experimentation testing techniques based on models written in Circus, an industrial-strength refinement language combining Z and CSP. The planned results are the definitions of sound practical testing strategies for Circus models with refinement as a conformance relation, supported by some prototype tools; these results will be validated on significant case studies.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sofia Larissa da Costa Paiva - Integrante / SIMAO, ADENILSO - Coordenador.

• 2012 - 2016

  Sistemas de Transição de Entrada/Saída: Apoio para a Geracão de Casos de Teste, Descrição: O Teste Baseado em Modelos é uma estratégia promissora para automatizar a geração e execução de teste. Os casos de teste são derivados de um modelo representando o software a ser testado. Diversos métodos de geração de testes a partir de Máquinas de Estados Finitos (MEFs) podem ser encontrados na literatura. Contudo, tais modelos podem ser inadequados para representar algumas classes de software e, portanto, outros modelos devem ser adotados. Os Sistemas de Transição de Entrada/Saída (do inglês, Input/Output Transition System, IOTS) são exemplos desses modelos. Apesar de amplamente investigados, a teoria na qual se baseia o IOTS ainda não oferece o mesmo nível de apoio à Geração de Casos de Teste que existe para MEFs. O objetivo desse trabalho é investigar como resultados recentes obtidos no teste baseado em MEFs podem ser aplicados no contexto do teste baseado em IOTS. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Sofia Larissa da Costa Paiva - Integrante / Adenilso da Silva Simão - Coordenador.

• 2010 - 2011

  Estratégias e Métodos para Melhoria de Software, Descrição: O objetivo geral deste Projeto de Pesquisa é investigar e desenvolver estratégias, métodos, processos, e ferramentas para melhoria da qualidade de software. As ações do projeto envolvem a pesquisa, o desenvolvimento e a disseminação de teorias e práticas de Engeharia de Software. Em particular o projeto investiga soluções inovadoras e direcionadas à qualidade do produto de software, abordando os problemas relacionados com a avaliação, melhoria e implantação de processos de Engenharia de Software.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (4) . , Integrantes: Sofia Larissa da Costa Paiva - Integrante / Juliano Lopes de Oliveira - Coordenador / Valdemar Vicente Graciano Neto - Integrante / Luiz Fernando Batista Loja - Integrante / Paulo Henrique Faleiro - Integrante.

Prêmios