A Bayesian network approach to assess and predict software quality using activity-based quality models

ContextSoftware quality is a complex concept. Therefore, assessing and predicting it is still challenging in practice as well as in research. Activity-based quality models break down this complex concept into concrete definitions, more precisely facts about the system, process, and environment as well as their impact on activities performed on and with the system. However, these models lack an operationalisation that would allow them to be used in assessment and prediction of quality. Bayesian networks have been shown to be a viable means for this task incorporating variables with uncertainty.ObjectiveThe qualitative knowledge contained in activity-based quality models are an abundant basis for building Bayesian networks for quality assessment. This paper describes a four-step approach for deriving systematically a Bayesian network from an assessment goal and a quality model.MethodThe four steps of the approach are explained in detail and with running examples. Furthermore, an initial evaluation is performed, in which data from NASA projects and an open source system is obtained. The approach is applied to this data and its applicability is analysed.ResultsThe approach is applicable to the data from the NASA projects and the open source system. However, the predictive results vary depending on the availability and quality of the data, especially the underlying general distributions.ConclusionThe approach is viable in a realistic context but needs further investigation in case studies in order to analyse its predictive validity.     

Irreversible sensing of oxygen ingress

Absorption-based opto-chemical sensors for oxygen are presented that consist of leuco dyes (leuco indigo and leuco thioindigo) incorporated into two kinds of polymer matrices. An irreversible and visible color change (to red or blue) is caused by a chromogenic chemistry involving the oxidation of the (virtually colorless) leuco dyes by molecular oxygen. The moderately gas permeable copolymer poly(styrene-co-acrylonitrile) and a highly oxygen-permeable polyurethane hydrogel, respectively, are used in order to increase the effective dynamic range for visualizing and detecting oxygen. We describe the preparation and properties of four different types of such oxygen sensors that are obtained by dip-coating a gas impermeable foil made from poly(ethylene terephthalate) with a sensor layer composed of leuco dye and polymer.     

On the purpose of Event-B proof obligations

Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges on the fact that any particular model has an appropriate semantics. In Event-B, this semantics is provided implicitly by proof obligations associated with a model. There is no fixed semantics though. In this article we argue that this approach is beneficial to modelling because we can use similar proof obligations across a variety of modelling domains. By way of two examples we show how similar proof obligations are linked to different semantics. A small set of proof obligations is thus suitable for a whole range of modelling problems in diverse modelling domains.     

Asymmetric multivariate normal mixture GARCH

An asymmetric multivariate generalization of the recently proposed class of normal mixture GARCH models is developed. Issues of parametrization and estimation are discussed. Conditions for covariance stationarity and the existence of the fourth moment are derived, and expressions for the dynamic correlation structure of the process are provided. In an application to stock market returns, it is shown that the disaggregation of the conditional (co)variance process generated by the model provides substantial intuition. Moreover, the model exhibits a strong performance in calculating out-of-sample Value-at-Risk measures.     

Optimizing the execution of XSLT stylesheets for querying transformed XML data

We have to deal with different data formats whenever data formats evolve or data must be integrated from heterogeneous systems. These data when implemented in XML for data exchange cannot be shared freely among applications without data transformation. A common approach to solve this problem is to convert the entire XML data from their source format to the applications’ target formats using the transformations rules specified in XSLT stylesheets. However, in many cases, not all XML data are required to be transformed except for a smaller part described by a user’s query (application). In this paper, we present an approach that optimizes the execution time of an XSLT stylesheet for answering a given XPath query by modifying the XSLT stylesheet in such a way that it would (a) capture only the parts in the XML data that are relevant to the query and (b) process only those XSLT instructions that are relevant to the query. We prove the correctness of our optimization approach, analyze its complexity and present experimental results. The experimental results show that our approach performs the best in terms of execution time, especially when many cost-intensive XSLT instructions can be excluded in the XSLT stylesheet.     

Solving a multi-level capacitated lot sizing problem with multi-period setup carry-over via a fix-and-optimize heuristic

This paper presents a new algorithm for the dynamic multi-level capacitated lot sizing problem with setup carry-overs (MLCLSP-L). The MLCLSP-L is a big-bucket model that allows the production of any number of products within a period, but it incorporates partial sequencing of the production orders in the sense that the first and the last products produced in a period are determined by the model. We solve a model which is applicable to general bill-of-material structures and which includes minimum lead times of one period and multi-period setup carry-overs. Our algorithm solves a series of mixed-integer linear programs in an iterative so-called fix-and-optimize approach. In each instance of these mixed-integer linear programs a large number of binary setup variables is fixed whereas only a small subset of these variables is optimized, together with the complete set of the inventory and lot size variables. A numerical study shows that the algorithm provides high-quality results and that the computational effort is moderate.     

Impact of orthorectification and spatial sampling on maximum NDVI composite data in mountain regions

Topography and accuracy of image geometric registration significantly affect the quality of satellite data, since pixels are displaced depending on surface elevation and viewing geometry. This effect should be corrected for through the process of accurate image navigation and orthorectification in order to meet the geolocation accuracy for systematic observations specified by the Global Climate Observing System (GCOS) requirements for satellite climate data records. We investigated the impact of orthorectification on the accuracy of maximum Normalized Difference Vegetation Index (NDVI) composite data for a mountain region in north-western Canada at various spatial resolutions (1 km, 4 km, 5 km, and 8 km). Data from AVHRR on board NOAA-11 (1989 and 1990) and NOAA-16 (2001, 2002, and 2003) processed using a system called CAPS (Canadian AVHRR Processing System) for the month of August were considered. Results demonstrate the significant impact of orthorectification on the quality of composite NDVI data in mountainous terrain. Differences between orthorectified and non-orthorectified NDVI composites (ΔNDVI) adopted both large positive and negative values, with the 1% and 99% percentiles of ΔNDVI at 1 km resolution spanning values between − 0.16 < ΔNDVI < 0.09. Differences were generally reduced to smaller numbers for coarser resolution data, but systematic positive biases for non-orthorectified composites were obtained at all spatial resolutions, ranging from 0.02 (1 km) to 0.004 (8 km). Analyzing the power spectra of maximum NDVI composites at 1 km resolution, large differences between orthorectified and non-orthorectified AVHRR data were identified at spatial scales between 4 km and 10 km. Validation of NOAA-16 AVHRR NDVI with MODIS NDVI composites revealed higher correlation coefficients (by up to 0.1) for orthorectified composites relative to the non-orthorectified case. Uncertainties due to the AVHRR Global Area Coverage (GAC) sampling scheme introduce an average positive bias of 0.02 ± 0.03 at maximum NDVI composite level that translates into an average relative bias of 10.6% ± 19.1 for sparsely vegetated mountain regions. This can at least partially explain the systematic average positive biases we observed relative to our results in AVHRR GAC-based composites from the Global Inventory Modeling and Mapping Studies (GIMMS) and Polar Pathfinder (PPF) datasets (0.19 and 0.05, respectively). With regard to the generation of AVHRR long-term climate data records, results suggest that orthorectification should be an integral part of AVHRR pre-processing, since neglecting the terrain displacement effect may lead to important biases and additional noise in time series at various spatial scales.     

Inverse dynamics of the 3-PRR planar parallel robot

Recursive modelling for the kinematics and dynamics of the known 3-PRR planar parallel robot is established in this paper. Three identical planar legs connecting to the moving platform are located in a vertical plane. Knowing the motion of the platform, we develop first the inverse kinematics and determine the positions, velocities and accelerations of the robot. Further, the principle of virtual work is used in the inverse dynamics problem. Several matrix equations offer iterative expressions and graphs for the power requirement comparison of each of three actuators in two different actuation schemes: prismatic actuators and revolute actuators. For the same evolution of the moving platform in the vertical plane, the power distribution upon the three actuators depends on the actuating configuration, but the total power absorbed by the set of three actuators is the same, at any instant, for both driving systems. The study of the dynamics of the parallel mechanisms is done mainly to solve successfully the control of the motion of such robotic systems.