A systematic mapping study of software product lines testing

Context

In software development, Testing is an important mechanism both to identify defects and assure that completed products work as specified. This is a common practice in single-system development, and continues to hold in Software Product Lines (SPL). Even though extensive research has been done in the SPL Testing field, it is necessary to assess the current state of research and practice, in order to provide practitioners with evidence that enable fostering its further development.

Objective

This paper focuses on Testing in SPL and has the following goals: investigate state-of-the-art testing practices, synthesize available evidence, and identify gaps between required techniques and existing approaches, available in the literature.

Method

A systematic mapping study was conducted with a set of nine research questions, in which 120 studies, dated from 1993 to 2009, were evaluated.

Results

Although several aspects regarding testing have been covered by single-system development approaches, many cannot be directly applied in the SPL context due to specific issues. In addition, particular aspects regarding SPL are not covered by the existing SPL approaches, and when the aspects are covered, the literature just gives brief overviews. This scenario indicates that additional investigation, empirical and practical, should be performed.

Conclusion

The results can help to understand the needs in SPL Testing, by identifying points that still require additional investigation, since important aspects regarding particular points of software product lines have not been addressed yet.     

An integration experience of a software architecture and a monitoring infrastructure to deploy applications with non‐functional requirements in computing grids

Resource management is an important aspect to consider regarding applications that might have different non‐functional or operational requirements, when running in distributed and heterogeneous environments. In this context, it is necessary to provide the means to specify the required resource constraints and an infrastructure that can adapt the applications in light of the changes in resource availability. We adopted a contract‐based approach to describe and maintain parallel applications that have non‐functional requirements in a Computing Grid context, called ZeliGrid. To form the supporting infrastructure we have designed a software architecture that integrates some of the Globus services, the LDAP and the NWS monitoring services. Some modules that map the contract approach into software artifacts were also integrated to this architecture. This paper addresses the architecture and integration issues of our approach, as well as how we put the pieces together highlighting deployment and implementation details, which have to consider diverse aspects such as monitoring, security and dynamic reconfiguration. Copyright © 2010 John Wiley & Sons, Ltd.     

A team algorithm for robust stability analysis and control design of uncertain time‐varying linear systems using piecewise quadratic Lyapunov functions

A team algorithm based on piecewise quadratic simultaneous Lyapunov functions for robust stability analysis and control design of uncertain time‐varying linear systems is introduced. The objective is to use robust stability criteria that are less conservative than the usual quadratic stability criterion. The use of piecewise quadratic Lyapunov functions leads to a non‐convex optimization problem, which is decomposed into a convex subproblem in a selected subset of decision variables, and a lower‐dimensional non‐convex subproblem in the remaining decision variables. A team algorithm that combines genetic algorithms (GA) for the non‐convex subproblem and interior‐point methods for the solution of linear matrix inequalities (LMI), which form the convex subproblem, is proposed. Numerical examples are given, showing the advantages of the proposed method. Copyright © 2001 John Wiley & Sons, Ltd.     

A Secure Grid Medical Data Manager Interfaced to the gLite Middleware

The medical community is producing and manipulating a tremendous volume of digital data for which computerized archiving, processing and analysis is needed. Grid infrastructures are promising for dealing with challenges arising in computerized medicine but the manipulation of medical data on such infrastructures faces both the problem of interconnecting medical information systems to Grid middlewares and of preserving patients’ privacy in a wide and distributed multi-user system. These constraints are often limiting the use of Grids for manipulating sensitive medical data. This paper describes our design of a medical data management system taking advantage of the advanced gLite data management services, developed in the context of the EGEE project, to fulfill the stringent needs of the medical community. It ensures medical data protection through strict data access control, anonymization and encryption. The multi-level access control provides the flexibility needed for implementing complex medical use-cases. Data anonymization prevents the exposure of most sensitive data to unauthorized users, and data encryption guarantees data protection even when it is stored at remote sites. Moreover, the developed prototype provides a Grid storage resource manager (SRM) interface to standard medical DICOM servers thereby enabling transparent access to medical data without interfering with medical practice.     

Quasi-elastic light scattering of carnauba wax in the liquid phase: dynamics 2

Quasi-elastic light scattering of carnauba wax in the liquid phase is obtained in a heterodyne setup, and dynamic processes are analyzed through electrophoresis. Nonspherical polar clusters are found, containing a net electrical charge. An applied square-wave electric field induces drift and rotation of these clusters.These effects are dependent on strength and frequency of the applied electric field. At 373 K and in the low frequency limit the local electric field strength is approximately 70 times the strength of the applied one. This enhancement is believed to be caused by collective orientation of the clusters. The electrophoretic mobility is 1.1 X 10(-12) m2/V sec in the high frequency limit and 7.4 X 10(-11) m2/V sec in the low frequency limit. The electric dipole moment is 6.3 X 10(-16) N(-1/2) m(-1/2) where N is the cluster density/cubic meter and the net charge is about one or two elementary charges.     

FISH ASSEMBLAGES IN NON‐REGULATED AND REGULATED RIVERS FROM PERMANENT AND TEMPORARY IBERIAN SYSTEMS

The effects of river regulation on the hydrological cycle of a river and on the respective fish assemblage may differ according to dam operation purpose and type of river analysed. To assess the spatial and temporal variation of fish assemblages and their response to the hydrological changes caused by two different types of flow regulation, we selected three sampling sites in four rivers with different levels of regulation, two in a permanent river system and another two on a temporary one, which we sampled in four different annual seasons. In the permanent system, hydroelectrical regulation decreased hydrological variability, which affected fluvial specialist species, benefitting the generalist ones, and created a more homogeneous community that presented less intra‐annual variation. In the temporary system, agricultural regulation caused an inversion of the hydrological cycle, maintaining a moderate flow volume throughout the drought period that benefited the introduced, generalist and more tolerant species. Monthly volume was recognized, in a temporal scale, as the most important hydrological feature for assemblages’ structure, predicting the intra‐annual variation of several ecological guilds. This study provides important considerations for dam management and riverine ecosystems conservation. Copyright © 2012 John Wiley & Sons, Ltd.     

Digital Image Analysis to Standardize a Photometric Method in Colorimetric Quantification

Abstract

Techniques applying digital images increasingly have been used in biology, medicine, physics, and other research areas. The image coordinates can represent light intensities values to be detected by a CCD. Based on this concept, a photometric system composed of a LED source and a digital camera as a detector was used for optical density measurements. Standards for permanganate, glucose, and protein solutions were determined by colorimetric methods using our device. Samples of protein of Pasteurella mutocida bacteria membrane and, also, fractions of rabbit kidney membrane, rich in Na, K‐ATPase, with unknown concentrations were dosed through the Hartree method using our photometric system.     

Hematopoietic progenitor constituents and adherent cell progenitor morphology isolated from black-rumped agouti (Dasyprocta prymnolopha, Wagler 1831) bone marrow

Stem cells are present in the adult tissues of most diverse species. Bone marrow is recognized to be the most exploited site to obtain stem cells and cell progenitors. The objective of the present study was to characterize hematopoietic progenitor (HP) morphology and analyze the performance of adherent cell progenitors (ACPs) cultivated in vitro from black‐rumped agouti bone marrow (Dasyprocta prymnolopha). Bone marrow aspirates were obtained from tibia crest and used to prepare histological slides and identify cell morphology. Cells were also scattered on culture plates for later isolation, expansion, and quantification. Smears obtained from bone marrow demonstrated HPs at different stages of maturity. In culture, these cells showed fibroblastoid morphology and a strong tendency to form colonies, demonstrated by the presence of cell aggregates, cytoplasmic elongations lying side by side. An 80% cell confluence was observed at 18 days in culture and progressive reduction in the percentage of nonadherent mononuclear cells. After eight passes, a mean cell viability of 96.07% was observed, from a pool of 1.6 × 10⁷ cells (ACP). Thirteen 25‐cm² culture bottles were trypsinized, resuspended in freezing medium, stored in 14 criotubes at a concentration of 1 × 10⁶ cells per milliliter, and placed in liquid nitrogen at ?196°C. Agouti bone marrow demonstrated high plasticity, moreover different HP lines, and a population of adherent cells demonstrated morphology similar to mesenchymal stem cells in culture. Microsc. Res. Tech. 2012. © 2012 Wiley Periodicals, Inc.     

An open source object-based framework to extract landform classes

This paper introduces a new open source, knowledge-based framework for automatic interpretation of remote sensing images, called InterIMAGE. This framework exhibits a flexible modular architecture, in which image processing operators can be associated to both root and leaf nodes of a semantic network, which accounts for a differential strategy in comparison to other object-based image analysis platforms currently available. The architecture, main features as well as an overview on the interpretation strategy implemented in InterIMAGE are presented. The paper also reports an experiment on the classification of landforms. Different geomorphometric and textural attributes obtained from ASTER/Terra images were combined with fuzzy logic to drive the interpretation semantic network. Object-based statistical agreement indices, estimated from a comparison between the classified scene and a reference map, were used to assess the classification accuracy. The InterIMAGE interpretation strategy yielded a classification result with strong agreement and proved to be effective for the extraction of landforms.     

电力系统电流互感器饱和特性的柔性神经网络补偿法

电流互感器(CT)由于饱和使得副边电流变形,进而导致保护与测量应用中的许多问题。为此,提出一种补偿CT饱和特性的方法,以改善其测量性能。所提算法基于具有2个可变参数的sigmoid函数,构建了新型柔性神经网络,以估算CT励磁电流。实时地将估算所得励磁电流与扭曲的副边测量电流相加,即得补偿后原边电流。在学习过程中,所建补偿器的各柔性神经元柔性地改变其形状以适应各自的角色,高度柔性特点增强了网络学习能力,不但可减少网络节点数,而且可减少迭代学习时间。仿真研究中,应用一个900:5A的CT测试所提出的补偿器,测试时考虑了CT原边电流不同直流分量、CT剩磁大小与CT负载特性的影响。仿真结果验证了所提补偿方法的高精度,而且不受CT负载特性、CT剩磁情况及原边电流直流成分的影响。