article · 2011

Code Coverage- Extended Version

Dries Vanoverberghe, Jonathan De Halleux, Nikolai Tillmann, Frank Piessens, Dries Vanoverberghe, Jonathan De Halleux, Nikolai Tillmann, Frank Piessens, Dries Vanoverberghe, Jonathan De Halleux, Nikolai Tillmann, Frank Piessens

Cited by 0Abstract and details only

Abstract

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. Unfortunately, code coverage does not measure to what extent the test suite checks the intended functionality. We propose state coverage, a metric that measures the ratio of state updates that are read by assertions with respect to the total number of state updates, and we present efficient algorithms to measure state coverage. Like code coverage, state coverage is simple to understand and we show that it is effective to measure and easy to aggregate. During a preliminary evaluation on several open-source libraries, state coverage helped to identify multiple unchecked properties and detect several bugs. State Coverage: Software validation metrics beyond

Cite this paper

APA 7

Vanoverberghe, D., De Halleux, J., Tillmann, N., Piessens, F., Vanoverberghe, D., De Halleux, J., Tillmann, N., Piessens, F., Vanoverberghe, D., De Halleux, J., Tillmann, N., & Piessens, F. (2011). Code Coverage- Extended Version.

MLA 9

Vanoverberghe, Dries, et al. “Code Coverage- Extended Version.” 2011.

Chicago

Vanoverberghe, Dries, Jonathan De Halleux, Nikolai Tillmann, Frank Piessens, Dries Vanoverberghe, Jonathan De Halleux, Nikolai Tillmann, et al. 2011. “Code Coverage- Extended Version.”

Harvard

Vanoverberghe, D. et al. (2011) ‘Code Coverage- Extended Version’.

BibTeX

@article{vanoverberghe2011code,
  title = {{Code Coverage- Extended Version}},
  author = {Vanoverberghe, Dries and De Halleux, Jonathan and Tillmann, Nikolai and Piessens, Frank and Vanoverberghe, Dries and De Halleux, Jonathan and Tillmann, Nikolai and Piessens, Frank and Vanoverberghe, Dries and De Halleux, Jonathan and Tillmann, Nikolai and Piessens, Frank},
  year = {2011}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.