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...
Apply the Active Data Objects to LabVIEW, coordinating the LabSQL tool kit in several ways to carry on the connection separately to three kinds of commonly used databases (Access, MySQL, MS SQL), which has expanded the applications of LabSQL tool kit, enriched testing software's database connection mode, and a guide to improving the data-handling capacity of the testing software. Then with the efficiency...
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...
In the automotive industry requirements are often still composed of natural language text, spreadsheets, drawings, and formal models. Models are often used to describe partial aspects from the whole set of requirements. Hence, flaws and vagueness in requirements are common and hard to discover. Upcoming standards like ISO 26262 request the automotive industry to be more strict and formal on the requirements...
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 addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed various means for checking individual Web services but has not come up with satisfactory solutions for testing systems that operate in service-based environments and, therefore, need realistic testbeds for evaluating their...
This paper presents a methodology to perform passive testing of behavioural conformance for the web services based on the security rule. The proposed methodology can be used either to check a trace (offline checking) or to runtime verification (online checking) with timing constraints, including future and past time. In order to perform this: firstly, we use the Nomad language to define the security...
Evolutionary testing has been researched and promising results have been presented. However, evolutionary testing has remained predominately a research-based activity not practiced within industry. Although attempts have been made, such as Daimler's Evolutionary Structural Test (EST) prototype, until now, no such tool has been suitable for industrial adoption. The European project EvoTest (IST-33472)...
Evolutionary Functional Testing (EFT) is a relatively recent approach to automating the testing process. The research presented in this paper aims at increasing the acceptability of EFT in industrial settings. An approach suitable for efficiently and effectively testing complex continuous control systems is introduced. The main focus is on generating realistic test stimuli, enabling interactivity...
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...
Representational state transfer (REST) is an architectural style that has received significant attention from software engineers for implementing web-services due to its simplicity and scalability. By definition, web-services are distributed, headless (lacking UI) and loosely coupled. This presents the implementers and testers of web-services withchallenges, which are different from those in testing...
Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test inputs, various automated techniques have been proposed. Some recent effective techniques include Dynamic Symbolic Execution (DSE) based on path exploration. However, these existing DSE techniques cannot generate high-covering test inputs...
A model-driven testing method for network management interface was proposed in order to minimize the impact of changeful test requirement and diverse interface technologies, improve the test efficiency as well as lower test cost. This method was founded on testing models including test case model and test scenario model, which can be transformed and constructed from platform-independent model (PIM)...
The development of process-aware information systems (PAISs) heavily relies on the notion of software configuration rather than classical software development approaches based on coding. To date, there is no accepted development strategy for the configuration of PAIS technology and construction of specific applications added to these systems tends to proceed on an ad-hoc basis rather than following...
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...
In this paper, a framework for test data generation from business specification is presented. This framework separates data definition from their implementation and enables user to define logic and manage test data in a structural way. Data generation logic can be maintained and reused in different test scenarios. Test data with different format will be generated to integrate with other test automation...
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...
Most current approaches to Web service discovery exploit description logic-based matchmaking algorithms. Until now, these Semantic Web Service technologies have not substituted for traditional search methods, because higher modeling costs, such as representing service annotation ontologies and domain ontologies, are required. In this paper, we present an automatic testing-based approach to the discovery...
By combining data-driven and keyword-driven technologies and using XML format to store testing data, this paper shows how to design and implement a GUI automated testing framework with strong reusability, expandability and robustness. The separation of scripts, data and business logic divides personnel into framework developers and testers. In this case, testers could concentrate on the design of...
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.