Automatização de testes funcionais utilizando a ferramenta Sikuli

This work seeks to demonstrate the advantages in functional software test automation using Sikuli tool, which uses image recognition to find the graphical elements of a system, in addition to using a custom library with methods made to automate the summarization of obtained results through the tests and their evidence

Proposta de arquitetura e protocolo para a geração automática de assinaturas de malwares

Given the exponential growth in the spread of the virus world wide web (Internet) and its increasing complexity, it is necessary to adopt more complex systems for the extraction of malware finger-prints (malware fingerprints - malicious software; is the name given to extracting unique information leading to identification of the virus, equivalent to humans, the fingerprint). The architecture and protocol proposed here aim to achieve more efficient fingerprints, using techniques that make a single fingerprint enough to compromise an entire group of viruses. This efficiency is given by the use of a hybrid approach of extracting fingerprints, taking into account the analysis of the code and the behavior of the sample, so called viruses. The main targets of this proposed system are Polymorphics and Metamorphics Malwares, given the difficulty in creating fingerprints that identify an entire family from these viruses. This difficulty is created by the use of techniques that have as their main objective compromise analysis by experts. The parameters chosen for the behavioral analysis are: File System; Records Windows; RAM Dump and API calls. As for the analysis of the code, the objective is to create, in binary virus, divisions in blocks, where it is possible to extract hashes. This technique considers the instruction there and its neighborhood, characterized as being accurate. In short, with this information is intended to predict and draw a profile of action of the virus and then create a fingerprint based on the degree of kinship between them (threshold), whose goal is to increase the ability to detect viruses that do not make part of the same family

Gerenciamento de transação e mecanismo de serialização baseado em Snapshot

Pós-graduação em Ciência da Computação - IBILCE

Apoio à execução de experimentos controlados usando uma ontologia para empacotamento: a ferramenta OntoExpTool

Pós-graduação em Ciência da Computação - IBILCE

Introdução a ontologias e suas aplicações

Different vocabularies and contexts are barriers to the communication between people or software systems. It is necessary a common understanding in the domain that is talked about, so it can be obtained a correct interpretation of the information. An ontology formally models the structure of a domain and turn explicit the shared understanding in the form of concepts and relations that emerge from its observation. Constitutes a sort of framework used in the mapping to the meaning of the information that is talked about. The formal accuracy in which they are defined, by means of axioms, allow machine processing, implicating in systems interoperability. Structured this way, the knowledge is easily transferred between people or systems from different contexts. Ontologies present several applications nowadays. They are considered the infra-structure to the Semantic Web, which is composed by Web resources with embedded meaning. Thereby, the automatic execution of complex tasks is allowed, with the benefit from the effective communication between Web software agents. Among other applications, they also have been used to structure the knowledge generated from several areas, like Biology and Software Engineering.

Uma ferramenta para mineração de aspectos

A Mineração de Aspectos visa a identificar potenciais interesses transversais em código fonte de programa e a Refatoração para Aspectos visa a encapsulá-los em aspectos. A Mineração de Aspectos é um processo não-automático, pois o usuário precisa analisar e compreender os resultados gerados por técnicas/ferramentas e confirmar interesses transversais para refatorá-los em aspectos. Neste trabalho é proposta uma abordagem visual que lida com resultados gerados por duas técnicas de mineração de aspectos propostas na literatura. Por meio de múltiplas visões coordenadas, diferentes níveis de detalhe para explorar sistemas de software apóiam a análise e a compreensão de tais resultados para futura refatoração. O modelo de coordenação, implementado na ferramenta SoftVis4CA, é apresentado neste trabalho, juntamente com as visualizações e com os resultados preliminares obtidos.

Empacotamento de experimentos controlados com abordagem evolutiva baseada em ontologia

Um corpo de conhecimento em Engenharia de Software requer a replicação de experimentos controlados. O conhecimento gerado por um experimento é registrado no chamado pacote de laboratório, o qual deve ser revisado por um eventual grupo de pesquisa com a intenção de replicá-lo. Entretanto, pesquisadores enfrentam dificuldades ao revisar pacotes de laboratório, o que leva a problemas de compartilhamento de conhecimento entre grupos de pesquisa. Além disso, a falta de padronização é um obstáculo à integração de um estudo isolado em um corpo de conhecimento comum. Nesse contexto, é proposto um workflow para gerar pacotes de laboratório baseados na ExperOntology, uma ontologia do domínio de experimentos controlados, visando a contribuir na revisão e no entendimento de pacotes de laboratório.

On reducing test length for FSMs with extra states

A long-standing problem when testing from a deterministic finite state machine is to guarantee full fault coverage even if the faults introduce extra states in the implementations. It is well known that such tests should include the sequences in a traversal set which contains all input sequences of length defined by the number of extra states. This paper suggests the SPY method, which helps reduce the length of tests by distributing sequences of the traversal set and reducing test branching. It is also demonstrated that an additional assumption about the implementation under test relaxes the requirement of the complete traversal set. The results of the experimental comparison of the proposed method with an existing method indicate that the resulting reduction can reach 40%. Experimental results suggest that the additional assumption about the implementation can help in further reducing the test suite length. Copyright (C) 2011 John Wiley & Sons, Ltd.

MODEL PARTITIONS AND COMPACT TEST CASE SUITES

We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.

A holistic approach to model-based testing of Web service compositions

The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.

Desenvolvimento de sistema automatizado de monitoramento de ambientes de produção animal, utilizando uma rede de sensores sem fio

As redes de sensores sem fio, aplicadas à automação do controle de ambientes representam um paradigma emergente da computação, onde múltiplos nós providos de sensores, sistemas computacionais autônomos e capacidade de comunicação sem fio, conformam uma rede cuja topologia altamente dinâmica permite adquirir informações sobre sistemas complexos sendo monitorados. Um dos fatores essenciais para obter um ganho na produtividade avícola é o controle da ambiência animal. Atualmente os métodos utilizados para o monitoramento e controle ambiental não podem considerar a grande quantidade de microambientes internos nos ambientes de produção animal e também requerem infraestruturas cabeadas complexas. Dentro desse contexto o objetivo deste trabalho foi desenvolver e testar um sistema automatizado de controle ambiental, através da utilização de sensores sem fio, que auxilie e proporcione maior segurança no controle de ambientes automatizados. O sistema monitora variáveis que influenciam na produtividade de aves, tais como temperatura e umidade e outras variáveis físico-químicas do aviário. A infraestrutura desenvolvida foi testada em um aviário experimental e resultou em um sistema seguro e com grande escalabilidade, que é capaz de controlar e monitorar o ambiente e ainda coletar e gravar dados. Foi utilizado o protocolo ZigBee® para gerenciar o fluxo de dados do sistema. Foram feitas análises da eficiência de comunicação do sistema no aviário, monitorando os pacotes de dados perdidos. Os testes demonstraram uma perda de dados de aproximadamente 2% dos pacotes enviados, demonstrando a eficiência das redes ZigBee® para gerenciar o fluxo de dados no interior do aviário. Desta forma, pode-se concluir que é possível e viável a implantação de uma rede ZigBee®, para automatizar ambientes de produção animal com coleta de dados em tempo real, utilizando um sistema integrado via internet, que compreende: instrumentação eletrônica, comunicação sem fio e engenharia de software\".

COMUNICAÇÃO E USABILIDADE: ESTUDOS SOBRE AS INTERFACES COMPUTACIONAIS

A pesquisa busca identificar as questões relacionadas aos estudos de Comunicação na Usabilidade de interfaces. O estudo é desenvolvido com revisão bibliográfica da Interação Humano-Computador e da Usabilidade. As revisões da interação humano-computador se dá considerando três principais eixos: Engenharia de software, Engenharia de Fatores Humanos e Design gráfico. Neste sentido, faz-se um recorte na importância das investigações e das propriedades comunicacionais que viriam a surgir nas relações suportadas pela interface de sistemas e das qualidades e características que determinam a usabilidade de interfaces. Observa-se que, apesar das características e propriedades comunicacionais serem intrínsecas as tecnologias digitais da informação, o envolvimento da Comunicação nestes processos de investigação ou construção de tecnologias interativas são superficiais e oferecem certo distanciamento dos aspectos tecnológicos. Denota-se, portanto, que as contribuições sobre aspectos da interação entre homem e máquina suportadas por interfaces comunicacionais são estritamente técnicas e oriundas de outros campos do conhecimento, apesar da existência da Teoria Mátemática da Comunicação e da sua origem em meios técnicos de comunicação como o telégráfo. Verifica-se assim a possibilidade de um maior envolvimento da Comunicação não apenas nas investigações relacionadas à usabilidade de sistemas interativos, como também na contribuição dos seus processos de desenvolvimento de sistemas baseados em diálogos.

CultuRAM: agenda cultural da Região Autónoma da Madeira

A Região Autónoma da Madeira é uma região turística com uma oferta cultural intensa e diversificada, que é dinamizada por um considerável número de entidades. A necessidade de gerir toda essa oferta torna-se cada vez mais premente. Com esta necessidade surge o conceito de agenda cultural única, um mecanismo que congregue toda a atividade cultural desenvolvida na região. O projeto Agenda Cultural da Região Autónoma da Madeira, designado por CultuRAM, consiste numa aplicação web direcionada às entidades regionais que desenvolvam atividades no domínio da cultura. Essas entidades podem ser públicas ou privadas que estejam ligadas à promoção e divulgação de eventos culturais. Esta plataforma de gestão e divulgação de conteúdos tem por principal objetivo a centralização da gestão e divulgação da atividade cultural desenvolvida na região, posicionando-se como uma agenda cultural única. Com esta ferramenta pretende-se criar as condições necessárias aos diversos intervenientes, de modo a assegurar uma melhor oferta cultural, tanto aos residentes, como aos turistas que nos visitam. Este relatório descreve e documenta os métodos de investigação e fases de desenvolvimento do projeto, com enfase na referência e fundamentação dos modelos e tecnologias utilizadas.

Relatório de Projeto de Licanciatura

Aplicação Web pode-se dizer que é uma aplicação que responde a pedidos do utilizador através de um Browser. As aplicações web orientados a objetos hoje em dia têm cada vez mais espaços nas empresas. A redução dos custos de operacionalidade e a gestão das informações, depende da visão e missão das empresas n desenvolvimento das aplicações web, enquanto uma aplicação desktop precisaria de outros meios para a sua manutenção e com maiores custos. A facilidade do acesso principalmente na ASA em que os nossos servidores estão espalhados pelos aeroportos internacionais em Cabo Verde, sem a necessidade de ser instalada num computador sendo o acesso feito apenas através do Browser. Há uma grande vantagem na atualização que só deve ser feita no servidor em vez de máquina a maquina, também como a sua escalabilidade. A aplicação escolhida para desenvolvimento vai ajudar na gestão da frota das viaturas do corpo de Bombeiros do Aeroporto Internacional Cesária Évora, designada de GestFrota, com programação em PHP, HTML, CSS, JQuery e SQL. O trabalho permite o preenchimento diário de check-list dos equipamentos, o registo das viaturas e a gestão de extintores entre outros.

Comunicação e dinâmicas de trabalho em equipa no desenvolvimento de projetos multimédia: estudo realizado no contexto de desenvolvimento de uma aplicação digital móvel interativa

Os projetos multimédia são uma forma única de desenvolver produtos e serviços inovadores, com recurso a um conjunto distintivo de membros de equipa, conhecimentos e metodologias. Grande parte dos estudos desenvolvidos em torno do conceito de desenvolvimento ágil são orientados para a área da engenharia de software, não sendo, muitas vezes, ajustados às particularidades dos projetos multimédia. Ainda que seja possível desenvolver e gerir projetos multimédia com recurso a métodos ágeis, é fundamental aprofundar o conhecimento nesta área apresentando estudos que comprovem a efetiva adequação das metodologias ágeis a esta tipologia projetual. O trabalho desenvolvido nesta dissertação pretendeu, não só analisar e compreender as metodologias, instrumentos e ferramentas de desenvolvimento ágil, considerando as particularidades da área da multimédia, como também analisar dados recolhidos num contexto real de desenvolvimento, observando práticas e eventos de um projeto específico; tais dados foram confrontados com metodologias existentes, de modo a permitir o desenho e a proposta de uma metodologia de suporte ao desenvolvimento ágil de um projeto multimédia. Os dados foram recolhidos em quatro fases e com objetivos distintos: conhecer o projeto e os elementos envolvidos; observar dinâmicas de trabalho em equipa; recolher informações sobre eventos de interação e partilha, organização hierárquica, controlo e monitorização e tomada de decisão e, por fim, recolher a opinião dos envolvidos sobre a proposta da metodologia de suporte. Esta proposta de metodologia constituiu, portanto, o principal resultado do estudo, apontando para a necessidade de (i) recorrer a uma ferramenta online de suporte à gestão de tempo e tarefas, (ii) utilizar uma ferramenta de partilha que permita um acesso constante por todos os elementos da equipa e (iii) promover reuniões periódicas, com ordem de trabalho definida.