The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This article describes development of OpenMP parallelization in True Irregular Method (TIM) code designed for solving multidimensional non-stationary problems of continuum mechanics using non-structured Lagrangian meshes of random form.
Statistical testing based on a Markov chain usage model, as a rigorous testing method, has been around for more than two decades. Through the comprehensive application of statistical science to the testing of software, it provides audit trails of evidence to support correctness arguments for a software-intensive system as well as a decision that the system is of requisite quality for its intended...
Software fault prediction models are employed to optimize testing resource allocation by identifying fault-prone classes before testing phases. We apply three different ensemble methods to develop a model for predicting fault proneness. We propose a framework to validate the source code metrics and select the right set of metrics with the objective to improve the performance of the fault prediction...
Following the Service-Oriented Architecture, a large number of diversified Cloud services are exposed as Web APIs (Application Program Interface), which serve as the contracts between the service providers and service consumers. Due to their massive and broad applications, any flaw in the cloud APIs may lead to serious consequences. API testing is thus necessary to ensure the availability, reliability,...
Lattice-based cryptography has recently produced several time-efficient cryptosystems that are provably secure under assumptions that are not known to be more easily solvable by quantum computers. An interesting research direction is improving their storage complexity, as current solutions are far from practical with respect to this metric. In this paper we show that program obfuscators for point...
The safety and reliability of roller bearing always have significant importance in rotating machinery. It is needful to build an efficient and excellent accuracy method to monitoring and diagnosis the baring failure. A novel method is presented in this paper to classify the fault feature by wavelet function and extreme learning machine(ELM) that take into account the high accuracy and efficient. The...
A method for inferring finite-state models of function blocks from given execution traces based on translation to the constraint satisfaction problem (CSP) is proposed. In contrast to the previous method based on a metaheuristic algorithm, the approach suggested in this paper is exact: it allows to find a solution if it exists or to prove the opposite. The proposed method is evaluated on the example...
This paper shows the model developed by the University of Turin to support students that must face the transition from the last year of secondary school to the first year of University. Integrations that are specifically designed for Learning Management Systems help sustain three effective actions conducted in synergy: increase students’ awareness in the choice of the future course of study, support...
Fault localization defines information models from raw runtime information as the input, depicting program behaviors for supporting localization algorithms. It is natural that an elaborate information model is desirable and likely to improve the effectiveness of fault localization, because it typically depicts subtle and more program runtime behaviors. In fact, much work on fault localization assumes...
In the last years, many computer vision algorithms have been developed for X-ray testing tasks. Some of them deal with baggage inspection, in which the aim is to detect automatically target objects. The progress in automated baggage inspection, however, is modest and very limited compared to what is needed because X-ray screening systems are still being manipulated by human inspectors. In this work,...
This paper describes a model-based test generation approach for testing Urban Search and Rescue (USAR) robots interacting with their environment (i.e., world). Unlike other approaches that assume a static world with attributes and values, we present and test a dynamic world. We use Petri Nets to illustrate a world model that describes behaviors of environmental entities (i.e., actors). The Abstract...
We study the problem of analyzing falsifying traces of cyber-physical systems. Specifically, given a system model and an input which is a counterexample to a property of interest, we wish to understand which parts of the inputs are “responsible” for the counterexample as a whole. Whereas this problem is well known to be hard to solve precisely, we provide an approach based on learning from repeated...
Nowadays a huge volume of biomedical data (images, genes, etc) are daily generated. The interpretation of such data involves a considerable expertise. The misinterpretation and/or misdetection of a suspicious clinical finding leads to increasing the negligence claims, and redundant procedures (e.g. biopsies). The analysis of biomedical data is a complex task which are performed by specialists on whose...
Vehicular Ad Hoc Networks (VANETs) are predestined for traffic safety applications in the domain of Inter-Vehicular-Communication (IVC) because of their low-latency connections. These applications require thorough testing to meet the high expectations regarding reliability and availability. However, IVC applications are difficult to test in the field, especially when many vehicles are involved. Thus,...
The challenges met during the software projects fall into any number of categories. The development and the technical solutions bring about technical challenges, but the situations one is confronted with, may also be sociological, psychological or managerial in nature. Without any knowledge in the field of social sciences, the programmers, testers and managers might interpret the social aspects of...
NoC-based designs provide a scalable and flexible communication solution for the rising number of processing cores on a single chip. To master the complexity of the software design in such a NoC-based multi-core architecture, advanced incremental integration testing solutions are required. This work presents a virtual platform based software testing and debugging approach for a synchronous application...
The classification of dynamical data streams is among the most complex problems encountered in classification. This is, firstly, because the distribution of the data streams is non-stationary, and it changes without any prior “warning”. Secondly, the manner in which it changes is also unknown. Thirdly, and more interestingly, the model operates with the assumption that the correct classes of previously-classified...
The test case generation of Cyber-Physical Systems (CPSs) face critical challenges that traditional methods such as Model-Based Testing cannot deal with. As a result, simulation-based testing is one of the most commonly used techniques for testing CPSs despite sometimes being computationally too expensive. This paper proposes a search-based approach which is implemented on top of Non-dominated Sorting...
We demonstrate a desktop platform which has the ability of modeling ReRAM TiO2 samples in a highly automated manner. The system consists of a bespoke RRAM characterization instrument that hosts packaged RRAM devices and is operated via a PC. The system's python-based software includes a module that automatically applies strategically chosen sequences of pulses to a test device and then extracts the...
Personalized medicine performs diagnoses and treatments according to the DNA information of the patients. The new paradigm will change the health care model in the future. A doctor will perform the DNA sequence matching instead of the regular clinical laboratory tests to diagnose and medicate the diseases. Additionally, with the help of the affordable personal genomics services such as 23andMe, personalized...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.