Modified condition/decision coverage is a structural coverage criterion requiring that each condition within a decision is shown by execution to independently and correctly affect the outcome of the decision. This criterion was developed to help meet the need for extensive testing of complex Boolean expressions in safety-critical applications. The paper describes the modified condition/decision...

1) Introduction. a) Information and meanings are present everywhere around us as well as within ourselves. b) Specific studies have been implemented in order to link information and meaning: Semiotics, Biosemiotics. Analytic Philosophy, Linguistics, Phenomenology. Psychology. c) No general coverage is available for the notion of meaning. d) We propose to fill this lack by a systemic approach to...

We consider the construction of set estimators that possess both Bayesian credibility and frequentist coverage properties. We show that under mild regularity conditions there exists a prior distribution that induces (1 − α) frequentist coverage of a (1 − α) credible set. In contrast to the previous literature, this result does not rely on asymptotic normality or invariance, so it can be applied...

Code-coverage-based testing is a widely-used testing strategy with the aim of providing a meaningful decision criterion for the adequacy of a test suite. Code-coverage-based testing is also mandated for the development of safety-critical applications, for example, the DO178b document requires the application of the modified condition/decision coverage (MCDC). One critical issue of code-coverage...

Code-coverage-based testing is a widely-used testing strategy with the aim of providing a meaningful decision criterion for the adequacy of a test suite. Code-coverage-based testing is also used for the development of safety-critical applications, as the modified condition/decision coverage (MCDC) is proposed by the DO178b document. One critical issue of code-coverage testing is that they are t...

Code coverage is one of the most important aspects of software testing, which helps software engineers to understand which portion of code has been executed using a given test suite throughout the software testing process. Automatic testing tools are widely utilized to provide testing coverage metrics in order to gauge the quality of software, but these tools may have some shortcomings such as ...

Branch testing, for example, seeks to cover all branches in a piece of code, but when it is performed, as well as branches, other program elements, such as statements or puses, will necessarily be covered. The contemporaneous coverage of these other elements is referred to as “collateral coverage”. An understanding of the extent of the collateral coverage of the various program elements that is...