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.
Numerical instability is a well-known problem that may cause serious runtime failures. This paper discusses the reason of instability in software development process, and presents a toolchain that not only detects the potential instability in software, but also diagnoses the reason for such instability. We classify the reason of instability into two categories. When it is introduced by software requirements,...
The current software testing in the aspects of industrial benefits gradually causes the attention of the domestic financial bank. The innovation of software technology, the increase of software scale and the shortened developing period make the traditional manual testing meeting enormous challenges, while the development of automated testing technology has promoted the progress of the software testing...
Virtual machines have become very widely used in many software development communities. Developers can conveniently provision specific machine configurations using VMs, and those VMs can contain operating systems, libraries, and other applications required to build and execute their software under development. However, the size of full VM images and network bandwidth limitations makes large-scale...
Software testing is one of the essential parts of the software development life cycle. In software industry, the testing cost can be approximately 50% of the total cost of a software project so efficient ways of testing software are crucially important in reducing costs, time and effort. There are two major methods of software testing; black-box testing (focuses only what the software can do) and...
A complete browser-based software is need to develop a separate complicated script or some scripts with existing automation testing tools. The paper proposed a regression test automation framework to implement automation test without script development during the test development. The form, data and control spreadsheet should be defined by test developer. The test automation framework provided a series...
Combinatorial test design model consists of parameters, values and the associated constraints. This model is the input for test generators. In this paper we present a rule based approach for deriving combinatorial test design model from UML activity diagrams resulting from requirement analysis. We have explored this approach on few sample cases. Our initial results suggest that this automated approach...
In order to improve the quality and the efficiency of software testing, software automation test has been put to use widely during the software testing. This paper discusses the application of testing tools in software test automation, with the Robot Framework automation test analysis.
Automatic generation of test cases is an integral part of the software automation testing system. This paper has designed a test case auto-generation model, this model can generate test cases based on knowledge such as rules, case studies, etc. Finally, this paper even conducts a discussion on the test case adequacy by the application of decision table.
Aspect-oriented programming (AOP) is a technology that aims to tackle software modularisation problems. Despite the benefits that may be achieved with AOP, its mechanisms represent new potential source of faults that should be handled during the test phase. In this paper a structural integration testing approach for Object-Oriented (OO) and Aspect-Oriented (AO) programs with a configurable integration...
Over the past 25 years the Brazilian Symposium on Software Engineering (SBES) has evolved to become the most important event on software engineering in Brazil. Throughout these years, SBES has gathered a large body of studies in software testing. Aimed at providing an insightful understanding of what has already been published in such event, we synthesized its rich 25-year history of research on software...
The York Extensible Testing Infrastructure (YETI) is an automated random testing tool that allows to test programs written in various programming languages. While YETI is one of the fastest random testing tools with over a million method calls per minute on fast code, testing large programs or slow code -- such as libraries using intensively the memory -- might benefit from parallel executions of...
Testing is a challenging activity for many software engineering projects, especially for large-scale systems. The amount of tests cases can range from a few hundred to several thousands, requiring significant computing resources and lengthy execution times. Cloud computing offers the potential to address both of these issues: it offers resources such as virtualized hardware, effectively unlimited...
Test design is the key of software testing. In order to improve utilization of test suite effectively, a reasonable and flexible architecture should be introduced to collaborate, manage and utilize the abundant test suite library in software test practice. This paper puts forward a novel software test suite, which uses a formal language definition. In the paper, a test suite design framework, which...
How to measure reuse capability of a test case is critical in software test reuse research. A dynamic method based on Bayesian network is proposed for measure the reuse of test case. It collects the information of user's searching and reusing test cases, and then analysis the test case's reuse capability which give basis for consulting to users. The prominent characteristic of this method is that...
Vulnerabilities in applications and their widespread exploitation through successful attacks are common these days. Testing applications for preventing vulnerabilities is an important step to address this issue. In recent years, a number of security testing approaches have been proposed. However, there is no comparative study of these work that might help security practitioners select an appropriate...
We are developing and extending the CMake family of software development tools (www.cmake.org) for use in the Mobile Network Institute and the Multi-Scale Reactive Modeling Institute. These tools are used to build, test, and package C/C++ and FORTRAN software in a cross platform manner. By using CMake, a software project can be built just as easily on a Windows PC as on a Cray XT5 super computer....
In order to improve the reusability for the software testing automation procedures, at the same time support the program test for Linux, keyword-driven distributed test automation framework (LKDT) is proposed in this paper, which is based on the analyze of the recent automated testing frameworks and combined with the actual project practice for software testing automation. This paper presents the...
The usual way to compare testing strategies, whether theoretically or empirically, is to compare the number of faults they detect. To ascertain definitely that a testing strategy is better than another, this is a rather coarse criterion: shouldn't the nature of faults matter as well as their number? The empirical study reported here confirms this conjecture. An analysis of faults detected in Eiffel...
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...
Model-based testing of state based systems is known to be able to spot non-conformance issues. However, up to half of these issues appear to be errors in the model rather than in the system under test. Errors in the specification at least hamper the prompt delivery of the software, so it is worth while to invest in the quality of the specification. Worse, errors in the specification that are also...
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.