Search results for "Test case"
showing 10 items of 18 documents
Evaluating Model-Driven Development Claims with Respect to Quality: A Family of Experiments
2021
[EN] Context: There is a lack of empirical evidence on the differences between model-driven development (MDD), where code is automatically derived from conceptual models, and traditional software development method, where code is manually written. In our previous work, we compared both methods in a baseline experiment concluding that quality of the software developed following MDD was significantly better only for more complex problems (with more function points). Quality was measured through test cases run on a functional system. Objective: This paper reports six replications of the baseline to study the impact of problem complexity on software quality in the context of MDD. Method: We con…
On the correction of conserved variables for numerical RMHD with staggered constrained transport
2015
Despite the success of the combination of conservative schemes and staggered constrained transport algorithms in the last fifteen years, the accurate description of highly magnetized, relativistic flows with strong shocks represents still a challenge in numerical RMHD. The present paper focusses in the accuracy and robustness of several correction algorithms for the conserved variables, which has become a crucial ingredient in the numerical simulation of problems where the magnetic pressure dominates over the thermal pressure by more than two orders of magnitude. Two versions of non-relativistic and fully relativistic corrections have been tested and compared using a magnetized cylindrical …
Autoencoders and Recurrent Neural Networks Based Algorithm for Prognosis of Bearing Life
2018
Bearings are one of the most critical components in electric motors, gearboxes and wind turbines. Therefore, bearing fault detection and prognosis of remaining useful life are important to prevent productivity losses. In this study, a novel method is proposed for prognosis of bearing life using an autoencoder and recurrent neural networks-based prediction algorithm. Promising results have been obtained from the experimental data. A monotonic upward trend of the produced health indicator is obtained for all test cases, being one of critical indicators of a proper prognosis. The remaining useful life estimation is moderately accurate under a limited data.
Evolutionary White-Box Software Test with the EvoTest Framework: A Progress Report
2009
Evolutionary white-box software testing has been extensively researched but is not yet applied in industry. In order to investigate the reasons for this, we evaluated a prototype version of a tool, representing the state-of-the-art for evolutionary structural testing, which is targeted at industrial use. The focus was on the applicability of the structural test tool in the industrial context and not on assessment of the test cases generated. Four case studies, each consisting of an embedded software module from the automotive industry implemented in the C language, were evaluated with the tool. The case studies had to be customized to cope with the limitations of the tool and in all, test c…
A novel hybrid model for air quality index forecasting based on two-phase decomposition technique and modified extreme learning machine.
2017
The randomness, non-stationarity and irregularity of air quality index (AQI) series bring the difficulty of AQI forecasting. To enhance forecast accuracy, a novel hybrid forecasting model combining two-phase decomposition technique and extreme learning machine (ELM) optimized by differential evolution (DE) algorithm is developed for AQI forecasting in this paper. In phase I, the complementary ensemble empirical mode decomposition (CEEMD) is utilized to decompose the AQI series into a set of intrinsic mode functions (IMFs) with different frequencies; in phase II, in order to further handle the high frequency IMFs which will increase the forecast difficulty, variational mode decomposition (VM…
Domain specific language for securities settlement systems
2012
Actual problems during design, implementation and maintenance of securities settlement systems software are achieving complementarity of several different, connected, asynchronously communicating settlement systems and verification of this complementarity. The aim of this paper is to create domain specific language for modeling of settlement systems and their interactions. Then use models to calculate settlement systems behavior. Specific of settlement systems requires that they perform accordingly to business rules in any situation. This makes use of model checking a very desirable step in development process of settlement systems. Defining a domain specific language and creating editor su…
Moment‐based boundary conditions for straight on‐grid boundaries in three‐dimensional lattice Boltzmann simulations
2020
In this article, moment‐based boundary conditions for the lattice Boltzmann method are extended to three dimensions. Boundary conditions for velocity and pressure are explicitly derived for straight on‐grid boundaries for the D3Q19 lattice. The method is compared against the bounce‐back scheme using both single and two relaxation time collision schemes. The method is verified using classical benchmark test cases. The results show very good agreement with the data found in the literature. It is confirmed from the results that the derived moment‐based boundary scheme is of second‐order accuracy in grid spacing and does not produce numerical slip, and therefore offers a transparent way of accu…
Experimental Evaluation of Protein Secondary Structure Predictors
2009
Understanding protein biological function is a key issue in modern biology, which is largely determined by its 3D shape. Protein 3D shape, in its turn, is functionally implied by its amino acid sequence. Since the direct inspection of such 3D structures is rather expensive and time consuming, a number of software techniques have been developed in the last few years that predict a spatial model, either of the secondary or of the tertiary form, for a given target protein starting from its amino acid sequence. This paper offers a comparison of several available automatic secondary structure prediction tools. The comparison is of the experimental kind, where two relevant sets of proteins, a non…
Channel estimation and transmit power control in wireless body area networks
2015
Wireless body area networks have recently received much attention because of their application to assisted living and remote patient monitoring. For these applications, energy minimisation is a critical issue since, in many cases, batteries cannot be easily replaced or recharged. Reducing energy expenditure by avoiding unnecessary high transmission power and minimising frame retransmissions is therefore crucial. In this study, a transmit power control scheme suitable for IEEE 802.15.6 networks operating in beacon mode with superframe boundaries is proposed. The transmission power is modulated, frame-by-frame, according to a run-time estimation of the channel conditions. Power measurements u…
Componentwise adaptation for high dimensional MCMC
2005
We introduce a new adaptive MCMC algorithm, based on the traditional single component Metropolis-Hastings algorithm and on our earlier adaptive Metropolis algorithm (AM). In the new algorithm the adaption is performed component by component. The chain is no more Markovian, but it remains ergodic. The algorithm is demonstrated to work well in varying test cases up to 1000 dimensions.