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.
Because software developers are not necessarily security experts, identifying potential threats and vulnerabilities in the early stage of the development process (e.g., the requirement- or design-phase) is insufficient. Even if these issues are addressed at an early stage, it does not guarantee that the final software product actually satisfies security requirements. To realize secure designs, we...
Performance testing is a highly specialized task, since it requires that a performance engineer knows the application to be tested, its usage profile, and the infrastructure where it will execute. Moreover, it requires that testing teams expend a considerable effort and time on its automation. In this paper, we present the PLeTsPerf, a model-based performance testing tool to support the automatic...
A static analysis can check programs for potential errors. A natural question that arises is therefore: who checks the checker? Researchers have given this question varying attention, ranging from basic testing techniques, informal monotonicity arguments, thorough pen-and-paper soundness proofs, to verified fixed point checking. In this paper we demonstrate how quickchecking can be useful for testing...
In recent years several symbolic execution-based tools have been developed to automatically select relevant test inputs from the source code of the system under test. However, each of these tools has different advantages, and there is no detailed feedback available on the actual capabilities of the various tools. In order to evaluate test input generators we collected a representative set of programming...
This paper is based upon a NERC report released in 2013 that claimed a dramatic rise in the annual number of misoperations—due in large part to the complexity of programming and testing numerical protection relays. This paper illustrates results discussed in the NERC report, as well as provides several interesting examples of actual misoperations and how to mitigate them.
Modern instruction sets are complex, and extensions are proposed to them frequently. This makes the task of modelling architecture specifications used by the code generators of modern compilers complex and error-prone. Given the important role played by the compilers, it is necessary that they are tested thoroughly, so that most of the bugs are detected early on. Unfortunately, modern compilers such...
Performance profiling or empirical testing, and statistical testing of algorithms for NP-complete problems is typically based on random sample testing. Random values constitute a good source of data for testing the effectiveness of a computer algorithm. Random number generation is an absolute proposition. As such, generally the concentration is on realistic pseudorandom number generation. There are...
In our day-today life, we performs a lot of tasks that involves direct or indirect use of random numbers e.g. Games, lotteries, simulations and most important cryptography and data communication security. Although, the field of pseudo random number generation is important, it is very difficult to find a good generator for several of applications. In present manuscript, we explore the possibility of...
The article presents basic concepts of GMSK modulation and ways creating signals with GMSK modulation. Special attention in the article is given description of testing receiving equipment of the automatic identification system. The design of the hardware-software complex by MATLAB is described. The correct operation of the hardware-software complex was checked by verified AIS Base Station T214. As...
Test-Driven Development (TDD) is the practice of attempting to use the software you intend to write, before you write it. The premise is straightforward, but the specifics of applying it in different domains can be complex. In this paper, we provide aTDD approach for language development. The essence is to apply TDD at each of four levels of language processing, hence we call our approach Multi-Level...
This paper proposes a novel idea for incorporating dual threshold voltage for Bit swapping LFSR (BS-LFSR) in order to obtain highly power efficient pattern generators for built in self-test (BIST) based VLSI architecture. BIST is a hardware entity, which is capable of testing the circuit during manufacturing as well as in situ conditions. It make use of different types of random generators for test...
Network traffic generation was the subject of many research projects in the past, but none of them could generate network data which has the same nature as a traffic from human or machine behavior. In this paper we introduce a related work in this field of area focusing on advantages and disadvantages, such as authenticity, inaccuracy, wrong timings and real-time generation. Further, we propose a...
Generating large amounts of semantically-rich data for testing big data workflows is paramount for scalable performance benchmarking and quality assurance in modern machine-learning and analytics workloads. The most obvious use case for such a generative algorithm is in conjunction with a big data application blueprint, which can be used by developers (to test their emerging big data solutions) as...
As the interest about open robot middleware increases, the development of user convenience-oriented tool is getting spotlighted with increasing interest in open robot middleware. The problem in the robot software development, however, is that the development is not progressing systematically because of the low utilization of the tool confirming and verifying the component based on many requirements...
Management application of Tabungan Kurban is an application that integrates business process of data management clients are involved in a business process, specifically in the process of saving sacrifice or kurban. The objective of developing the application is to replace manual activities in managing kurban savings, including deposits and records of savings. The inefficiency of having a manual booking...
Regression testing represents a crucial part in the source code development. To avoid laborious and tedious task of writing test cases it could be convenient to develop a test case generator. This paper presents development of such solution using the Eclipse IDE. Beside that, paper describes automatisation of regression testing using the Hudson build server. Generated test suite contains 5282 unit...
Statistical tests are used extensively in selecting and testing random and pseudorandom number generators. This is important because the output of such generators can be used in various cryptographic applications, such as private key material. National Institute of Standards and Technologies proposed a methodology for conducting such tests, entitled Statistical Test Suite Special Publication 800-22...
This paper proposes a structure for a digital coder, optimizing the multiplication circuit area that leads to a substantial gain in the main circuit surface and helps future decoding. The work describes the functioning process, the technical design and tests the coder's main functions. The evolution of RS coding and the growing pallet of application domains are also briefly covered.
Automated test design is an approach to test design in which automata are utilized for generating test artifacts such as test cases and test data from a formal test basis, most often called test model. A test generator operates on such a test model to meet a certain test coverage goal. In the plethora of the approaches, tools and standards for model-based test design, the test design techniques to...
Model-based testing is a technique for generating test cases from a test model. Various notations and techniques have been used to express the test model and generate test cases from those models. Many use customized modelling languages and in-depth white-box static analysis for test generation. This allows for optimizing generated tests to specific paths in the model. Others use general-purpose programming...
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.