Abstract
Software testing is a very important activity of the software development process. To expedite the testing process and improve the quality of the tests, models are increasingly used as a basis to derive test cases automatically - a technique known as model-based testing (MBT). Given a system model and a test suite derived automatically from the model or created by other process, the coverage of the model achieved by the test suite is important to assess the quality and completeness of the test suite early in the software development process. This paper presents a novel tool that shows visually the coverage achieved by a test suite on a UML state machine model. The tool receives as input a UML state machine model represented in XMI and a test suite represented in a XML format, and produces a colored UML state machine model that shows the coverage result. Model test coverage is determined by simulating the execution of the test suite over the model. An example is presented in order to show the features of the tool. © 2010 IEEE.

Abstract
In this work it is presented a system to control a self-referencing fiber optic intensity displacement sensor using virtual instrumentation. To ensure higher flexibility and dynamic optimization, the use of an optical fiber delay line or an electrical delay line is avoided by implementing a delay line in the virtual domain, preserving the self-referencing and sensitivity characteristics of the proposed optical intensity sensing structure.

Abstract
A large and growing amount of software systems rely on non-trivial coordination logic for making use of third party services or components. Therefore, it is of outmost importance to understand and capture rigorously this continuously growing layer of coordination as this will make easier not only the verification of such systems with respect to their original specifications, but also maintenance, further development, testing, deployment and integration. This paper introduces a method based on several program analysis techniques (namely, dependence graphs, program slicing, and graph pattern analysis) to extract coordination logic from legacy systems source code. This process is driven by a series of pre-defined coordination patterns and captured by a special purpose graph structure from which coordination specifications can be generated in a number of different formalisms.

Abstract
Devices that offer positioning and route guidance depend on updated digital maps for correct functioning. Updating digital maps is a highly expensive and complex process so it became necessary to develop new ways to detect changes to the road network. Using GPS points gathered by users during their journeys, it is possible to compare the real road network with the digital map. This paper describes a methodology to detect incongruences of different road geometry, alteration of junction position, prohibited manoeuvres and traffic direction as well as a sample of the results obtained. ©2010 IEEE.

Abstract
A digital control system to interrogate optical fiber interferometric sensors is presented. The system was implemented using a DAQ board and LabView Software, it is based on white light interferometry, and can use four different synthetic heterodyne and pseudo-heterodyne signal detection schemes. The system was tested and compared with standard hardware instrumentation using a fiber optic Mach-Zehnder interferometer to readout strain sensitive Fabry-Perot sensors in a differential configuration. It is shown that the virtual instrumentation has a good performance being a viable alternative for use in compact portable sensing systems.

Abstract
CRM systems mark a new paradigm with regard to the customization and qualification of services delivery and to the relationships between local government and citizens. CRM are strategic tools that enable to optimize the relationship between municipalities and residents, as well as the optimization of most organizational processes. Despite the acknowledged importance of such tools, it appears in practice that most Portuguese municipalities has not yet to implemented CRM systems. Trying to identify the main reasons for this fact, the authors undertook a study based on a questionnaire, and the main findings are presented and discussed in this paper.