Marcelo Medeiros Eler.

Este projeto tem o objetivo de incentivar a maior participação feminina nas áreas ligadas à tecnologia e assim reduzir a disparidade de gênero que tem sido observada na área há diversos anos. As atividades previstas neste projeto incluem dinâmicas com as alunas da graduação; rodas de conversa e entrevistas realizadas com alunas destaque, alunas de pós-graduação, mulheres que atuam no mercado e professoras da área; participação e organização de eventos cujo público alvo são alunas do ensino fundamental e médio; e dinâmicas de computação desplugada aplicadas nas escolas de ensino fundamental da Zona Leste de São Paulo. O envolvimento com essas atividades ajuda as participantes a terem um senso de identidade e missão que as confere mais confiança e autonomia, o que pode contribuir com a excelência acadêmica e profissional e influenciar outras alunas e profissionais. Este projeto será desenvolvido no contexto do grupo PET-SI (Programa de Educação Tutorial do curso de Sistemas de Informação) da EACH-USP, que atualmente possui uma iniciativa chamada GRACE (GaRotAs na Computação e Empreendedorismo), que visa inspirar alunas do ensino fundamental e médio a se interessar por computação, diminuir a disparidade de gênero na área, e incentivar as atividades empreendedoras das alunas do curso de SI. Este projeto é apoiado pelo edital PUB-USP 2021/2022.

Este projeto tem o objetivo de promover a divulgação de conteúdo tecnológico e científico para profissionais da área da computação, alunos do ensino médio interessados em ingressar na área e alunos de graduação e pós-graduação da área da computação. Ele será executado no contexto do projeto ?Fala, Coruja!? do grupo PET-SI da EACH-USP, que consiste em um programa de podcast criado para divulgar conteúdos
da área da computação com a participação de professores e alunos do curso de Sistemas de Informação e profissionais da área, além de relatar eventos relacionados ao curso de SI e à EACH-USP. Os bolsistas deste projeto deverão executar atividades como selecionar temas para os futuros episódios do programa, estudar os assuntos a serem abordados, elaborar roteiros, gravar entrevistas e discussões com os convidados, realizar edição de áudio, publicar os episódios nas plataformas de reprodução e fazer divulgação dos episódios gravados. Até o momento, já foram publicados 12 episódios com mais de 1000 ouvintes ao todo. Espera-se, com a adição de bolsistas, consolidar e ampliar o projeto para publicar ao menos dois episódios por mês e ampliar o número de ouvintes. Este projeto é apoiado pelo edital PUB-USP 2021/2022

Este projeto tem como objetivo aumentar a participação feminina na área da computação e de tecnologias. Ele é desenvolvido no contexto do grupo PET (Programa de Educação Tutorial) do curso de Sistemas de Informação da EACH-USP e consiste em realizar atividades de computação desplugada com alunas do oitavo e nono anos do ensino fundamental das escolas públicas da Zona Leste de São Paulo. Além disso, o grupo promove ações voltadas para o próprio público da graduação para aumentar a conscientização sobre a relevância da mulher neste contexto. Projeto apoiado por edital PUB-USP 2020/2021.

O ensino de lógica e conceitos de programação de computadores para alunos do ensino médio apresenta a este público abordagens sistemáticas para resolver problemas computacionais por meio da criação de algoritmos usando uma linguagem de programação. Esse conhecimento é importante para que os alunos tenham melhor desempenho em cursos de ensino superior, principalmente os que estão ligados à computação, e também em atividades profissionais relacionadas à área. Neste contexto, é proposto aqui um plano para a atuação de dois bolsistas no projeto COMPETEC (COMputação, PET e ETEC) do grupo PET-SI da EACH/USP, que consiste em ensinar lógica de programação a alunos das ETECs da Zona Leste da cidade de São Paulo com o objetivo de colaborar com a melhoria do conhecimento de programação dos participantes e promover a aproximação destes ao ambiente universitário, em especial ao curso de Bacharelado em Sistemas de Informação da EACH/USP. Este projeto tem sido renovado anualmente mediante apresentação de propostas aos editais PUB-USP 2018/2019, 2019/2020, 2020/2021 e 2021/2022 (2 bolsas por ano).

O objetivo principal deste projeto é ensinar conceitos de computação a alunos do ensino médio e fundamental da rede pública na cidade de São Paulo. Em especial, o projeto visa desenvolver atividades nas escolas da zona leste da cidade pelo fato da instituição sede, a EACH, estar localizada no campus leste da USP. Os objetivos específicos do projeto são os seguintes: I) ensinar conceitos de lógica de programação de computadores a alunos das escolas técnicas (ETECs) usando dinâmicas de resolução de desafios de programação; II) ensinar conceitos básicos de computação sem o uso de computadores (computação ?desplugada?) a alunos do ensino fundamental de escolas públicas; III) incentivar a maior participação feminina em cursos de tecnologia; IV) apresentar a USP e seus cursos de graduação em tecnologia aos alunos das escolas públicas; e V) complementar a formação dos alunos de graduação participantes das atividades do projeto no que se refere ao planejamento de atividades, trabalho em equipe, didática de ensino e engajamento social.

O PET é desenvolvido por grupos de estudantes, com tutoria de um docente, organizados a partir de formações em nível de graduação nas Instituições de Ensino Superior do País orientados pelo princípio da indissociabilidade entre ensino, pesquisa e extensão e da educação tutorial.

Avaliações de usuários publicadas em lojas de aplicativos ajudam organizações a corrigir defeitos e planejar novas versões de aplicações. Em particular, avaliações relacionadas à acessibilidade podem ser úteis para entender as barreiras que os usuários enfrentam em ambientes reais. Estudos que analisam avaliações que tratam de acessibilidade conclu1ram que poucos usuários mencionam acessibilidade em suas avaliações e que poucos tipos de barreiras são mencionados. Entretanto, esses estudos possuem algumas limitações: amostra pouco representativa, extra1das de aplicações pouco utilizadas e com cerca de 200 mil avaliações no total, e análises fundamentalmente quantitativas, que não exploram os principais conceitos e seus relacionamentos abordados pelos usuários. O objetivo deste projeto de pesquisa é caracterizar as questões de acessibilidade abordadas em avaliações de acessibilidade e que afetam usuários com deficiência visual. Esta caracterização será feita por meio da aplicação de técnicas quantitativas e qualitativas aplicadas sobre uma amostra representativa com aproximadamente 180 milhões de avaliações. Os resultados desta pesquisa irão contribuir com a área ao i) fornecer evidências sobre as barreiras de acessibilidade que afetam a percepção, a compreensão e a operação das aplicações em ambientes reais; ii) identificar as principais barreiras de acessibilidade enfrentadas para cada tipo de deficiência ou elemento da interface; iii) identificar o impacto das barreiras para os usuários com base nas expressões utilizadas por eles, análise de sentimentos e notas atribu1das à aplicação; iv) sistematizar o conhecimento extra1do das avaliações para fornecer evidências sobre a importância de seguir guias de acessibilidade.

Projeto de pesquisa internacional guarda-chuva criado no âmbito do Pilar de Informática do International Research Center da USP-CNRS. Este projeto tem como objetivo criar mecanismos para modelar, visualizar, simular e otimizar cadeias de suprimento de software com base em objetivos como segurança e sustentabilidade. Várias iniciativas de uma colaboração internacional entre USP e CNRS estão vinculadas a este projeto, como submissão de projetos para Joint PhD, PRCI-ANR, etc.

Cada membro do PET possui habilidades, interesses e conhecimentos diversos. Uma forma de compartilhar o conhecimento com o grupo e com demais estudantes da graduação é por meio de oficinas, cursos e palestras. Nesta categoria, enquadram-se, por exemplo, oficinas sobre linguagens de programação, ambientes de programação, editores de texto, áreas de computação no mercado, etc. Além disso, estudantes, docentes, profissionais ou organizações parceiras que não pertencem ao grupo podem oferecer oficinas para o grupo PET-SI.Essas atividades favorecem a formação profissional e acadêmica dos alunos participantes e da graduação. Adicionalmente, favorecem a permanência estudantil quando os calouros se envolvem nas oficinas de introdução a assuntos de interesse deste grupo. Por fim, os alunos da graduação beneficiam-se de participar de cursos oferecidos por organizações parceiras que apresentam aspectos atuais do mercado que os egressos irão encontrar.

Investigação realizada em parceria com a FDTE e a Prime Control para analisar repositórios de código e registros de falhas (bugs) encontrados nas diversas fases do ciclo de vida do software (desenvolvimento, teste, produção, etc). Os objetivos principais desta investigação são os artefatos relacionados às falhasencontradas associados aos artefatos de código dos produtos e serviços da organização. O objetivo principal deste projeto é investigar a viabilidade da aplicação mecanismos inteligentes para aprimorar o processo de teste de software adotado em empresas por meio de análise de dados históricos de projetos. O objetivo secundário é estudar a viabilidade da aplicação de abordagens que visam ao teste automático de aplicativos móveis.

Este projeto consiste em um podcast do grupo PET-SI para divulgar entrevistas realizadas pelas(os) petianas(os) com convidados(as) de interesse do grupo, como um(a) professor(a) ou especialista em algum assunto, o(a) coordenador(a) do curso, ou mesmo alunos(as) da graduação, pós-graduação do curso de Sistemas de Informação, patrocinadores ou os próprios petianos(as). As entrevistas são gravadas e posteriormente editadas para serem publicadas em formato de podcast em serviços de streaming (Spotify, por exemplo) e na homepage do grupo. O público alvo da atividade são as(os) alunas(os) de graduação em Sistemas de Informação da EACH e as pessoas que detém interesse na área de tecnologia, que são mais atingidos por este formato de mídia.

Este projeto de pesquisa tem o objetivo de colaborar com a automação da avaliação da acessibilidade de aplicações móveis de diversas maneiras: ampliação das diretrizes de acessibilidade automaticamente avaliadas por ferramentas de automação; investigação e avaliação de algoritmos para exploração automática de aplicações móveis; e identificação das necessidades de desenvolvedores para adaptar ferramentas para o teste automático de acessibilidade ao processo e ambiente de desenvolvimento de aplicações móveis. Em particular, a avaliação automática das diretrizes de acessibilidade, os algoritmos para exploração de aplicações e as adaptações ao contexto de desenvolvimento serão feitas na ferramenta MATE (Mobile Accessibility Testing). O projeto será desenvolvido com o apoio de colaboradores nacionais e internacionais, e alunos de mestrado da instituição sede.

Com o anseio de criar um ambiente em que a atuação feminina em Computação seja valorizada, o grupo PET-SI decidiu transformar essa questão em um projeto a fim de auxiliar na reversão deste quadro. Desde então, o grupo se empenha em realizar atividades que contribuam para o entendimento acerca da presença feminina no contexto da Computação - seja no ambiente acadêmico ou no mercado de trabalho - e a divulgação sobre a área de Computação a alunos e alunas do ensino fundamental e ensino médio regular, com atividades lúdicas e informativas. Desta forma, o grupo PET-SI pretende incentivar tais estudantes, principalmente mulheres a conhecerem melhor a área da computação, para que possivelmente surja um interesse em se graduar e atuar na área.

Esta projeto consiste na produção de um jornal eletrônico informativo do grupo PET-SI chamado Coruja Informa. As matérias produzidas pelo grupo PET-SI são publicadas na homepage do Coruja Informa e possuem temas que abordam tanto diretamente o curso quanto também questões interdisciplinares, sendo apresentado em diferentes formatos, tais como de notícia, entrevista, divulgação, dentre outros.

Campeonato de programação anual para calouros do curso de bacharelado em Sistemas de Informação da Escola de Artes, Ciências e Humanidades da Universidade de São Paulo (EACH-USP), organizado no âmbito do Programa de Educação Tutorial em Sistemas de Informação (PET-SI).

Mobile applications represent an already tremendous, but still quickly growing market. In a world where users have ample choice of apps in overcrowded app stores, every bug can be the demise of an app. The scale of economic damage caused by software problems in mobile apps is huge, and is only overshadowed by the threat posed by increased usage of apps in safety relevant scenarios. The traditional answer of software engineers to these software bugs is software testing. However, mobile apps pose challenges over the already complex and error prone task of software testing. Automation is desirable to overcome these challenges, yet existing techniques to automate test generation struggle with complex user interactions in mobile apps (e.g. input data, tap, double tap, long press, gestures), interactions with the environment (e.g. sensors, camera, GPS), external events (e.g. other applications of OS), and multiple configurations (e.g. different devices and OS properties). In order to handle the complexity of the problem of automating tests for mobile apps, we propose to develop a search-based approach, where tests consisting of complex user and environment interactions will be generated automatically, guided by search heuristics based on functional as well as structural criteria. The availability of such a search-based testing framework will support app developers and app store maintainers in increasing the quality of their products, and it will serve as foundation for future research on mobile apps. The ambitious goals of this research project are made feasible by a combination of the experience of the principal investigator and the host institution, which has a track record in successful development of search-based approaches.

O teste de software é uma atividade chave para a garantia de qualidade de software. Técnicas e estratégias de teste auxiliam os testadores na criação e na avaliação de casos de teste. A execução simbólica tem sido utilizada como uma técnica efetiva para a geração automática de dados de teste para cobrir os requisitos de teste definidos pelo critério de fluxo de controle da técnica de teste estrutural. Na execução simbólica, cada caminho do programa sob teste é representado por uma sequência de restrições que deve ser satisfeita palas variáveis de entrada para que o caminho seja executado.
Valores concretos são definidos para cada variável por meio de solucionadores de restrições (constraint solvers), tal que todas as restrições sejam satisfeitas. Os valores das variáveis são então usados como dados de teste para executar cada caminho.
A maioria das abordagens explora apenas técnicas para gerar dados de teste para caminhos livres de exceção, que são caminhos nos quais os mecanismos de tratamento de exceção não são levados em consideração. A geração de dados de teste para caminhos dependentes de exceção, que são os caminhos que são executados apenas quando uma dada exceção é lançada, não tem sido tratada apropriadamente pelas abordagens atuais. Essa limitação existe porque as restrições para que uma exceção seja lançada não estão sempre explícitas no código, a não ser que sejam declaradas pelos desenvolvedores. Se não houver restrições definidas pelo usuário, somente uma análise do código sob a ótica de cada tipo de exceção pode revelar quais dados de teste podem provocar a exceção. 
Portanto, este projeto de pesquisa tem o objetivo de investigar a geração de dados de teste para caminhos dependentes de exceção e propor técnicas para definir restrições capazes de garantir que as exceções necessárias sejam lançadas e evitar que as exceções indesejadas sejam ativadas.

Descrição: O modelo de segurança e privacidade para a aplicação da computação de serviços móveis é um tema importante e desafiadora na área de pesquisa de computação de serviços. Este projeto de pesquisa se concentra no modelo de segurança e de privacidade para a aplicação de serviços móveis na computação para brinquedos a partir da perspectiva de um framework de políticas. Um brinquedo é um produto que se destina a ser usado por uma criança na aprendizagem ou para diversão. A indústria de brinquedos é composta por estabelecimentos que se dedicam fundamentalmente à fabricação de bonecos, brinquedos e jogos. As empresas de brinquedos são confrontadas com o desafio de compreender melhor as necessidades dos consumidores e a explorar a possibilidade de adoção de tais brinquedos vestíveis sensíveis ao contexto como interfaces de informações definirão o sucesso do mercado de computação para brinquedos. Um problema agravante é que o framework de políticas de privacidade com padrões tecnológicos para proteger informações de localização baseada nos jogadores em serviços móveis ainda não foi estabelecido na indústria de brinquedos em todo o mundo. Assim, serviços móveis precisam ser altamente personalizados para enfrentar preferências de segurança e privacidade, a fim de apoiar a computação para brinquedos..

A popularidade de dispositivos portáties tem crescido rapidamente nos últimos anos. Em razão do grande número e da diversidade de usuários, novas técnicas de teste são necessárias para reduzir a ocorrência de falhas e para garantir a melhor qualidade das aplicações móveis. O objetivo deste projeto é propor uma abordagem formal e automatizada para aplicações móveis. Especificamente, será investigada a adoção de teste baseado em modelos e execução simbólica como mecanismos de verificação e validação de soluções móveis desenvolvidas na plataforma Android.

CHOReOS will implement a framework for scalable choreography development. The goal is to enable domain experts to develop decentralized ultra-large scale (ULS) solutions composed of heterogeneous services that are adaptable and QoS (Quality-of-Service) aware. CHOReOS will deliver formally grounded abstractions and models, dynamic choreography-centric development processes, governance and service-oriented middleware manipulated via an Integrated Development Runtime Environment (IDRE) aimed at overcoming the ULS impact on software system development.

Neste projeto de doutorado foram desenvolvidas técnicas e ferramentas para possibilitar o uso da técnica de teste estrutural (caixa-branca) em um ambiente em que tipicamente apenas a técnica de teste funcional (caixa-preta) é utilizada em razão da natureza dos Serviços Web.

É uma aliança entre indústria, órgãos governamentais e academia que tem como objetivo ajudar indústrias e gobernos a alcançar competitividade e inovação por meio do uso de software livre. Para tanto pretende definir e implementar tecnologias, processos e políticas para facilitar o desenvolvimento e o uso de sofware com código aberto com o mesmo nível de confiança tradicionalmente oferecido pelo software que tem proprietário.

Este projeto de mestrado tem o objetivo de especificar um método para auxiliar desenvolvedores que desejam utilizar tanto componentes-base (regulares) quanto componentes aspectuais na construção de um software. O método orienta os desenvolvedores na identificação, análise, modelagem e implementação de interesses transversais por meio de linguagens de aspectos de propósito geral (AspectJ, por exemplo) ou de propósito específico para componentes (JAsCO ou FuseJ, por exemplo).