The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineering abstract GUI models directly from the Java/Swing code.

Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs

Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs

Applications of artificial intelligence to condition-based maintenance

In this paper we discuss interesting developments of expert systems for machine diagnosis and condition-based maintenance. We review some elements of condition-based maintenance and its applications, expert systems for machine diagnosis, and an example of machine diagnosis. In the last section we note some problems to be resolved so that expert systems for machine diagnosis may gain wider acceptance in the future.

Desenvolvimento, testes e qualidade de software

RESUMO: Hoje em dia o software tornou-se num elemento útil na vida das pessoas e das empresas. Existe cada vez mais a necessidade de utilização de aplicações de qualidade, com o objectivo das empresas se diferenciarem no mercado. As empresas produtoras de software procuram aumentar a qualidade nos seus processos de desenvolvimento, com o objectivo de garantir a qualidade do produto final. A dimensão e complexidade do software aumentam a probabilidade do aparecimento de não-conformidades nestes produtos, resultando daí o interesse pela actividade de testes de software ao longo de todo o seu processo de concepção, desenvolvimento e manutenção. Muitos projectos de desenvolvimento de software são entregues com atraso por se verificar que na data prevista para a sua conclusão não têm um desempenho satisfatório ou por não serem confiáveis, ou ainda por serem difíceis de manter. Um bom planeamento das actividades de produção de software significa usualmente um aumento da eficiência de todo o processo produtivo, pois poderá diminuir a quantidade de defeitos e os custos que decorrem da sua correcção, aumentando a confiança na utilização do software e a facilidade da sua operação e manutenção. Assim se reconhece a importância da adopção de boas práticas no desenvolvimento do software. Para isso deve-se utilizar uma abordagem sistemática e organizada com o intuito de produzir software de qualidade. Esta tese descreve os principais modelos de desenvolvimento de software, a importância da engenharia dos requisitos, os processos de testes e principais validações da qualidade de software e como algumas empresas utilizam estes princípios no seu dia-a-dia, com o intuito de produzir um produto final mais fiável. Descreve ainda alguns exemplos como complemento ao contexto da tese. ABSTRACT: Nowadays the software has become a useful element in people's lives and it is increasingly a need for the use of quality applications from companies in order to differentiate in the market. The producers of software increase quality in their development processes, in order to ensuring final product quality. The complexity and size of software, increases the probability of the emergence of non-conformities in these products, this reason increases of interest in the business of testing software throughout the process design, development and maintenance. Many software development projects are postpone because in the date for delivered it’s has not performed satisfactorily, not to be trusted, or because it’s harder to maintain. A good planning of software production activities, usually means an increase in the efficiency of all production process, because it can decrease the number of defects and the costs of it’s correction, increasing the reliability of software in use, and make it easy to operate and maintenance. In this manner, it’s recognized the importance of adopting best practices in software development. To produce quality software, a systematic and organized approach must be used. This thesis describes the main models of software development, the importance of requirements engineering, testing processes and key validation of software quality and how some companies use these principles daily, in order to produce a final product more reliable. It also describes some examples in addition to the context of this thesis.

Implementação da total Productive maintenance (TPM) numa empresa de produção

No âmbito do Ciclo de Estudos conducente ao grau de Mestre em Engenharia Mecânica, Per-fil de Manutenção e Produção, foi desenvolvida esta Dissertação, que consiste no estudo do estado actual de implementação da “Total Productive Maintenance – TPM” na Área de Pren-sas da Volkswagen Autoeuropa, identificando os benefícios colhidos com a referida imple-mentação, e também algumas dificuldades. No final desta Dissertação, são enunciadas as considerações resultantes do presente estudo e são emitidas algumas sugestões, no sentido de que este trabalho se torne uma mais-valia para a Área de Prensas da Volkswagen Autoeuropa, contribuindo positivamente na busca da melhoria contínua, dos zero defeitos e das zero falhas e dos zero desperdícios e, finalmente propor um plano de melhoria, ou seja, uma adaptação do actual modelo funcional face ao modelo teórico.

Análise do line Maintenance Manual numa perspectiva de melhoria contínua do programa de manutenção avião

Este relatório, escrito no âmbito do estágio profissional realizado no departamento de Manutenção e Engenharia da TAP Portugal, com o tema “Análise do Line Maintenance Manual numa perspectiva de melhoria contínua do Programa de Manutenção Avião”, tem como objectivo descrever a análise efectuada e as oportunidades de melhoria identificadas no Line Maintenance Manual, documento que serve de suporte às actividades da Manutenção de Linha. Espera-se que o trabalho realizado traga benefícios para a TAP Manutenção e Engenharia a médio e longo prazo, tais como a agilização das futuras revisões ao referido documento, a redução de recursos envolvidos nas inspecções de trânsito e, quiçá, a correcção de aspectos com implicações directas na operação segura das aeronaves. O trabalho desenvolvido no estágio implicou um estudo aprofundado do processo que resulta no estabelecimento dos programas de manutenção das aeronaves actuais, bem como dos documentos nele envolvidos, pelo que a análise específica do Line Maintenance Manual foi realizada no contexto muito mais abrangente da teoria da Manutenção Aeronáutica.

Modelos de risk based inspection e risk based inspection and maintenance aplicados a sistemas de produção de energias renováveis

A utilização de recursos energéticos renováveis apresenta-se como um caminho vital para a humanidade alcançar um desenvolvimento sustentável. Nesta campanha, a energia eólica surge como um dos principais vectores de orientação tendo evoluído de forma quase exponencial nos últimos anos. No entanto, apesar da sua relativa maturidade, esta tecnologia enfrenta ainda alguns problemas e desafios. Não obstante a experiência empírica da indústria eólica, adquirida nos últimos trinta anos e dos esforços para melhorar a fiabilidade operacional das turbinas, as taxas de falha ainda se apresentam elevadas. Face às correntes práticas de Manutenção das turbinas e parques eólicos e às características de falha, (por vezes catastróficas), existe a necessidade de optimizar as estratégias de manutenção das turbinas eólicas e reduzir os custos durante o ciclo de vida, de modo a maximizar o retorno do investimento. Descreve-se neste trabalho o estado do conhecimento actual face ao objectivo pretendido, a recolha de dados reais da operação e Manutenção, a aplicabilidade dos modelos escolhidos para obtenção da probabilidade de falha, e as consequências e avaliação do risco. Assim, desenvolveu-se uma ferramenta de apoio à decisão, baseada em Modelos de RBI (Risk Based Inspection) e RBIM (Risk Based Inspection and Maintenance) aplicados a turbinas eólicas.

Manutenção de edifícios: manutenção das instalações técnicas de um grande edifício

Este relatório de estágio, que se realizou no Edifício Atrium Saldanha em Lisboa, tem por finalidade demonstrar as aptidões adquiridas no decorrer do Mestrado e que tornaram possíveis a participação num estágio que envolveu várias áreas da Engenharia Mecânica. Nos últimos anos, tem-se assistido a um crescente aumento do consumo e do custo da energia eléctrica. De acordo com análises realizadas pela União Europeia, uma percentagem significativa deste aumento de consumo está relacionado com edifícios e habitações. A manutenção preventiva das instalações técnicas é, entre outros aspectos, uma das ferramentas essenciais na redução desta factura energética. A questão que se coloca relaciona-se com a metodologia a aplicar para esse efeito. De que forma podem ou devem os planos de manutenção ser elaborados, qual a periodicidade das intervenções a considerar de modo a aumentar a eficiência energética dos edifícios, reduzir as emissões de dióxido de carbono e garantir uma maior protecção do utilizador? Numa fase inicial do estágio foi feita uma caracterização geral das principais instalações técnicas do edifício de modo a se analisarem, posteriormente, os procedimentos de manutenção adoptados pelas equipas de manutenção. Foram ainda sugeridas algumas periodicidades para os procedimentos de manutenção já existentes e algumas intervenções que não estavam incluídas no plano de manutenção do edifício e que podem contribuir para aumentar a fiabilidade dos equipamentos e consequentemente a eficiência energética e a qualidade do ar interior dos edifícios.