Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

A Generic Library for GUI Reasoning and Testing

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 presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.

An approach for graphical user interface bad smells detection

In the context of an e ort to develop methodologies to support the evaluation of interactive system, this paper investigates an approach to detect graphical user interface bad smells. Our approach consists in detecting user interface bad smells through model-based reverse engineering from source code. Models are used to de ne which widgets are present in the interface, when can particular graphical user interface (GUI) events occur, under which conditions, which system actions are executed, and which GUI state is generated next.

Implementação do modelo de gestão estratégica baseado no "Balenced Scorecard" numa empresa interbancária de Serviços de Angola

RESUMO: Com a constante evolução das novas tecnologias de informação, as organizações têm necessidade de implementar novas ferramentas de gestão de forma a gerar vantagens competitivas, é neste sentido que esta dissertação visa propor a implementação do Modelo de Gestão estratégica baseado no Balanced Scorecard numa Empresa Interbancária de Serviços, com o objectivo de auxiliar na criação de capacidades competitivas, mediante uma avaliação de desempenho mais precisa e estruturada. Esta ferramenta surgiu como alternativa aos sistemas antigos e tradicionais cujo objectivo consistia no controlo das actividades realizadas pelos funcionários, sendo que esta metodologia veio colocar a estratégia no centro das atenções e não somente o controlo, mas só em 1992 é que ela foi reconhecida como um processo revolucionário que alterava todo o processo de gestão padrão nas empresas. Nesta dissertação ira se abordar alguns conceitos desta metodologia, enfatizando, o Mapa de Estratégia, vantagens pela obtenção desta metodologia; e um estudo prático da aplicação do Modelo de Gestão Estratégica na EMIS. Por fim, é de realçar que a grande importância que as empresas têm vindo a atribuir a esta metodologia e a investir nela, garante a sua relevância como tema de pesquisa num futuro próximo. ABSTRACT: With the constant development of new information technologies, organizations need to implement new management tools in order to generate competitive advantages, in this sense this thesis aims to propose the implementation of the Strategic Management Model based on Balanced Scorecard in a Company Interbank services with the aim of assisting in the creation of competitive capabilities through a performance assessment more precise and structured. This tool has emerged as an alternative to traditional legacy systems and was aimed at controlling the activities performed by employees, the methodology that has put the strategy in the spotlight instead of control, but not until 1992 was it recognized as a revolutionary process that changed the entire standard management process in companies. In this dissertation we discuss concepts of this methodology, emphasizing the strategic map for obtaining advantages from it, and a practical application of Strategic Management Model in EMIS. Finally, it is noteworthy that the great importance that companies have been giving to this methodology and the investment they have been doing on it, guarantees its relevance as a research subject in the near future.

Simulação numérica do comportamento dinâmico de uma laje

Nesta dissertação pretende-se simular o comportamento dinâmico de uma laje de betão armado aplicando o Método de Elementos Finitos através da sua implementação no programa FreeFEM++. Este programa permite-nos a análise do modelo matemático tridimensional da Teoria da Elasticidade Linear, englobando a Equação de Equilíbrio, Equação de Compatibilidade e Relações Constitutivas. Tratando-se de um problema dinâmico é necessário recorrer a métodos numéricos de Integração Directa de modo a obter a resposta em termos de deslocamento ao longo do tempo. Para este trabalho escolhemos o Método de Newmark e o Método de Euler para a discretização temporal, um pela sua popularidade e o outro pela sua simplicidade de implementação. Os resultados obtidos pelo FreeFEM++ são validados através da comparação com resultados adquiridos a partir do SAP2000 e de Soluções Teóricas, quando possível.

Computational evaluation of hydraulic system behaviour with entrapped air under rapid pressurization

The pressurization of hydraulic systems containing entrapped air is considered a critical condition for the infrastructure's security due to transient pressure variations often occurred. The objective of the present study is the computational evaluation of trends observed in variation of maximum surge pressure resulting from rapid pressurizations. The comparison of the results with those obtained in previous studies is also undertaken. A brief state of art in this domain is presented. This research work is applied to an experimental system having entrapped air in the top of a vertical pipe section. The evaluation is developed through the elastic model based on the method of characteristics, considering a moving liquid boundary, with the results being compared with those achieved with the rigid liquid column model.

Computational evaluation of hydraulic system behaviour with entrapped air under rapid pressurization

The pressurization of hydraulic systems containing entrapped air is considered a critical condition for the infrastructure's security due to transient pressure variations often occurred. The objective of the present study is the computational evaluation of trends observed in variation of maximum surge pressure resulting from rapid pressurizations. The comparison of the results with those obtained in previous studies is also undertaken. A brief state of art in this domain is presented. This research work is applied to an experimental system having entrapped air in the top of a vertical pipe section. The evaluation is developed through the elastic model based on the method of characteristics, considering a moving liquid boundary, with the results being compared with those achieved with the rigid liquid column model.

Estudo da qualidade organizacional da unidade de rastreio da retinopatia diabética do Alentejo central: projecto de intervenção comunitária em saúde

Mestrado em Intervenção Sócio-Organizacional na Saúde - Área de especialização: Políticas de Gestão e Administração dos Serviços de Saúde.

Economia social, pilar de um novo modelo de desenvolvimento económico sustentável

Dissertação apresentada ao Instituto Superior de Contabilidade para a obtenção do Grau de Mestre em Auditoria Orientada por Dr.ª Alcina Portugal Dias

Gestão estratégica: balanced scorecard para uma entidade hospitalar

Dissertação para obtenção do Grau de Mestre em Contabilidade e Finanças Orientador: Doutora Cláudia Maria Ferreira Pereira Lopes

An heuristic approach for optimal location of gas supply units in transportation system

The best places to locate the Gas Supply Units (GSUs) on a natural gas systems and their optimal allocation to loads are the key factors to organize an efficient upstream gas infrastructure. The number of GSUs and their optimal location in a gas network is a decision problem that can be formulated as a linear programming problem. Our emphasis is on the formulation and use of a suitable location model, reflecting real-world operations and constraints of a natural gas system. This paper presents a heuristic model, based on lagrangean approach, developed for finding the optimal GSUs location on a natural gas network, minimizing expenses and maximizing throughput and security of supply.The location model is applied to the Iberian high pressure natural gas network, a system modelised with 65 demand nodes. These nodes are linked by physical and virtual pipelines – road trucks with gas in liquefied form. The location model result shows the best places to locate, with the optimal demand allocation and the most economical gas transport mode: by pipeline or by road truck.

Reentrant Phase Diagram of Network Fluids

We introduce a microscopic model for particles with dissimilar patches which displays an unconventional "pinched'' phase diagram, similar to the one predicted by Tlusty and Safran in the context of dipolar fluids [Science 290, 1328 (2000)]. The model-based on two types of patch interactions, which account, respectively, for chaining and branching of the self-assembled networks-is studied both numerically via Monte Carlo simulations and theoretically via first-order perturbation theory. The dense phase is rich in junctions, while the less-dense phase is rich in chain ends. The model provides a reference system for a deep understanding of the competition between condensation and self-assembly into equilibrium-polymer chains.

Relatório de estágio: POC para SNC

Mestrado em Contabilidade

Optimization, high availability and redundancy in information communications and technology using networks and systems virtualization architectures

Mestrado em Engenharia Informática

A sustentabilidade das finanças públicas das regiões autónomas portuguesas

Dissertação de Mestrado em Ciências Económicas e Empresariais