The use of asserts in code has received increasing attention in the software engineering community in the past few years, even though it has been a recognized programming construct for many decades. A previous empirical study by Casalnuovo showed that methods containing asserts had fewer defects than those that did not. In this paper, we analyze the test classes of two industrial telecom Java systems to lend support to, or refute that finding. We also analyze the physical position of asserts in methods to determine if there is a relationship between assert placement and method defect-proneness. Finally, we explore the role of test method size and the relationship it has with asserts. In terms of the previous study by Casalnuovo, we found on...
Abstract. A common method to localize defects is to compare the coverage of passing and failing prog...
A good test suite is vital for minimising errors, and ensuring that software is easy to maintain. An...
Abstract. The knowledge of real software faults representativeness is important to allow the emulati...
Test suite effectiveness is measured by assessing the portion of faults that can be detected by tes...
The impact of developers' experience on several development practices has been widely investigated i...
Dynamically testing software that has been augmented with assertions increases the defect observabil...
Abstract. Software testability, the tendency for software to reveal its faults during testing, is an...
Test cases constitute around 30 % of the codebase of a num-ber of large software systems. Poor desig...
There is some evidence, that assertion techniques, i.e., preconditions, postconditions and invariant...
Assertions or more generally "Programming by contract" have gained widespread acceptance in th...
During the last decade formal verification has be-come very important not only in academia but also ...
Given the importance of identifier names and the value of naming conventions to program comprehensio...
textAs software systems are growing in complexity and size, reliability becomes a major concern. A l...
Abstract—Agile development methods have gained momentum in the last few years and, as a consequence,...
Code coverage is the dominant criterion in test suite reduction. Typically, most test-suite reductio...
Abstract. A common method to localize defects is to compare the coverage of passing and failing prog...
A good test suite is vital for minimising errors, and ensuring that software is easy to maintain. An...
Abstract. The knowledge of real software faults representativeness is important to allow the emulati...
Test suite effectiveness is measured by assessing the portion of faults that can be detected by tes...
The impact of developers' experience on several development practices has been widely investigated i...
Dynamically testing software that has been augmented with assertions increases the defect observabil...
Abstract. Software testability, the tendency for software to reveal its faults during testing, is an...
Test cases constitute around 30 % of the codebase of a num-ber of large software systems. Poor desig...
There is some evidence, that assertion techniques, i.e., preconditions, postconditions and invariant...
Assertions or more generally "Programming by contract" have gained widespread acceptance in th...
During the last decade formal verification has be-come very important not only in academia but also ...
Given the importance of identifier names and the value of naming conventions to program comprehensio...
textAs software systems are growing in complexity and size, reliability becomes a major concern. A l...
Abstract—Agile development methods have gained momentum in the last few years and, as a consequence,...
Code coverage is the dominant criterion in test suite reduction. Typically, most test-suite reductio...
Abstract. A common method to localize defects is to compare the coverage of passing and failing prog...
A good test suite is vital for minimising errors, and ensuring that software is easy to maintain. An...
Abstract. The knowledge of real software faults representativeness is important to allow the emulati...