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.
Although there has been increasing demand for more reliable web applications, JavaScript bugs abound in web applications. In response to this issue, researchers have proposed automated fault detection tools, which statically analyze the web application code to find bugs. While useful, these tools either only target a limited set of bugs based on predefined rules, or they do not detect bugs caused...
Growth in Google's code size and feature churn rate has seen increased reliance on continuous integration (CI) and testing to maintain quality. Even with enormous resources dedicated to testing, we are unable to regression test each code change individually, resulting in increased lag time between code check-ins and test result feedback to developers. We report results of a project that aims to reduce...
The base-choice criterion was proposed as a suitable technique for testing software based on its nominal choice of input parameters. Test cases are created based on this strategy by varying the values of one input parameter at a time while keeping the values of the other parameters fixed on the base choice. However, this strategy might not be as effective when used on industrial control software for...
This standard defines the test method specifications for IEEE Std 1003.b-1993 (basedon the document corresponding to the merger of IEEE Std 1003.1-1990 and IEEE Std 1003.1b-1993). The test method specifications consist of assertions to be tested and related test procedures.As an amendment to IEEE Std 1003.1-1990, this standard is structured to amend those portions of IEEE Std 2003.1-1992 (the test...
A holistic approach is needed to impart abstract thinking and Programming skills among the students to enable them to be successful developers when they get employed in an IT organization where the organizations are transforming towards digital technologies. Though computer programming curriculum comprises of essential topics of programming, there is wide gap between the industry expectations from...
The main goal of the work presented in this paper was to develop a set of algorithms which allows to predict what will be the probability ratio of acquisition of the items form the given database. To fulfill this goal, the appropriate statistical methods were developed, mainly using R programming language. In order to apply the specific statistical methods, the appropriate database preprocessing was...
To ensure software is performing as intended it can be black-box or white-box tested. Category partition is a black box, specification based testing technique which begins by identifying the parameters, categories (characteristics of parameters) and choices (acceptable values for categories). These choices are then combined to form test frames on the basis of various criteria such as base choice and...
We suggest a technique to perform integration testing of Aspect-Oriented Programs (AOPs) using Module to Module path (MM-path). First, we construct a control flow graph (CFG) of the program annotating each edge with messages and identify the source nodes and sink nodes in each module. Then, we find out the feasible execution paths and design the test cases randomly. For each test case, the sequence...
In recent years, professionals in different fields have become able to do programming by using simplified software tools, as a consequence of this they are becoming able to understand programming in a general or “panoramic” way. This understanding is not evaluated by current programming abilities testing methods such as written paper tests or practical programming. This paper proposes a Programmed...
One of the most suited techniques for comparing results obtained from computational intelligence algorithms is the statistical hypothesis testing. This method can be used to contrast if the difference between the algorithm with the best results and other algorithms is actually significant. In this paper, we present STAC (Statistical Tests for Algorithms Comparison), a new platform for statistical...
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...
Program slicing is a common means to support developers in examining the source code with respect to debugging, program comprehension, or regression testing. While a vast amount of techniques exist, they are mostly tailored to single software systems. However, with the increasing importance of variable and highly-configurable systems, such as the Linux kernel, the number of software variants, subject...
Due the quick change of business processes in organizations, software need to adapt quickly to meet new requirements by implementing new business rules. For this, many technologies have been created in the field of software development, to accelerate the production and maintenance of software products. However, learning the software development still carries challenges, especially when there is the...
In this paper we develop a general framework to reason about testing. The difficulty of testing is assessed in terms of the amount of tests that must be applied to determine whether the system is correct or not. Based on this criterion, five testability classes are presented and related. We also explore conditions that enable and disable finite testability, and their relation to testing hypotheses...
OpenSSL's recently disclosed Heartbleed vulnerability underscores the need for concrete methods to counter such vulnerabilities in future software development.
There are several approaches for automated functional web testing and the choice among them depends on a number of factors, including the tools used for web testing and the costs associated with their adoption. In this paper, we present an empirical cost/benefit analysis of two different categories of automated functional web testing approaches: (1) capture-replay web testing (in particular, using...
MC/DC (modified condition/decision coverage) is a structural code coverage metric, originally defined in the standard DO-178B [1], intended to be an efficient coverage metric for the evaluation of the testing process of software incorporating decisions with complex Boolean expressions. The upcoming standard ISO 26262 [2] for safety-relevant automotive systems prescribes MC/DC for ASIL D as a highly...
This poster presents an industrial case study about test automation and test suite maintenance in the context of Web applications. The Web application under test is a Learning Content Management System (eXact learning LCMS). We analysed the costs associated with the realignment of four equivalent Selenium WebDriver test suites, implemented using the page object pattern and different methods to locate...
A test program compliant with the Signal and Test Definition (STD) IEEE Std 1641 has two parts: definition of the signals and programming. The standard does not define a programming language for the programmatic part, and any commercial off-the-shelf (COTS) programming language that fulfils annex G requirements can be used. This protects the standard against obsolescence, but it has a drawback because...
One of the most important methods to ensure system correctness is testing. Test execution can often be automated. However, the generation of tests from original requirements is an open area of research. In this paper, we propose an approach to generate test cases from requirements. We use a Behavior Tree (BT) to model the requirements of a system. The BT notation is a tree-like graphical notation...
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.