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.
Coverage analysis defines the tracing of a program by test cases. It also helps in the testing process by finding the areas of a program not exercised by a set of test cases. Introducing new test cases to increase coverage, and determine the quantitative measure of the code, which is an indirect measure of quality. Coverage analysis provides more benefit when applied to an application that makes a...
Software defects are usually detected by inspection, black-box testing or white-box testing. Current software defect mining work focuses on mining frequent patterns without distinguishing these different kinds of defects, and mining with respect to defect type can only give limited guidance on software development due to overly broad classification of defect type. In this paper, we present four kinds...
Path-sensitive analysis is an important feature of static program analysis that can assist to performance the software testing and ensure the software quality. Currently most analysis models are based on symbolic execution analysis. Our approach faces on some challenges like how to deal with the "path explosion" problem due to the number of paths growing exponentially with the number of...
In this paper, we address the problem of localizing faults by analyzing execution traces of successful and unsuccessful invocations of the application when run against a suite of tests. We present a new algorithm, based on a linear programming model, which is designed to be particularly effective for the case where multiple faults are present in the application under investigation. Through an extensive...
Test coverage is a promising measure of test effectiveness and development organizations are interested in cost-effective levels of coverage that provide sufficient fault removal with contained testing effort. We have conducted a multiple-case study on two dissimilar industrial software projects to investigate if test coverage reflects test effectiveness and to find the relationship between test effort...
Depth of Inheritance Tree (DIT) is supposed to be a factor influencing the cost of testing: test would be more expensive if DIT is large. A question is thus to know whether DIT can be used as a predictive metric to estimate the cost of testing. In this paper, we consider the cost of testing as the number of test cases required to achieve the branch coverage, which is a classical criterion for structural...
Visualization techniques have been widely used in representing software artifacts. They play a central role in conveying program information to software developers. While numerous tools have been developed to visualize information such as static software architectures, dynamic program behaviors, and debugging processes, little attention has been paid to visualizing correlations and variations among...
Path-oriented testing is an important aspect of software testing. A challenging problem with path-oriented test data generation is the existence of infeasible paths. Timely detecting these infeasible paths can not only save test sources but also improve test efficiency. It is an effective method to detect infeasible paths by branch correlations. In this paper, we propose a method to automatically...
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...
Limited resources preclude software engineers from finding and fixing all vulnerabilities in a software system. This limitation necessitates security risk management where security efforts are prioritized to the highest risk vulnerabilities that cause the most damage to the end user. We created a predictive model that identifies the software components that pose the highest security risk in order...
This paper presents a simple method for evaluating the effectiveness of testing strategies by using the relation between software reliability and software complexity. A wide range of metrics from the literature are being tested for their suitability in measuring changes in software complexity of software code at different levels of system partitioning. Reliability data from software tests and operational...
With the growing scale of software system, assuring software quality through automated testing becomes increasingly important. When automated testing is involved in software development, the uncertainty caused by automated test failures should not be ignored. Besides, the modification of tested software may introduce some potential faults and further invalidate some test scripts, which may lead to...
In order to remain effective, test suites have to co-evolve alongside the production system. As such, quantifying the amount of changes in test code should be a part of effort estimation models for maintenance activities. In this paper, we verify to which extent (i) production code size, (ii) coverage measurements; and (iii) testability metrics predict the size of test code changes between two releases...
The aim of this paper is to present a designed software platform for the processing of electrocardiographic (ECG) and breathing signals in order to study the correlation of respiration waveform time intervals with high frequency (HF) and low frequency (LF) powers of heart rate variability (HRV). The software was tested with signals from 5 minutes recordings, including respiration paces of 12, 9, and...
Knowing which particular characteristics of software are indicators for defects is very valuable for testers in order to allocate testing resources appropriately. In this paper, we present the results of an empirical study exploring the relationship between history characteristics of files and their defect count. We analyzed nine open source Java projects across different versions in order to answer...
Choosing the right test cases is an important task in software development due to high costs of software testing as well as the significance of software failures. Therefore, evaluating the quality of test techniques and test suites may help improving test results. Benchmarking has been successfully applied to various domains such as database performance. However, the difficulty in benchmarking test...
This paper investigates the adequacy of a general form of fitness function, based on a state-based specification, by characterizing the associated search problem and the dynamics of the applied metaheuristic. The measurement approach of the fitness landscape is experimented on various examples and suggests some tuning choices to be made for the metaheuristic considered.
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.