One key step in the development of safety-critical applications is the assessment of the quality of the verification strategy. In practice, structural coverage is the methodology used to ascertain the testing campaign well satisfy a given quality criteria. In this paper, we describe the possible strategies to measure structural coverage in a DO-178B context. After evaluating state-ofthe-art app...

This paper deals with the verification of efficiency of the novel on-chip OBIST (Oscillation Built-In Self Test) strategy by comparison the fault coverage in selected types of active analog integrated filters. Fault coverage obtained by OBIST approach was compared to fault coverage results obtained by the measurement and evaluation of filters’ selected parameters.

We present a sampling-based algorithm that generates a set of locally-optimal paths that differ in visibility.

A fault-based multifrequency test generation and fault diagnosis procedure is proposed in this work. The procedure selects a minimal set of test measures and generates the minimal set of frequency tests which guarantee maximum fault coverage and maximal diagnosis of circuit AC hard/soft faults. The procedure is exempli ed for several self-testable linear analog circuits.

As the complexity of circuit designs grows, designers look toward formal veri cation to achieve better test coverage for validating complex designs. However, this approach is inherently computationally intensive, and hence, only small designs can be veri ed using this method. To achieve better performance, model abstraction is necessary. Model abstraction reduces the number of states necessary ...

this article discusses what ethicists have called “unacceptable trade-offs” in health policy choices related to universal health coverage (uhc). since the fiscal space is constrained, trade-offs need to be made. but some trade-offs are unacceptable on the path to universal coverage. unacceptable choices include, among other examples from low-income countries, to expand coverage for services wit...

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 ...

reducing test suite size without compromising the suite’s effectiveness in performing regression testing. This article presents a hybrid technique using the variable-based method that combines both selection and prioritization. It considers source code changes and coverage information with respect to each test case. Variables are the vital source of changes in the program, and this method captu...