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.

O Balanced Scorecard como Instrumento de Medida de Desempenho das Forças Policiais – Estudo de Casos

O objectivo central deste artigo consiste em analisar o papel de um sistema de medida de desempenho que tem sido referido na literatura em Contabilidade e Gestão Pública como tendo um elevado potencial na melhoria do desempenho organizacional, especialmente após as iniciativas da New Public Management (NPM) desde as décadas de 1980 e 1990: o Balanced Scorecard (BSC). O estudo foca, particularmente, uma das mais recentes áreas da sua aplicação: a polícia. O BSC tem-se revelado um desafio nesta área tão controversa do sector público, quer devido à ambiguidade dos objectivos, quer pela diversidade de interesses entre os vários stakeholders. Por outro lado, há um conjunto de factores exógenos, económicos e não financeiros, que determinam o desempenho da polícia, bem como a implementação deste instrumento. Os casos de aplicação do BSC às forças policiais são analisados e discutidos quer em países líderes na introdução das reformas da NPM, como o Reino Unido e o Canadá, quer em países menos avançados neste processo de reforma como Portugal, onde a medida de desempenho da actividade policial é uma questão em expansão no âmbito da agenda política.

Sistema de Apoio à Geração e Automatização de Tarefas

As tecnologias para automatização de tarefas são ferramentas valiosas para garantir a correta execução de processos bem como a obtenção dos resultados esperados. Este projeto visa desenvolver uma solução para a automatização de tarefas recorrendo à captura de imagens do ecrã, à elaboração de uma sequência de ações/tarefas definidas pelo utilizador de modo a detetar falhas e garantir a obtenção dos resultados esperados no fim da execução da tarefa. Este projeto pretende apoiar a realização de testes de software, servindo de apoio à análise do nível de qualidade e fiabilidade de software, permitindo a redução do tempo despendido por parte dos utilizadores/programadores na realização dos testes ou mesmo em tarefas que se pretendam fazer.