Seminários do dia 29/10/2014

Material do seminário do LabES realizado no dia 29 de outubro

Boa tarde,

No dia 29 de outubro tivemos a apresentação do Rafael Oliveira.

Título: How to get your paper rejected (Prof. Jeff Offutt)

Resumo:

Nesta apresentação, de um modo bem humorado, o professor Jeff Offut (George Mason University - Fairfax,US) passa à audiência toda a expertise de um profissional que já teve muitos artigos rejeitados ao longo de sua carreira. De um modo dinâmico e com diversos exemplos reais, o Professor Jeff compartilha com a audiência alguns pontos de vista dos revisores de artigos. Sendo assim, o conteúdo da palestra é valiosa para o aluno de pós-graduação que tem interesse em aumentar as chances de ter seus artigos aceitos em conferências e revistas mais competitivas.

Link: Slides

Abraços a todos.
Rodolfo Adamshuk Silva

Seminários do dia 17/09/2014

Material do seminário do LabES realizado no dia 17 de setembro

O seminário contou com duas apresentações sobre os projetos de pesquisa dos alunos: Thiago Gottardi (doutorado) e Vânia de Oliveira Neves (doutorado).

Resumos dos seminários:

Aluna: Vânia de Oliveira Neves

Título: Heurísticas para seleção da população inicial de algoritmos de teste baseado em busca para software controlador de veículos autônomos

Resumo: Prévia do artigo publicado no SAST. No artigo é apresentado um estudo realizado com base em logs coletados em testes de campo de um veículo autônomo (SRM: sistema robótico móvel) desenvolvido no ICMC-USP. Esse sistema executa no ambiente ROS e é programado em C++. É apresentada uma análise de cinco logs para dois métodos mais complexos do programa e são analisadas sete heurísticas propostas para gerar uma população inicial que poderia servir como semente para algoritmos de busca. Essas heurísticas são avaliadas, buscando minimizar o número de dados de entrada e maximizar a qualidade da população com base nos critérios de teste todos-nós e todas-arestas.

Link  <Slides>

Aluno: Thiago Gottardi

Titulo: Uma estratégia de reúso de processos no contexto da engenharia de software dirigida por modelos

Resumo: No contexto da Engenharia de Software Dirigida por Modelos (MDSE), a produção  de software pode ser realizada por meio de definições de modelos. Apesar dos benefícios dessa metodologia,  diferentes domínios exigem a especificação de linguagens de modelagem e ferramentas  específicas, que, por sua vez, precisam ser desenvolvidos em conjunto com o software final. Desta forma, desenvolvedores encontram problemas ao utilizar a metodologia, além de não possuir um processo adequado que os guie em como ou quando criar ferramentas de apoio.   Após a realização de um mapeamento sistemático e de três estudos empíricos, foi identificada a carência de diretrizes e processos adequados que apoiem todo o ciclo de vida do MDSE. Além disso, um único processo não é adequado para todos os domínios,   o que exige uma estratégia para reúso de processos adaptáveis a cada projeto.   Portanto,   neste projeto,   propõe-se uma nova estratégia de reúso de processo para o MDSE em conjunto com a definição de um suporte integrado para todo o ciclo de vida do desenvolvimento de sistemas baseados em modelos. Como resultados esperados, pode-se listar: uma estratégia para adequação de processos para MDSE, um ou mais processos resultantes da estratégia com validação em casos reais de utilização, estudos que apresentem as dificuldades relacionadas a MDSE que foram ou não solucionadas e prospecções e recomendações para trabalhos futuros nesta área de pesquisa.

Link <Slides>

Seminários do dia 15/10

Olá Labeanos!

Na última quarta-feira (15/10) tivemos nosso tradicional seminário de grupo.

Naquele encontro o aluno de doutorado Draylson praticou sua apresentação de um artigo que seria apresentado no congreso FIE (Fie Frontiers in Education) (Resumo 1). (slides)

Na segunda apresentação, o aluno de doutorado Rodolfo fez uma apresentação prévia de sua qualificação de doutorado (Resumo 2). (slides)

Abaixo seguem os resumos.

Obrigado a todos
Até o próximo.

Abraços
Rafael


Draylson (Resumo 1)
Título: Towards the use of an automatic assessment system in the teaching of software testing

Resumo: Both software testing and programming foundations are difficult subjects to be taught. In case of programming, experiences have suggested that the mastering of testing can contribute to enhance the students' skills of comprehension and analysis. So, automatic test-based assessment systems have been developed and adopted in programming courses. Aiming at investigating the adoption of assessment systems also in the teaching of software testing, in this paper we discuss the use of PROGTEST - a tool for the submission and automatic evaluation of programming assignments based on testing activities. As most of the automatic assessment systems, PROGTEST offers benefits such as immediate feedback, objectivity and consistency of the evaluation, and a substantial time saving in the evaluation of the programming assignments. Additionally, since it performs the assessments based on testing activities, PROGTEST also offers benefits for the teaching of software testing. Results from two experiments involving the use of PROGTEST in testing courses are presented, providing evidences on the feasibility of its adoption to support the teaching of testing concepts and criteria.


Rodolfo (Resumo 2)

Título: Uso de search-based software testing para otimizar o teste de mutação aplicado a programas concorrentes

Resumo: 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.

Seminários de 03/09

Olá pessoal!

No dia 03/09 tivemos duas apresentações: a Silvana fez uma prévia de sua quali e o Rafael compartilhou conosco a sua experiência no doutorado sanduíche. Os detalhes de cada apresentação, incluindo os slides, são dados a seguir.

Aluna: Silvana Morita Melo
Título: Definição de um Framework para Avaliação Sistemática de Técnicas de Teste no Contexto de Software Concorrente (slides)
Resumo: Várias propostas existem para apoiar o teste de programas concorrentes. De uma maneira geral, as propostas exploram a análise estática ou dinâmica, o paradigma de passagem de mensagem ou memória compartilhada, a linguagem de programação e o uso de padrões. Esses trabalhos tratam de diferentes abordagens de teste como: injeção de falhas, verificação formal, desenvolvimento dirigido a teste, execução controlada, teste de mutação, teste baseado em modelos, teste estrutural, análise simbólica, teste baseado em busca, teste de concorrência probabilística, teste de alcançabilidade e geração de casos de teste. Apesar de existirem diversas soluções, não há ainda um corpo de evidências consolidado que possibilite aos desenvolvedores de aplicações concorrentes na indústria e academia selecionar quais as técnicas, ferramentas e estudos disponíveis, apresentam as melhores relações custo/benefício, quando estes são incorporados à atividade de teste da organização. Este trabalho irá investigar as principais alternativas para a atividade de teste que vêm sendo empregadas no contexto de aplicações concorrentes, a fim de desenvolver um framework para auxiliar a avaliação sistemática dessas técnicas, facilitando a realização de estudos futuros e, principalmente, ajudando os profissionais da academia e da indústria a selecionar a melhor técnica/ferramenta de teste considerando diversos fatores de qualidade como satisfação, custo, eficácia e eficiência.


Aluno: Rafael Oliveira
Título: Estágio sanduíche na University of Maryland (College Park, MD, USA) (slides)
Resumo: Este seminário visa a compartilhar as atividades técnicas e as experiências vividas pelo aluno de doutorado Rafael Oliveira durante um ano de estágio sanduíche na Universidade de Maryland (UMD). Localizada entre as cidades de Washington-D.C. e Baltimore-MD, a singularidade em diversas áreas de pesquisa da universidade desperta a atenção de estudantes de várias regiões dos Estados Unidos e do mundo. Rafael, que é orientado pelo Prof. Márcio Delamaro, realizou colaboração de pesquisa entre o ICMC e a UMD sob supervisão Prof. Atif Memon, especialista em teste de sistemas baseados em eventos.

Muito obrigada a todos que participaram! Em especial, agradeço à Silvana e ao Rafael. As duas apresentações foram muito interessantes, principalmente para aprendermos sobre situações pelas quais passaremos um dia na Pós-Graduação: o exame de qualificação e o estágio sanduíche.

Para finalizar, algumas fotos tiradas pelo fotógrafo oficial dos eventos do LabES, Thiago Gottardi:

Até o próximo!

Seminários do dia 20/08

Student: Silverio Martínez-Fernández 

Title: Towards Guidelines for Building a Business Case and Gathering Evidence of Software Reference Architectures in Industry

Abstract: Software reference architectures are becoming widely adopted by organizations that need to support the design and maintenance of software systems of a shared domain. For organizations that plan to adopt this architecture-centric approach, it becomes fundamental to analyze the return on investment and to understand how software reference architectures are designed, maintained, and used. Unfortunately, there is little evidence-based support to help organizations with these challenges. In this talk, we describe the context and results obtained in an industry-academia collaboration between GESSI, our research group, and everis, an IT consulting firm with more than 10,000 employees that run software reference architecture projects. The main results of this collaboration have been: (a) REARM, a reuse-based economic model for software reference architectures; and (b) industrial evidence about the benefits and drawbacks as well as the artifacts of software reference architectures. The final goal of this research is to construct empirically-grounded guidelines that support organizations to decide on the adoption of software reference architectures and to gather evidence to improve RA-related practices. We will present how the results from our industry-academia collaboration are being packaged in order to create guidelines that could be used in similar contexts as the one of everis. Finally, lessons learned from our industry-academia collaboration will be presented.

Slides: <aqui>

Aluno: Ricardo Ramos de Oliveira
Título: Investigação de uma Abordagem para o Teste como Serviço (TaaS) na Computação em Nuvem

Resumo: A computação em nuvem está abrindo novos horizontes de oportunidade para o teste de software. Os testes baseados em nuvem têm o potencial de oferecer uma atraente combinação de menores custos, pagamento por uso e eliminação de despesas de capitais iniciais com infraestrutura, licenças de ferramentas, configuração e manutenção de ambientes de teste. A redução de custos é o principal fator que influencia as empresas na adoção da nuvem. A computação em nuvem não só mudou a forma de obtenção de recursos de computação, como também a forma de gerenciar e principalmente entregar serviços de computação, tecnologias e soluções. Do mesmo modo, o Teste como Serviço (Testing as a Service, TaaS) é considerado como um novo modelo de negócio e de serviço que proporciona uma maneira eficiente e eficaz de garantir a qualidade do teste de software permitindo atender aos padrões de qualidade, requisitos e necessidades dos consumidores por meio da internet. Neste contexto, é sabido que a computação em nuvem também facilita e oferece oportunidades para o desenvolvimento de técnicas de teste de software mais eficazes e escaláveis. Todavia, existem diversos novos problemas que limitam a utilização dessas novas tecnologias de maneira efetiva, tais como a falta de padronização na criação dos testes e de interoperabilidade entre as plataformas de TaaS, ocasionando o  lock-in, ou seja,  o aprisionamento do usuário ao fornecedor específico ou serviço de teste, causado pela dificuldade em migrar os testes de um provedor TaaS para outro. Partindo dessas limitações, o objetivo deste trabalho é investigar uma solução para o problema conhecido por lock-in no contexto de Teste como Serviço (TaaS) por meio da abordagem de uma especificação padrão de referência, a nível de protocolo HTTP. Assim, pretende-se possibilitar a execução de testes funcionais de uma aplicação que ao mesmo tempo seja independente de linguagem de programação e das tecnologias do fornecedor TaaS, e permitir, dessa forma, maior flexibilidade com o desacoplamento entre ambas as entidades.

Seminários do dia 25/06

Título: Definição de um modelo de processo de desenvolvimento para software orientado à ontologia
Aluna: Joice Basílio Machado Marques
Orientadora: Prof. Dra. Ellen Francine Barbosa

Resumo: O desenvolvimento de software orientado à ontologia tem aumentado em virtude dos benefícios obtidos por meio do uso das ontologias e devido aos novos cenários de desenvolvimento. Em um software orientado à ontologia a ontologia desempenha um papel central e orienta todos os componentes do software.  Este software apresenta particularidades que não estão presentes, de forma integrada, nas especificações dos processos de software atuais. O objetivo desta pesquisa é definir um processo de desenvolvimento para software orientado à ontologia. Para tal, faz-se necessário estabelecer a associação entre as boas práticas da engenharia de software e da engenharia de ontologias, de forma que o processo seja fácil de ser aplicado, factível de ser extensível, simples e adaptável para o contexto da aplicação. Neste trabalho será apresentada a primeira definição do modelo de processo de desenvolvimento para software orientado à ontologia, em andamento no projeto de doutorado. Foram definidas as atividades, metas e tarefas para guiar e orientar a equipe de desenvolvedores, incluindo os papéis dos engenheiros de software e dos engenheiros de ontologia, que serão apresentados no decorrer da explanação.

Slides: <aqui>

Título: Uma contribuição à formalização semântica da UML
Aluno: Vinícius Pereira
Orientador: Prof. Dr. Marcio E. Delamaro

Resumo: As aplicações de sistemas embarcados são diferentes das aplicação de computadores de propósito geral, como o computador pessoal. Isso se deve ao fato de que um sistema embarcado realiza um conjunto de operações predefinidas, baseado em requisitos específicos. Uma vez em produção, dificilmente essas operações sofrem alterações. Por isso, é necessário que suas aplicações possuam um alto nível de segurança e confiabilidade. Uma das formas de buscar isso é através da verificação e validação de modelos criados para auxiliar na especificação, análise e projeto dessas aplicações. Nessa área de modelagem, a UML é a linguagem mais utilizada devido ao seu reconhecimento dentro da computação. Apesar da sua grande variedade de diagramas, a UML não possui uma formalização semântica bem definida. Tendo esse problema em vista, muitos pesquisadores propuseram, no decorrer dos anos, maneiras de formalizar semanticamente a UML. Porém, essas tentativas têm foco em subconjuntos da UML e envolvem restrição para o uso prático das mesmas. Visando abordar esse problema, foi proposta a MADES UML, um subconjunto da UML que utiliza lógica temporal para formalizar um alguns diagramas UML). Este projeto de doutorado visa contribuir com a MADES UML, ao definir uma técnica de rastreabilidade que permita apresentar os resultados obtidos pela etapa de verificação formal dentro dos próprios modelos UML. Essa característica não é comum de ser encontrada nos trabalhos que formalizam à UML, sendo que a grande maioria têm foco apenas na transformação do modelo UML para um modelo formal. Será apresentado no seminário o estado atual da técnica de rastreabilidade em desenvolvimento e os próximos passos.

Slides: <aqui>

Seminários do dia 21/05

Palestrante: Lucas Bueno Ruas de Oliveira

Orientadora: Elisa Nakagawa

Título: Towards a Taxonomy of Services for Developing Service-Oriented Robotic Systems

Resumo: Robotic systems have been increasingly adopted in several sectors of the society. To cope with this demand and diversity, researchers have investigated the Service-Oriented Architecture (SOA) to develop such systems. SOA promotes interoperability between software modules and heterogeneous hardware devices, and a better reusability and flexibility for robotic systems. However, due to the lack of a common understanding on how services for robotic systems should be designed, described and also classified, these services are sometimes difficult to be used in other projects, reducing the potential of reuse provided by SOA. The main contribution of this paper is to propose a taxonomy of services for robotic systems that was based on results of a systematic review, reference architectures, and knowledge of specialists. Results have pointed out that our taxonomy is an important element to organize different types of services, what can promote reuse and productivity in the development of robotic systems.

Slides: <aqui>

Palestrante: Rafael Serapilha Durelli

Orientador: Márcio Delamaro

Título: Uma Abordagem de Modernização de Sistemas Legados Guiada por Modelos de Referência

Resumo: Sistemas legados (SL) possuem inúmeras regras de negócio e acomodam conhecimento de anos e são vitais para as organizações, porém, apresentam sérios problemas de manutenção. Uma forma de melhorar a qualidade de um SL é submetê-lo a um processo de modernização, cujo objetivo pode variar desde melhorar sua modularização, modificar sua arquitetura e plataforma, ou até mesmo usar uma combinação dessas técnicas. Em geral atividades de modernização são conduzidas sem uma clara especificação do problema existente e da solução desejada, resultando em falhas em consequência da falta de padronização e de interoperabilidade entre ferramentas. Assim, a OMG (Object Management Group) cunhou o termo Architecture Driven Modernization (ADM), que consiste em um conjunto de metamodelos, que são  padronizações sobre as quais pode-se aplicar refatorações, calcular métricas e recuperar conhecimento de SL. Entre esses metamodelos tem-se o Knowledge Discovery Metamodel (KDM), que tem como objetivo representar artefatos de um SL e definir a interoperabilidade entre diferentes ferramentas de modernização. O objetivo neste projeto é o desenvolvimento de uma abordagem que recomende diversos cenários alternativos  de modernização para um SL. Assim, o engenheiro de software responsável poderá averiguar quais dos cenários é o mais adequado e, após a escolha, o sistema deverá ser modernizado automaticamente. Como contribuições principais,

deverá ser desenvolvido um modelo de referência e um conjunto de refatorações para o KDM. O modelo de referência consiste em uma DSL que seja possível especificar as características esperadas para o sistema após sua modernização, isto é deverá ser possível especificar o sistema alvo. O conjunto de refatorações deverá permitir transformar uma instância do KDM que representa o SL em uma nova instância aderente ao modelo de referência. Deverá ser desenvolvido um apoio automatizado que mostrará quantitativamente a porcentagem de atendimento desses cenários ao modelo de referência. Assim, o engenheiro poderá escolher um dos cenários, e o sistema deverá ser automaticamente gerado.

Slides: <aqui>

Seminários dia 06/05

Boa tarde pessoal!

Agradeço mais uma vez a todos que participaram do seminário no dia 30 de abril. Em especial aos palestrantes Raul e Lilian por terem aceitado o convite e gentimente nós mostrarem um pouco mais sobre as pesquisas que vem desenvolvendo.

Uma foto dos aniversariantes do mês :D





Sobre as apresentações:

Palestrante: Raul Castanhari

Título: Arquitetura de software de um sistema geoespacial orientado a serviços para gestão de inundações.

Resumo: Desastres naturais causam grandes perdas humanas e econômicas, motivando ações de prevenção e reação a esses acidentes. Tais ações devem considerar várias fontes de informação para gerarem bons resultados. Nesse contexto, o objetivo deste trabalho é desenvolver uma arquitetura de software de um sistema geoespacial para integrar e prover informações a autoridades e comunidades a fim de apoiar a tomada de decisões que visam tornar a população resiliente a inundações.

Slides: Aqui

Palestrante:  Lilian Scatalon

Título: Subsídios à Condução de Experimentos no Ensino de Fundamentos de Programação

Resumo: Diversas abordagens, métodos e ferramentas educacionais têm sido propostos para lidar com as limitações e problemas associados ao ensino de fundamentos de programação. Para demonstrar de modo adequado a efetividade de tais propostas, a condução de estudos experimentais é uma atividade fundamental. Entretanto, os experimentos conduzidos no cenário educacional ainda são realizados de forma ad hoc e sem a utilização adequada de processos e metodologias experimentais bem definidas. Assim, neste seminário é apresentada a proposta do estabelecimento de mecanismos de apoio à experimentação no ensino de fundamentos de programação, tendo como base trabalhos de pesquisa existentes e já consolidados em Engenharia de Software Experimental.

Slides: Aqui

Abraços e até o nosso próximo seminário!

Material do Seminário 02/04/2014

Olá caríssimos,

Agradeço a todos que participaram do seminário no dia 02 de abril, nosso primeiro seminário do semestre de 2014. Em especial aos palestrantes Stevão e André Luiz pela solicitude em apresentar para nós suas pesquisas.

Aluno: Stevão Andrade

Título: Execução paralela de programas como suporte ao teste de mutação

Resumo: O teste de mutação tem apresentado uma alta eficacia em revelar defeitos quando comparado a outros critérios. Entretanto, o seu alto custo de aplicação compromete o seu uso. Neste sentido, soluções que busquem reduzir esse custo necessitam ser investigadas. Contribuindo nesta perspectiva, esse projeto tem como objetivo investigar alternativas para redução do custo do teste de mutação propondo um mecanismo para paralelização do teste de mutação.

Slides da apresentação aqui.

Aluno: André Luiz Oliveira

Título: Automated Safety Analysis of Product-Line Configurations using Model-Based Safety Assessment

Abstract: Safety-critical Software Product Lines (SPL) attempt to maximize the reuse of product line assets (e.g. product components and their associated lifecycle artefacts).  These components can be expensive to generate. In a specific SPL instance, i.e. a specific product within a safety-critical SPL, hazards and their causes can change according to configuration choices. This can alter the requirements placed on individual components. Maximizing the reuse of product-line assets whilst being able to meet the safety requirements of multiple product line instances is therefore a challenge, as is managing the way in which the safety analysis results vary according to predefined product-line architectural constraints. In this paper we propose a Model Based Safety Assessment (MBSA) approach for supporting the auto-generation of safety analysis assets for multiple product configurations. We also describe how this can be used to establish safety requirements for components shared across multiple product-line instances.  

Slides da apresentação aqui.

Obrigada a todos e até o próximo seminário! 

Seminário de apresentação 19/03/2014

Olá a todos.

Nessa semana foi aberta a temporada 2014 do nosso seminário.

Além de promover o seminário, essa primeira edição do ano teve como intuito apresentar o laboratório e as atuais linhas de pesquisas desenvolvidas no grupo. Além disso, foi contada um pouco da história do LabES até a sua formação atual composta por 11 professores doutores, 30 Mestrandos, 44 Doutorandos e 3 Pós-doutorandos.

Aos interessados, nesse <<link>> se encontra o material da apresentação realizada pelo aluno de doutorado Faimison Porto.

Obrigado a todos pela presença.

Material do Seminário do dia 06/11/2013

Olá pessoal,

Novamente gostaria de agradecer a participação de todos em mais um seminário do grupo. Particularmente, aos palestrantes Lívia e Venilton pela disponibilidade a apresentações com conteúdo científico relevante. 

Aos interessados, seguem os materiais das palestras: <<Venilton>> e <<Lívia>>.

O próximo seminário ocorrerá no dia 27/11 e será coordenado pelo Carlos com a participação do Nemésio e do Pedro.

Obrigada a todos e até o próximo seminário!

Chamada para seminários do LabES - dia 06/11/2013

Olá Pessoal,

Seguem as informações do próximo seminário do LabES.

Data: 06/11/2013
Local: Sala 4-005 no ICMC/USP
Horário: 17hs

Seminário 01:
Nome: Lívia Castro Degrossi

Título: An approach for retrieving information from different sources with an application to disaster management
Resumo: Currently, among all extreme events, floods can cause more damage and deaths than any other type of event. Constant monitoring of floods requires real time information. For this, it's necessary a variety of sensors types to monitor environmental variables. In particular, volunteer information offers a great opportunity for obtaining information about environmental variables, since citizens can act as "sensors". However, those information are dispersed in different data sources that are unrelated with each other, difficulting the access to them. Therefore, this research aims to develop a service-oriented framework to retrieve information from different sources, in particular volunteer information, and store them in a single one. Moreover, this framework is based on Sensor Observation Service (SOS) to make observations available. 

Seminário 02:
Nome: Venilton Falvo Júnior
Título: Study and Establishment of a Software Product Line for Mobile Learning Applications
Resumo: Nowadays the popularity of mobile devices in the society has motivated the development of mobile learning (m-learning) applications. In spite of the benefits and facilities with regard to teaching and training, the existing learning applications still have to address issues and challenges related to the development, reuse and architectural standardization. On the other hand, the concept of Software Product Lines (SPL) focuses on software reuse and has been successfully applied for specific domains. In this context, this research shows M-SPLearning, i.e., a SPL particularly defined to the m-learning applications domain. The main goal is to promote the overall quality, effective reuse and standardization during the development and maintenance of these applications. M-SPLearning is being developed through a proactive systematic process, which includes: domain analysis, validation of domain analysis, architecture definition and components design. The main contribution of this work relies on providing guidance for the development and maintenance of mobile learning applications. Actually, the establishment of M-SPLearning intends to provide benefits with regard to the overall quality, domain comprehension, and reduction of the time spent in the development/maintenance of m-learning applications.

Contamos com a presença de todos!

Abraços,

Sofia.

Material do Seminário 23/10

Olá pessoal,

Gostaria de agradecer novamente a participação de todos em mais um seminário do grupo. Em particular, aos palestrantes (Faimison e Thiago) pela disponibilidade e apresentações com conteúdo científico relevante.

Aos interessados, seguem as apresentações: << Faimison >> e << Thiago >>.

O próximo seminário ocorrerá no dia 06/11 e será coordenado pela Sofia com participação do Nemésio e de um outro voluntário que se manifestar.

Obrigada a todos e até o próximo seminário.

Chamada para seminários do LabES - dia 23/10/2013

Olá Pessoal,

Seguem as informações do próximo seminário do LabES.

Data: 23/10/2013
Local: Sala 4-001 no ICMC/USP
Horário: 17h

Seminário 01:
Nome: Faimison Porto
Título: Generation of checking sequences using identification sets.
Resumo: Finite state machine-based testing aims at generating checking sequences that guarantee the conformance between the implementation and the specification of a system. For that purpose, several methods have been proposed to generate checking sequences which ensure full coverage of possible faults in the implementation. Many existing methods are based on a special sequence, called distinguishing sequence, which does not exist for every minimal machine. Some methods are based on characterization sets since they exist for every machine. However, these methods generate checking sequences exponentially long. In this paper, we propose a method to generate checking sequences using identification sets. These sets exist for every minimal FSM and also lead to shorter checking sequences. We conducted an experimental study to compare the proposed method with the existing methods. The results show that on average our method generates checking sequences 31,7% to 99,9% shorter than the ones produced by existing methods.

Seminário 02:
Nome: Thiago Gottardi
Título: Model-Based Reuse for Crosscutting Frameworks: Assessing Reuse and Maintenance Effort
Resumo: New possibilities emerged after the advent of aspect-oriented programming and many frameworks were designed taking into account the new abstractions. Among these reuse techniques, Crosscutting Frameworks (CF) are aspect-oriented frameworks developed to encapsulate a single crosscutting concerns. However, the proposed CFs employ white-box  strategies in their reuse process, what requires a substantial technical skills during the process, such as knowing the programming language, architectural details and internal nomenclature. To overcome this issue, we have proposed a model-driven approach to accelerate the reuse while hiding these complexities. Experiments were conducted to evaluate the approach. The results show an improvement of 97% in the productivity, however little difference was perceived concerning the effort for maintaining applications.

Contamos com a presença de todos!

Abrs,
Alinne

Material do seminário dia 09/10/2013

Olá pessoal,

Novamente gostaria de agradecer a participação de todos pela participação em mais um seminário do grupo. Em particular, aos palestrantes (Aline e Carlos) pelas apresentações de alta qualidade e conteúdo científico relevante.

Aos interessados, seguem os materiais das palestras:<< Alinne >> e << Carlos >>.

O próximo seminário está agendado para o dia 23/10 sendo coordenado pela Alinne com participação do Faimison e de um outro voluntário que se manifestar até lá.


Obrigada a todos e até o próximo seminário.

Chamada para seminários do LabES - dia 09/10/2013

Olá pessoal,

Seguem as informações sobre os próximos seminários do LabES:

Data: 09/10/2013 (quarta-feira)
Local: Sala 3-010 no ICMC/USP
Horário: 17h

Seminário 1:
Nome completo: Francisco Carlos Monteiro Souza
Título da apresentação: Geração de Dados de Teste para Teste de Mutação utilizando Técnicas de Busca e Meta-heurísticas
Resumo: O objetivo dessa proposta é contribuir para a automatização da geração de dados de teste e a identificação de mutantes equivalentes para o teste de mutação por meio do uso de técnicas de busca e meta-heurísticas fundamentadas nos conceitos de teste de software baseado em busca.


Seminário 2:
Nome: Alinne Cristinne Corrêa dos Santos
Título: Uma contribuição à definição e à automatização da atividade de teste para sistemas de Realidade Virtual
Resumo: Apesar da pesquisa na área de teste ser diversificada em várias linhas, ainda existem lacunas, principalmente relacionadas a problemas específicos de alguns domínios de aplicação como, por exemplo, ambientes de Realidade Virtual (RV). Nesse contexto, foi identificada a necessidade em definir e automatizar critérios de teste  para auxiliar o desenvolvedor na criação ou na avaliação de conjuntos de dados de teste no escopo de sistemas de RV.


Contamos com a presença de todos!

Abraços,
Maria Adelina

Material do seminário dia 25/09

Pessoal,
Tudo certo?

Novamente, gostaria de agradecer a participação e ajuda de todos pela realização de mais um seminário do LabES. Em particular, aos palestrantes (Bruno e Sofia) pelas apresentações de alta qualidade com conteúdo enriquecedor.

Aos interessados, seguem os materiais das palestras: <<Bruno>> e <<Sofia>>.

O próximo seminário está agendado para o dia 09/10 sendo coordenado pela Maria com participação da Alinne e Carlos.

Obrigado a todos e até o proximo seminário.

Chamada para Seminário - dia 25/09

Seguem as informações das palestras confirmadas para a próxima semana, dia 25/09:

Nome: Sofia Larissa da Costa
Título: Geração de casos de teste para Sistemas de Transição com Entrada e Saída: um mapeamento sistemático
Resumo: O Teste Baseado em Modelos (TBM) envolve a geração automatizada de casos de teste a partir de modelos produzidos durante o ciclo de desenvolvimento do software. A comunidade de teste tem investigado métodos para geração de casos de teste a partir de Sistemas de Transição com Entrada e Saída (do inglês, Input/Output Transition Systems, IOTSs), por serem modelos mais genéricos que Máquinas de Estado Finito (MEFs). Este trabalho descreve a condução de um mapeamento sistemático com o objetivo de identificar os métodos de geração de casos de testes para IOTSs. Observou-se que os métodos existentes para IOTSs não oferecem apoio à mesma altura da teoria existente para a geração a partir de MEFs.

Nome: Bruno Henrique Oliveira
Título: Agile Quality Survey
Resumo: Despite the importance of the agile methods and the acknowledgement that they do contribute to the software quality and client satisfaction, little is known about what factors, habits or tools usage have high impact on the product quality. In this work we report the results of a survey on agile practices focused on quality assurance and test activities. It was identified the most often used practices and the perception of teams about product quality and costumer relationship. The results shows that quality assurance tecniques/activities are part of the agile culture and the agile developers know the importance of test activities.

Contamos com a presença de todos!

Material do seminário dia 11/09

Olá pessoal!

Mais uma vez o seminário decorreu com sucesso, gerando boas discussões tanto na apresentação do Flávio quanto na apresentação da Maria.

Para quem se interessar, seguem os links das apresentações: <<Flávio>> e <<Maria>>.

Ficou definido que o Flávio será o chair do próximo seminário e a Maria a chair do seminário seguinte. Quem estiver interessado em apresentar, entre em contato com eles!

Enquanto isso, participe da nossa <<enquete>> para decidir como será a estrutura dos próximos seminários. Uma apresentação por semana? Ou duas apresentações a cada quinze dias?
Responda até segunda-feira (dia 16/09) às 18:00. Na terça, divulgaremos o resultado.

Agradecemos aos palestrantes e a presença de todos! Abaixo, algumas fotos :)

Resultado da enquete

Na sua opinião, o estudo conduzido pelo Draylson se adequa melhor em qual categoria?

Revisão Sistemática	1	11%
Mapeamento Sistemático	8	89%

Justifique sua resposta:

Visão geral da área; não tem objetivo de comparação. A questão de pesquisa é ampla e não houve comparação. Os dados foram mapeados em tabelas. Apesar da profundidade na análise dos resultados, onde mesclou um pouco de análises indicadas para uma revisão sistemática. Para mim, você deu apenas uma visão da área e, por isso, se enquadra em um mapeamento sistemático. Volto acreditar, que mapeamento e revisão são apenas termos para endeusar uma revisão. No fundo, estamos todos estamos fazendo um revisão sistemática. Acho que é um mapeamento sistemático aprofundado, pois utilizou conceitos de revisão e mapeamento.

 

Opinião da Kátia:

Na minha opinião o estudo apresentado é um mapeamento por várias razões: (1) o estudo identifica ferramentas de avaliação que estão disponíveis (ampla revisão) e as características dessas ferramentas; (2 ) as questões de pesquisa são amplas e consideram apenas população, intervenção e resultados. Além disso, as questões são iniciadas pelo termo "Quais ....", o que caracteriza amplitude. A string de busca também é aberta, formada por termos genéricos da área, sem mencionar por exemplo, nome de ferramentas ou uma característica em particular que será foco da análise; (3) um grande número de estudos foram retornados e os mesmos não foram avaliados em detalhes (apesar da aplicação da qualidade dos estudos, que é opicional). Os estudos primários foram tabulados em categorias específicas (classificação e categorização por tipo de arquitetura, linguagem de programação, tipo de interface ... ), (4) o mapeamento não inclui uma análise aprofundada das ferramentas (por exemplo, qual é a melhor ferramenta para ser usada em cursos de especialização, em cursos presenciais, à distância, por idosos ... Quais foram as lições aprendidadas, indicações para desenvolvedores/indústria? Comparativo entre as características identificadas, por exemplo, enviar trabalhos por email ou fazer upload, qual é a melhor opção consirando o contexto de ensino à distância?).