Code coverage metric is considered as the most important metric used in analysis of software projects for testing. Code coverage analysis also helps in the testing process by finding areas of a program not exercised by a set of test cases, creating additional test cases to increase coverage, and determine the quantitative measure of the code, which is an indirect measure of quality. There are a...

We consider the standard Neyman-Pearson hypothesis test of a signal-plus-background hypothesis and background-only hypothesis in the presence of uncertainty on the background-only prediction. Surprisingly, this problem has not been addressed in the recent conferences on statistical techniques in high-energy physics – although the its confidence-interval equivalent has been. We discuss the issue...

Currently, testing is still the most important approach to reduce the amount of software defects. Software quality metrics help to prioritize where additional testing is necessary by measuring the quality of the code. Most approaches to estimate whether some unit of code is sufficiently tested are based on code coverage, which measures what code fragments are exercised by the test suite. Unfort...

Wireless sensor networks can be used to monitor the interested region by multi-hop communication. Coverage is a primary metric to evaluate the capacity of monitoring. In this paper, we focus on the coverage issue under border effects, where the sensor nodes are distributed in a circle-shaped region randomly. Under this scenario, the expected coverage of the sensor node and the total network cov...

We address the problem of repeated coverage of a target area, of any polygonal shape, by a team of robots having a limited visual range. Three distributed Clusterbased algorithms, and a method called Cyclic Coverage are introduced for the problem. The goal is to evaluate the performance of the repeated coverage algorithms under the effects of the variables: Environment Representation, and the R...

This paper presetits a method for automatically generating test cases to structural coverage criteria. We show how a niodel checker can be used to autoniutically generate complete test sequetices that will provide a predefined coverage of uti? soffivare developnietit artifact that can be represented as a ffiriitr state niodel. Our goal is to help reduce the high cost of developitig test cases f...

We calculate with Monte Carlo the goodness of fit and the confidence level of the standard allowed regions for the neutrino oscillation parameters obtained from the fit of the total rates measured in solar neutrino experiments. We show that they are significantly overestimated in the standard method. We also calculate exact allowed regions with correct frequentist coverage. We show that the exa...

Recent experiments in high-energy physics have sparked interest in problems where a parameter is restricted to a portion of its natural range—for example, a positive normal mean or a Poisson mean that is known to exceed some background level. A recent article has shown that the Bayesian credible intervals that arise when the parameter is given a uniform distribution over the restricted range ha...