Using aspects for testing of embedded software: experiences from two industrial case studies

Aspect-oriented software testing is emerging as an important alternative to conventional procedural and object-oriented testing techniques. This paper reports experiences from two case studies where aspects were used for the testing of embedded software in the context of an industrial application. In the first study, we used code-level aspects for testing non-functional properties. The methodology we used for deriving test aspect code was based on translating high-level requirements into test objectives, which were then implemented using test aspects in AspectC++. In the second study, we used high-level visual scenario-based models for the test specification, test generation, and aspect-based test execution. To specify scenario-based tests, we used a UML2-compliant variant of live sequence charts. To automatically generate test code from the models, a modified version of the S2A Compiler, outputting AspectC++ code, was used. Finally, to examine the results of the tests, we used the Tracer, a prototype tool for model-based trace visualization and exploration. The results of the two case studies show that aspects offer benefits over conventional techniques in the context of testing embedded software; these benefits are discussed in detail. Finally, towards the end of the paper, we also discuss the lessons learned, including the technological and other barriers to the future successful use of aspects in the testing of embedded software in industry.     

‘Podracing’: experimenting with mobile TV content consumption and delivery methods

Recently, mobile TV has been launched in several countries. While mobile TV integrates television contents into mobile phones, the most personal of communication devices, it becomes interesting to know how this feature will be used throughout the day and in varying contexts of everyday life. This paper presents empirical results on the use of mobile TV with different delivery mechanisms and both quantitative and qualitative results on how end-users prefer to use mobile TV contents in different situations. The data is based on ongoing empirical research in Finland in 2006 and 2007. The mobile TV services under study included both news and entertainment contents, and were tested in 3G, DVB-H and Wi-Fi networks using different delivery paradigms: broadcast, on-demand and download. To explore the use of different delivery methods and content consumption, we have developed a mobile TV service protoype, called Podracing. The analysis shows that users appreciated up-to-date information and information-rich media forms and contents especially for mobile news delivery. There was high demand for only the latest news on mobiles. The real-time property was considered important. Most of the users looked at the headlines or followed the news several times a day – much more often than the traditional TV and news prime times would allow.     

Multi-objective Swarm Intelligence schedulers for online scientific Clouds

Cloud Computing is a promising paradigm for parallel computing. However, as Cloud-based services become more dynamic, resource provisioning in Clouds becomes more challenging. The paradigm, with its promise of virtually infinite resources, seems to suit well in solving resource greedy scientific computing problems. In a Cloud, an appropriate number of Virtual Machines (VM) is created and allocated in physical resources for executing jobs. This work focuses on the Infrastructure as a Service (IaaS) model where custom VMs are launched in appropriate hosts available in a Cloud to execute scientific experiments coming from multiple users. Finding optimal solutions to allocate VMs to physical resources is an NP-complete problem, and therefore many heuristics have been developed. In this work, we describe and evaluate two Cloud schedulers based on Swarm Intelligence (SI) techniques, particularly Ant Colony Optimization (ACO) and Particle Swarm Optimization (PSO). The main performance metrics to study are the number of serviced users by the Cloud and the total number of created VMs in online (non-batch) scheduling scenarios. We also perform a sensitivity analysis by varying the specific-parameter values of each algorithm to evaluate the impact on the performance of the two objective metrics. The intra-Cloud network traffic is also measured. Simulated experiments performed using CloudSim and job data from real scientific problems show that the use of SI-based techniques succeeds in balancing the studied metrics compared to Genetic Algorithms.     

Numerical optimization of conduction cooled current leads for low current applications

The basic design principles of current leads for superconducting magnets are well established but HTS materials and conduction cooled systems call for new numerical methods. In this paper the design of current leads was formulated as an optimization problem. Both time integration and finite differencing were examined as possible ways to compute the temperature distribution inside the leads. Three examples about optimization of conduction cooled as well as gas cooled systems are presented. First, the design of tubular normal conducting gas cooled current leads was studied. Second, normal conducting leads cooled with a two-stage cryocooler were examined. Third, the optimization was applied to current leads consisting of HTS tapes at the low temperature end of a normal conducting bar. The study took into account the magnetic field and temperature dependent voltage-current characteristics of the anisotropic Bi-2223 material. The results are compared with traditional analytical ones and the numerical optimization is shown to be an efficient design tool for both normal conducting and HTS current leads.     

A comparative organic geochemical study of oils seeps in Western Greece

Samples from three oil shows in Western Greece were studied following a suite of analytical geochemical procedures, aiming to reveal the origin of the organic matter and characterize its depositional environment. The authors’ findings were compared, and confirmed to a great extent, to geochemical results from previously published studies. Certain compositional differences exist between the three oil shows, reflecting different source rock and/or different facies. The influence of different analytical methodologies commonly used to separate compound groups (saturates, aromatics, resins, asphaltenes) on the obtained geochemical indices was also examined. The results demonstrate that bulk composition of maltenes, as well as most biomarker indices, are not affected significantly by the employed group-type separation procedures.     

The vicious cycle of vitamin a deficiency: A review

Vitamin A deficiency (VAD) is a serious and widespread public health problem and the leading cause of preventable blindness in young children. It is also associated with increased rates of death from severe infections, especially in developing countries. Over the past 35 years, researchers have examined the numerous activities of vitamin A in different tissues of the human body. VAD can lead to a series of ocular symptoms, anemia, and weak resistance to infection, which can increase the severity of infectious diseases and the risk of death. Cell development, vision, growth, and normal metabolism are among the vital processes that are insufficiently supported in the presence of VAD. VAD leads to impaired tissue function especially during the developmental periods of infancy, childhood, pregnancy, and lactation. We describe a multidirectional model of VAD that demonstrates how VAD can have progressive, negative effects on vital processes of the human body throughout the life cycle. This model starts with impaired intake and its link to decreased absorption and digestion and includes outcomes such as malnutrition, inflammation, and improper growth processes, including possible mechanisms. Together, these clinical and biochemical manifestations contribute to the vicious cycle of VAD.     

Mannans as stabilizers of oil-in-water beverage emulsions

The stabilizing effect of spruce galactoglucomannan (GGM) on a model beverage emulsion system was studied and compared to that of guar gum and locust bean gum galactomannans, konjac glucomannan, and corn arabinoxylan. In addition, guar gum was enzymatically modified in order to examine the effect of the degree of polymerization and the degree of substitution of galactomannans on emulsion stability. Use of GGM increased the turbidity of emulsions both immediately after preparation and after storage of up to 14 days at room temperature. GGM emulsions had higher turbidity than the emulsions containing other mannans. The initial turbidity increased with increasing GGM content, but after 14 days storage at room temperature, the turbidity was the highest for GGM/oil ratio of 0.10:1 when ethanol-precipitated GGM was used. Increasing the storage temperature to +45 °C led to rapid emulsion breakdown, but a decrease in storage temperature increased emulsion stability after 14 days. Confocal microscopy showed that the average particle size in the bottom part of GGM emulsions stored for 14 days was smaller than 1 μm. A low degree of polymerization and a high degree of substitution of the modified galactomannans were associated with a decrease in emulsion turbidity.     

Issues related to the computer realization of a multidisciplinary and multiobjective optimization system

Issues and novel ideas to be considered when developing computer realizations of complex multidisciplinary and multiobjective optimization systems are introduced. The aim is to discuss computer realizations that make possible both computationally efficient multidisciplinary analysis and multiobjective optimization of real world problems. We introduce software tools that make typically very time-consuming simulation processes more effective and, thus, enable even interactive multiobjective optimization with a real decision maker. In this paper, we first define a multidisciplinary and multiobjective optimization system and after that present an implementation overview of such problems including basic components participating in the solution process. Furthermore, interfaces and data flows between the components are described. A couple of important features related to the implementation are discussed in detail, for example, the usage of automatic differentiation. Finally, the ideas presented are illustrated with an industrial multiobjective optimization problem, when we describe numerical experiments related to quality properties in paper making.     

Flexibility as a design driver [systems analysis]

Ambiguous requirements and those that emerge late in the design cycle often complicate development and throw off established schedules. The authors describe how reformulating information missing at the design stage into a flexibility requirement can turn the absent data into a design driver. Designers constantly run into issues that have yet to be understood through specification, system design, or standardization. Changes in evolving technologies and businesses often result in unstable system requirements. Reliable hardware or mechanical details might not be available until very late in the development process. Yet engineers must initiate software development even though some subsystem details have not yet been completely defined. Missing information and related flexibility requirements can lead to a design plagued by many well-known problems that affect performance, modularity, scalability, and clear separation of concerns. In some cases, developers must sacrifice rules of thumb to maintain planned development schedules. Providing flexibility for everything in the system isn't possible, so developers will always need to determine the static requirements and explicitly state where continued development and rapid modification require flexibility