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.
Regression testing is an important part of software development, but it can be very time consuming. Regression test selection (RTS) aims to speed up regression testing by running only impacted tests—the subset of tests that can change behavior due to code changes. We present STARTS, a tool for STAtic Regression Test Selection. Unlike dynamic RTS, STARTS requires no code instrumentation or runtime...
The SFSVC (Super Fast Support Vector Classifier) architecture is implemented to a computational mobile platform and its performances are evaluated against its implementation on a classic machine (personal computer). The aim of this article is to prove that the SFSVC architecture can have good performances on an environment with very limited resources by taking advantages of its compact structure and...
Organizations developing cryptographic products face significant challenges, including usability and human factors, that may result in decreased security, increased development time, and missed opportunities to use the technology to its fullest potential. To better identify these challenges, we explored cryptographic development and testing practices by conducting a web-based survey of 121 individuals...
High-performance communication interfaces in modern complex electronic systems bring new challenges for board-level manufacturing test. Various means of calibration and error-correction that are incorporated into high-speed protocols tend to hide manufacturing flaws thus making comprehensive testing be an extremely hard task. Links transmitting at gigabit rates are especially susceptible to so-called...
In this paper, a hybrid broadcast broadband TV (HbbTV) test system with the automatic testing subsystem is proposed. The proposed system is based on Node.js framework with SQLite database on the backend side and Polymer framework on the front-end side. The paper covers basic testing metodology and design process with the emphasis on the implementation and testing.
An important step toward adoption of formal methods in software development is support for mainstream programming languages. Unfortunately, these languages are often rather complex and come with substantial standard libraries. However, by choosing a suitable intermediate language, most of the complexity can be delegated to existing execution-oriented (as opposed to verification-oriented) compiler...
Globalization allows many industries and enterprises to corporate and communicate with each other to provide services. In the era of knowledge management semantic web and related technology plays a major role. Ontology being the basic unit of semantic web realization will contain knowledge which is sharable between different domains. Ontology matching techniques are vital in querying and finding the...
Some type of tests especially functional tests and stress test requires a large amount of realistic test data. We are proposing a tool that uses random number generators in order to create such data. The tool is designed to be able to set simple attributes of any Java object and in many cases also to create complex structures when objects are connected via references. Random values are created according...
In a training process for DSP software developers' major schools and scientific societies see an actual problem for a kind of transformation from a traditional form of training into different remote forms, using one-to-many online training courses and interactive case study. We have analyzed many different examples of such a new forms of trainings that have been used or trialed by major technical...
This paper introduces TestMEReq, an automated tool for early validation of requirements. TestMEReq supports requirements engineers (REs) in the validation of the correctness, completeness and consistency of elicited requirements with minimum effort and time through generated abstract tests components: test requirements and test cases, and a mock-up prototype of the user interface (UI). Abstract tests...
.NET platform is increasingly being used in software development industry. Many data access technologies have been developed on this platform, thus choosing a suitable technology has become a difficult task. In this paper, an empirical study on fetch performance comparison by conducting experiments on common test data set of selected data access libraries; ADO.NET, Dapper and Entity Framework Core...
The speed of development of the IT industry as well as the computational power which are increasing exponentially, create great competitiveness in the process of development but also in the launching of software products on the market. Automated testing comes to help with these challenges by trying to increase the speed of development by offering fast feedback and trustworthy quality by means of repeated...
Ever-evolving technologies allow modern libraries to introduce multiple digital devices to enable readers to more easily find their desired books. However, the cognitive abilities of children might bring about incorrect use of these devices. Therefore, it is imperative that libraries pursue innovative service such as smart book-finding specifically designed for children to accommodate their needs...
Like all software, Android applications are not immune to bugs, security vulnerabilities, and a wide range of other issues. Concolic analysis, a hybrid software verification technique which performs symbolic execution along with a concrete execution path, has been used for a variety of purposes including software testing, code clone detection, and security-related activities. We created a new publicly...
STANAG 4559 (NATO Standard ISR Library Interface) and its role in ISR (Intelligence, Surveillance and Reconnaissance) cycle is introduced. The aim of the STANAG 4559 is to promote interoperability of NATO ISR products managed by product libraries. Main ISR products as Imagery, Video, Reports, Tasks, IRM&CM (Intelligence Requirement Management and Collection Management) and other documents and...
Program assertions are useful for many program analysis tasks. They are however often missing in practice. In this work, we develop a novel approach for generating likely assertions automatically based on active learning. Our target is complex Java programs which cannot be symbolically executed (yet). Our key idea is to generate candidate assertions based on test cases and then apply active learning...
Differential testing uses similar programs as cross-referencing oracles to find semantic bugs that do not exhibit explicit erroneous behaviors like crashes or assertion failures. Unfortunately, existing differential testing tools are domain-specific and inefficient, requiring large numbers of test inputs to find a single bug. In this paper, we address these issues by designing and implementing NEZHA,...
Software development for embedded systems is challenging due to hardware resource limitations and complexities in testing and verification. Although there are numerous approaches and tools, the integration and deployment of these tools for a particular software development project requires effort. The contribution of this work is a platform for continuous integration that adapts common open source...
To simulate a realistic game server environment, we utilized open source software libraries to create automated players (bots) for the globally renowned online game: Minecraft. The fairly simple design of the Minecraft server as well as its massive development and support community facilitates considerable research and analysis prospects. As such, the goal of our investigation was to emulate and then...
Conventional concolic testing has been used to provide high coverage of paths in statically typed languages. While it has also been applied in the context of JavaScript (JS) programs, we observe that applying concolic testing to dynamically-typed JS programs involves tackling unique problems to ensure scalability. In particular, a naive type-agnostic extension of concolic testing to JS programs causes...
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.