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.
Random instruction sequence (RIS) tools continue to be the main strategy for verifying and validating chip designs. In every RIS tool, test suites are created targeted to a particular functionality and run on the design. Coverage metrics provide us one mechanism to ensure and measure the completeness and thoroughness of these test suites and create new test suites directed towards unexplored areas...
Nonintrusive load meters (NILMs) with a heap distinguishing proof capacity have been created in a few foundations and organizations. All heap recognizable proof calculations (LIAs) have a typical trademark: load ID depends on the present waveforms. Framework alignment and tests of meter with burden recognizable proof capacity is displayed in this paper. The framework depended on producing discretionary...
The web today is a growing universe of interlinked web pages and web apps, teeming with videos, photos, and interactive content. Over time web technologies have evolved to give web developers the ability to create new generations of useful and immersive web experiences. The most important technology in realizing this shift is Ajax (Asynchronous Javascript and XML). Ajax is a major breakthrough in...
The continuous increase of software complexity is one of the major problems associated with the development of today's complex technical systems. In particular, for safety-critical systems, which usually require to be thoroughly verified and validated, managing such a complexity is of high importance. To this end, industry is utilizing Model-Driven Development (MDD) in many aspects of systems engineering,...
Verifying a real time embedded application is challenging since one has to consider timing requirements in addition to functional ones. During online state-based testing the generation and execution of test cases happen concurrently: test case generation uses information from a state-based test model in combination with observed execution behaviour. This paper describes a practical online testing...
There are difficulties in detecting low voltage ride through (LVRT) ability of offshore doubly fed induction generator (DFIG) because of complexity of sea condition. In this paper, a new scheme is put forward to solve this problem. This new scheme takes into account the effect of submarine cables on transient process of circuit, and the influence on short-circuit capacity of remote point. It proposes...
In today's web applications, JavaScript code interacts with the Document Object Model (DOM) at runtime. This runtime interaction between JavaScript and the DOM is error-prone and challenging to test. In order to unit test a JavaScript function that has read/write DOM operations, a DOM instance has to be provided as a test fixture. This DOM fixture needs to be in the exact structure expected by the...
Rather than tediously writing unit tests manually, tools can be used to generate them automatically -- sometimes even resulting in higher code coverage than manual testing. But how good are these tests at actually finding faults? To answer this question, we applied three state-of-the-art unit test generation tools for Java (Randoop, EvoSuite, and Agitar) to the 357 real faults in the Defects4J dataset...
Software testing is indispensable to assure software quality. Traditional software testing techniques are insufficient for modern web applications due to their unique characteristics, such as highly dynamic generation of web pages and interactions with DOM elements. Meanwhile, existing web testing techniques are cumbersome to use in long-term maintenance and evolution because the tests are often brittle...
While being highly automated and easy to use, existing techniques of random testing suffer from low code coverage and defect detection ability for practical software applications. Most tools use a pure black-box approach, which does not use knowledge specific to the software under test. Mining and leveraging the information of the software under test can be promising to guide random testing to overcome...
In this paper we introduce a dynamic GUI test generator that incorporates ant colony optimization. We created two ant systems for generating tests. Our first ant system implements the normal ant colony optimization algorithm in order to traverse the GUI and find good event sequences. Our second ant system, called AntQ, implements the antq algorithm that incorporates Q-Learning, which is a behavioral...
Our main goal is to ease the design of built-in intelligent diagnose algorithms and to develop performant cardiac monitors. First, the most popular methods of generating an ECG (electrocardiogram) signal, used at the moment for testing and maintenance of cardiac monitors, were discussed and reviewed; the method, which proved to be the most performant among all, was selected and software implemented...
This paper deals with design of software for partial discharge (PD) pattern recognition and signal assessment on power generator using artificial neural network (ANN). The identified PD signal was the simulation of PD measurement result on high voltage generator. The simulated signal contains background noise (BGN) and phase-resolved PD pattern (PRPD pattern) data. The characteristics of information...
The Equal Length Cellular Automata (ELCA) are suggested as a mean for generating pseudo-random sequences. For supporting this application, an analysis of the randomness of the generated sequences is performed for a variety of automata, using several analysis methods. The results of the analysis are presented and discussed. In addition, the complexity of the generation method is compared with other...
True Random Numbers represents a sensitive research area for cryptographic algorithms and applications. They are mostly used in generating non-reproducible and non-deterministic patterns used in different cryptographic protocols. A True Random Number Generator basically consists of three main components: a noise generator, that is based on a physical incontrollable phenomenon, a randomness extractor...
In recent years, with the continuous increasing of electric locomotive running speed, electromagnetic noise of pantograph arc gets more and more serious and has become a kind of security risk of electric railway's operation. To study the electromagnetic noise and suppression methods of pantograph arc, an electromagnetic noise experimental system was developed. The experimental system is composed of...
To improve the signal to noise ratio in the auto-tracking receiver, the traditional two dimensional acquisition algorithm is often used. However, its application has been limited because of the large amount of calculations. In this paper, a low-complexity cross-correlation algorithm is proposed. Firstly, the theoretical deviation is given. And then its implementation based on Field Programmable Gate...
In the study of gas-liquid two-phase flow and heat transfer of evaporative cooling generator, has important significance to test the accuracy of void ratio. This paper first introduces the principle of ray testing, should pay attention to the selection of γ-ray source. The ray test two-phase flow void ratio of the experimental platform is established. The test data and drift model, one-dimensional...
The research documented in this paper investigates the underlying attributes, mechanisms, advantages and disadvantages of long-distance power transmission by analysing a set of case studies based on a simple simulated system created in the PowerWorld software package. In particular, the factors that have an impact on a series of power flow variables, including active power, reactive power, magnitude...
In today's VLSI world, the designers concentrate on low power design, neglecting the test methodology. Defining low power test methodology is the need of the day. In this paper, Microcode based Asynchronous P-MBIST is implemented, measured and compared with similar feature Synchronous PMBIST. The implemented core has given Power, Area advantage of 95.44%, 23.95% respectively but with increased Timing...
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.