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.
Software testing process is an important factor affecting the quality of software testing, which plays an important role in the entire software development life cycle. In order to achieve a precise result of testing, different software testing process model will be chosen in different software development process for testing. Traditional testing process model will be chosen in traditional software...
In this paper, we present a series of methods to improve testing efficiency especially for regression testing from a novel view, namely dynamic analysis of test cases suitable for class testing in object-oriented systems. We mine static call graphs and dynamic call trees to represent the static features and dynamic tests of the program. By graph analysis, we present a series of methods and testing...
Regression testing is the type of software testing that seeks to uncover new software bugs in existing areas of a system after changes have been made to them. The significance of regression testing have grown in the past decade with the amplified adoption of agile development methodologies, which requires the execution of regression testing at the end of each release. In this paper, we present an...
Extended finite state machines (EFSM) models are currently widely utilized to model embedded and control systems. Thus, there are recent upsurge studies to generate test data from EFSM models (EFSM-based testing). Applying metaheuristic search-based techniques (MHSBT) for automating the process of test case generation from EFSM models has become a proliferated field of interest during the last decade...
Software testing is an essential activity in software development process that has been widely used as a means of achieving software reliability and quality. Software practitioners rely on test coverage to decide whether software under test has achieved an acceptable level of reliability and can be released. The researchers in the field of software testing focus on defining meaningful test coverage...
Software testing laboratory is a professional software evaluation organization of university or state institution. Through the analysis and study of the characteristics of software testing process, we intend to customize a model of software testing process quality measurement which is applicable to the software testing laboratory. The model describes seven characteristics namely compliance of process,...
Software Engineers waste a lot of their time in the process of software testing. It also has been seen in the industries that a lot of money is depleting on the software process. In software testing process we apply test cases as input and check for final output. So our first concern is to choose the appropriate test cases for the software testing process. To give the correct output, it is very difficult...
The continuous increase of software complexity is one of the major problems associated with the development of today's complex technical systems. In particular, for safety-critical systems, which usually require to be thoroughly verified and validated, managing such a complexity is of high importance. To this end, industry is utilizing Model-Driven Development (MDD) in many aspects of systems engineering,...
Competition in the automotive industry is intense, and successful companies must constantly innovate by introducing new technology to differentiate and improve their brands. As a result, today's vehicles have evolved from a mechanical device into an integrated machine with embedded software powering performance in all major systems including: engine control, power train, suspension, braking, and entertainment.
Modified Condition/Decision Coverage (MC/DC) is a structural coverage criterion that aims to prove that all conditions involved in a Boolean expression can influence the result of that expression. In the context of aeronautic and automotive, MC/DC is highly recommended and even required for most critical applications structural coverage. However, due to complex Boolean expressions that are often embedded...
A comprehensive automated testing suite has been touted for years as an integral part of a software program's overall quality assurance strategy. One particular classification of tests - functional tests for web applications - is frequently automated, perhaps being the centerpiece of automated testing efforts. However, the build-out of an automated testing suite is expensive, requiring specialized...
Software testing is one of the expensive and time consuming processes and many studies have been conducted to facilitate and perform it automatically. One of the most important topics in software testing is developing the test path to generat test data and coverage of the generated path. Optimization methods can be used to solve the problem of path testing. Heuristic search methods especially evolutionary...
This paper proposes a modeling approach based on software correlated defects -- error propagation slicing (EPS). EPS, describing the way error propagates in software, detects potential defects which are hard to be detected by traditional approaches and strategies. To begin with, software testing method in this paper will inject cultivated seed of defects, and its potential defects. Test cases of the...
This paper proposes a method to generate program graph and DD-paths automatically. Firstly, this method makes static analysis on the structured program to get the defining and using information of the variables and the structure of the program. Secondly, it draws the program graph. Thirdly, it generates the DD-paths set of each variable. Based on this method, software tester can generate DD-path automatically...
Software testing is a relevant activity to provide evidencies of the quality of software products. However, few courses in the computing area provide an adequate body of knowledge to the students and few of them pursue the software development practices and activities related to VV&T (Verification, Validation, and Testing), specifically testing, leading to a recognized lack of professionals that...
One problem of testing software is selecting the suitable test cases from the test suit regarding the size of the programs. If the size of selected test cases is big, then it can affect the whole performance of software development life cycle. Accordingly, it increases testing time and produce many bugs. Therefore, this paper proposes the improvement of software testing for selecting the appropriate...
Category Partition (CP) [1] is a black box testing technique which is used to formalize the specification of the input domain. The process which relies on the expertise of the tester begins by identifying the parameters and environment variables on the basis of function's behaviour. The characteristics/categories of these parameters/environment variables are identified and partitioned into choices...
We develop a statistical test to assess correctness of a numerical algorithm implementation. We propose a Monte Carlo method to estimate the accuracy of an approximation algorithm without knowing a true value to be computed. The methodology is illustrated on computation of partial volumes in breast tissue simulation.
Mutation analysis is a testing strategy that consists of using supporting tools to seed artificial faults in the original code of a software under test, generating faulty programs (“mutants”) that are supposed to produce incorrect outputs. Novice programmers suffer of a wide range of deficits due to defective training processes. We argue that the incorporation of experiences on mutation testing in...
A memory leakage is a programming bug left by the programmer wherein an object which is no longer needed has not been dereferenced in the code. Programming languages like Java provide Garbage Collection mechanism which automatically reclaims memory occupied by objects which are no longer referenced and thus are no longer accessible by the application code. However memory leaks are not garbage collected...
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.