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.
The web services technology has been created to support communication between heterogeneous platforms. Despite its maturity, built upon more than a decade of experience, research and practice show that the technology still fails to connect web service client applications to servers, even when the programming languages involved are the same. This is especially troubling for service providers, as a...
We present Hammer, a real-world, end-to-end network traffic simulator, capable of simulating complex and dynamic network, user and server behaviors. The focus of this tool is to primarily facilitate investigations related to product stability, for instance different aspects of capacity, longevity, memory leaks, cores and also handle customer content testing that will reveal the behavior of the device...
It is well known that the fragmentation of Android ecosystem has caused severe compatibility issues. Therefore, for Android apps, cross-platform testing (the apps must be tested on a multitude of devices and operating system versions) is particularly important to assure their quality. Although lots of cross-platform testing techniques have been proposed, there are still some limitations: 1) it is...
In this work we apply test derivation methods for (extended) finite state machines for testing the functionality of the Communication Protocol between the cash register software and the Loymax service when conducting cash transactions. The Protocol was provided by Loymax that is the company involved in the development and support of loyalty programs. We analyze the difficulties that occur when we...
Agile process and User Centered Design (UCD) approach are two fields with high beneficial opportunities when integrated together. Both are based on minimal design up front and frequent feedback from users, and both are human-centered. However, one of the main concerns in integrating them is how to coordinate the work properly specially in distributed projects. The traditional methods used (e.g. video...
Hajj is defined as a yearly Islamic pilgrimage to the holy place, Makkah. It is a religious obligation for Muslims who are financially and physically capable to perform. Hajj is one of the five pillars of Islam. The gathering of people during Hajj can be considered as the largest yearly gathering in the world. Every year, thousands of Muslims from all over the world will gather at the holy place during...
In the increasingly fierce competition of the colleges and universities, how to improve the teaching quality and enhance the competitiveness has become an important issue to every colleges and universities. Universities are trying to build scientific and perfect ideological and political classroom teaching quality evaluation system. AHP (Analytic Hierarchy Process) is based on the combination of quantitative...
The security of modern web applications is becoming increasingly important with their growing usage. As millions of people use these services, the availability, integrity, and confidentiality are critical. This paper describes the process of penetration testing of these applications. The goal of such testing is to detect application flaws and vulnerabilities and to propose a solution to mitigate them...
Automated testing in massively multi-player on-line role playing games (MMORPG) is a challenging task due to the complexity of such games and their large numbers of mutually distributed but interacting components. Large-scale multi-agent systems (LSMAS) provide us with a suitable formalism to address such complex problems. Herein a first step towards an automated game testing environment, built for...
This article deals with the issue of testing a correct implementation of SIP signaling at different endpoints. Our testing was based on the basic standard of RFC 3261. We focused on proceeding an INVITE request with regard to its correct syntax. In the CipherCAD environment, we designed a model for an automatic testing via differently modified INVITE requests. We carried out a series of tests which...
SSL/TLS is the most commonly deployed family of protocols for securing network communications. The security guarantees of SSL/TLS are critically dependent on the correct validation of the X.509 server certificates presented during the handshake stage of the SSL/TLS protocol. Hostname verification is a critical component of the certificate validation process that verifies the remote server's identity...
Task allocation systems in the Cloud have been recently proposed so that their performance is optimised in real-time based on reinforcement learning with spiking Random Neural Networks (RNN). In this paper, rather than reinforcement learning, we suggest the use of multi-layer neural network architectures to infer the state of servers in a dynamic networked Cloud environment, and propose to select...
In a message-passing system (MPS), components communicate through messages. However, both the time and order in which messages are delivered depend on the execution environment. The resulting nondeterminism may lead to concurrency defects such as message races, making it difficult to thoroughly test and debug MPS. This paper presents a new framework for testing components of an MPS for faults that...
There is a large body of work in the literature about automatic unit tests generation, and many successful results have been reported so far. However, current approaches target library classes, but not full applications. A major obstacle for testing full applications is that they interact with the environment. For example, they access files on the hard drive or establish connections to remote servers...
Remote control of grid tied converters has become important with an increasing number of grid connected energy storage systems. Hence, it is crucial point for utilities to outline the requirements of the communication methods and to find the best communication infrastructure to handle the remotely located converters in a reliable and cost effective manner throughout the operation. The purpose of this...
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...
With the expansion of mobile computing and mobile data services, the number, type, and application of location-based services will continue to expand rapidly in the coming years. These apps have attracted the interest of users from different fields, such as gaming, mobile commerce, navigation systems, emergency services, and various tracking systems. As these apps use large volumes of location data...
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...
The record-and-replay approach for software testing is important and valuable for developers in designing mobile applications. However, the existing solutions for recording and replaying Android applications are far from perfect. When considering the richness of mobile phones' input capabilities including touch screen, sensors, GPS, etc., existing approaches either fall short of covering all these...
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.