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.
Symbolic techniques have been shown to be very effective in path-based test generation, however, they fail to scale to large programs due to the exponential number of paths to be explored. In this paper, we focus on tackling this path explosion problem and propose search strategies to achieve quick branch coverage under symbolic execution, while exploring only a fraction of paths in the program. We...
The potential of applying search-based testing principles to functional testing has been demonstrated in various cases. The focus was mainly on simulating the system under test using a model or compiled source code in order to evaluate test cases. However, in many cases only the final hardware unit is available for testing. This research presents an approach in which evolutionary functional testing...
Today, alone with the CBSE (Component Based Software Engineering) development, the component test is always a headache problem for software integrators. From software integration point of view, as components may be same or similar and may from different components providers, how to determine and select the suitable components is not an easy job. Normally they need some component test system to help...
Mutation testing has been used to assess and improve the quality of test inputs. Generating test inputs to achieve high mutant-killing ratios is important in mutation testing. However, existing test-generation techniques do not provide effective support for killing mutants in mutation testing. In this paper, we propose a general test-generation approach, called PexMutator, for mutation testing using...
This paper introduces a technique to generate tests automatically for the legacy code by utilizing existing software assets. Many aspects of the legacy code needs to be tested, such as, classes, methods, interfaces, relations, dependencies, etc. The proposed technique automatically generates tests by examining software packages that use the system under test to be tested. It presents an automatic...
We will describe a dynamic federated autonomic networking system for the testing of netcentric systems across organizations. Using a suite of policy-based management software tools, our system can provide netcentric missions with self-configuring, self-debugging, self-healing, and self-protecting capabilities across end-to-end coalition networks. The novelty of our system originates from: (1) A multi-party...
Recently, the research on the detection and defense of malicious attacks are becoming the main subject of information security. Various tools and technologies of detecting and defense malicious attacks are proposed in an endless stream, tools detecting vulnerabilities as well. However, there is a lack of method to test and evaluate the correctness and validity of these technologies and tools. In this...
Unified testing of multiple heterogeneous robotic software components is a challenging problem and many robotic systems rely on vendor-specific tools for testing and evaluation of individual subsystems. The consequence is often the unexpected interactions between components that arise during system integration. OpenRTM-aist is a distributed software framework that standardises the development of robotic...
The quality of service oriented architecture (SOA) solutions is becoming more and more important along with the increasing adoption of SOA. Continuous integration testing (CIT) is an effective technology to discover bugs as early as possible. However, the diversity of programming models used in an SOA solution and the distribution nature of an SOA solution pose new challenges for CIT. Existing testing...
We propose a framework for the automatic dynamic testing of workflow management systems (WfMSs). We first classify faults that can occur during the execution of a WfMS and then describe a systematic testing scheme that provides the following advantages. First, the system developer does not need to play the roles of participants, and hence the entire testing process can be automated. Second, resources...
The paper describes an effective method for control software testing. Starting from a previous release, the authors propose a proper update of their testing methodology to make it feasible for a new class of software. More in depth, the testing methodology was designed to generate a set of input combinations (so-called test cases), each one accounting for the interdependence in terms of amplitude...
Testing enterprise software that communicates with a large number of other software systems is a challenging task as it is often difficult to replicate the size and heterogeneity of large enterprise environments. In particular, it is challenging to conduct testing of non-functional properties related to scalability, performance, and robustness of enterprise software systems when deployed into such...
If a mutation is not killed by a test suite, this usually means that the test suite is not adequate. However, it may also be that the mutant keeps the programpsilas semantics unchanged-and thus cannot be detected by any test.We found such equivalent mutants to be surprisingly common: In an experiment on the JAXEN XPATH query engine, 8/20 = 40% of all mutations turned out to be equivalent. Worse, checking...
Component-based software developing raises software developing efficiency and quality effectively. Component users configure tested component to obtain part of functions. Because of unavailable source code, errors of component configuration are difficult to be tested. This paper tests component configuration by using mutation testing, proposes the framework of component configuration testing based...
In this paper, we discuss the automated generation of test cases from contract-oriented specifications. The static analysis we develop rely on original constraint minimization and satisfaction techniques (CSP). We propose a flexible CSP architecture that can apply not only on integer or bounded domains but also on arbitrary types. The original notion of type builders is used to establish the connection...
Functional requirements must be tested to check if the system executes as the end user expects. Validation environments must be able to test multiple kinds of applications that belong to different domains and technologies. Since this wide validation spectrum is very difficult to cope with, validation environments are usually specialized in domains, programming languages, technologies, etc. However,...
We describe a benchmark of publicly-available multi-threaded programs with documented bugs in them. This project was initiated a few years ago with the goal of helping research groups in the fields of concurrent testing and debugging to develop tools and algorithms that improve the quality of concurrent programs. We present a survey of usage of the benchmark, concluding that the benchmark had an impact...
This paper deals with the task of structural testing of real-world Simulink models containing stateflow diagrams, a number of difficulties arise that need to be addressed. One of the main problems is the size of the model under test and the resulting complexity. Other major challenges are the signal generation as well as the coverage of stateflow diagrams in general.
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.