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.
To reduce loss from software defects, in the past decades, a number of software engineering researchers have proposed many software defect prediction techniques, which mainly focus on predicting the defect prone software modules, source code files, or code changes. Prior research have identified software design has significant impacts on software quality, especially the bad designs, e.g., anti-patterns,...
In order to improve the effectiveness of fault localization, various test suite reduction techniques have been proposed. However, excessive or improper reduction of test cases may lose some testing information, thus causing a negative impact on fault localization. In this paper, we propose a new similarity-based test suite reduction approach to improving spectrum-based fault localization. Firstly,...
Up to 80% of the automotive software can be generated from models. MATLAB Simulink is a common tool for creation of complex combinations of block diagrams and state machines, automated generation of executable code, and its deployment on a target ECU. The automotive safety standards require extensive testing of the developed models. Regression testing should be undertaken every time a model is updated...
Context: As software evolves, the test suite tends to grow, regression testing has become prohibitively expensive. Test suite minimization is one of the most important approaches for reducing test cost. The process of test suite minimization is a trade-off between cost and other value criteria and is appropriate to be described as a many-objective optimization problem. Objective: To identify the most...
Spectrum-based fault localization (SFL) is amongst the most promising methods. To further improve the effectiveness of traditional SFL methods, a novel approach is proposed in this paper for software fault localization by incorporating a failed execution slice (FES). The proposed method first calculates the suspiciousness scores of statements in the program under test using existing risk evaluation...
Many fault localization approaches such as spectrum based fault localization(SBFL) generated a fault localization report based on which the programmer identifies the faults from corrected program entities. Unfortunately, the bug identification is quite tedious due to lack of sufficient context information. Furthermore, in the process of continuous searching for errors, the programmer's previous judgment...
A counterexample generated by a model checker, such as Maude LTL model checker, consists of a sequence s0;...;sm of states and a loop (sm+1;...;sn)∞ of states such that sm+1 is a successor state of sm and sn. A counterexample generated by the Maude LTL model checker is not necessarily the shortest one. The shorter a counterexample, the easier it is to comprehend thecounterexample. Therefore,...
Quality model is regarded as a well-accepted approach for assessing, managing and improving software product quality. There are three categories of quality models for software products, i.e., definition model, assessment model, and prediction model. Quality assessment model (QAM) is a metric-based approach to assess the software quality. It is typically regarded as of high importance for its clear...
After studying the node degree distribution and average path length of the kernel module call graphs of 223 Linux kernels (V1.1.0 to V2.4.35), we have found that the call graphs of the file system, drivers, kernel, and memory management modules are scale-free small-world complex networks that exhibit strong clustering tendency. Using the random error case and attack case methods, we investigated the...
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.