We introduce a family of coverage criteria, called Multi-Point Stride Coverage (MPSC). MPSC generalizes branch coverage to coverage of tuples of branches taken from the execution sequence of a program. We investigate its potential as a replacement for dataflow coverage, such as def-use coverage. We find that programs can be instrumented for MPSC easily, that the instrumentation usually incurs less overhead than that for def-use coverage, and that MPSC is comparable in usefulness to def-use in predicting test suite effectiveness. We also find that the space required to collect MPSC can be predicted from the number of branches in the program.

No abstract

Software testability refers to the characteristics of an artifact that impact ease to ful ll test objectives. In most of the research on software testability, functional correct-ness of the software has been the focus while the evidence regarding testability and non-functional properties such as performance is sporadic. The objective of this study is to present the current state-of-the-art related to issues of importance, types and domains of software under test, types of research, contribution types and design evaluation methods concerning testability and software performance. We have conducted a systematic mapping study on the topic by following the recommended guidelines. We nd that observability, controllability and testing e ort are the main testability issues while timeliness and response time (i.e., time constraints) are the main performance issues in focus. The primary studies in the area use diverse types of software un-der test within di erent domains, with real-time systems as being a dominant domain. The researchers have proposed many di erent methods in the area, however these methods lack implementation in practice as suggested by our gures for research type, contribution type and design evaluation methods. CCS ConceptsSoftware and its engineering ! Extra-functional prop-erties;

No abstract