Code Coverage Analysis using High-Level Decision Diagrams

@article{Raik2008CodeCA,
  title={Code Coverage Analysis using High-Level Decision Diagrams},
  author={Jaan Raik and Uljana Reinsalu and Raimund Ubar and Maksim Jenihhin and Peeter Ellervee},
  journal={2008 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems},
  year={2008},
  pages={1-6}
}
The paper proposes a novel method of analyzing code coverage metrics on a system representation called high-level decision diagrams (HLDD). Previous works have shown that HLDDs are an efficient model for simulation and test pattern generation. Current paper presents a technique, where fast HLDD based simulation is extended to support seamless code coverage analysis. We show how classical code coverage metrics can be directly mapped to HLDD constructs. In addition, we introduce an observability… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Morawiec , Backtracing and Event - driven Techniques in High - level Simulation with Decision Diagrams

  • J. Raik R. Ubar, A.
  • Hardware Design Verification : Simulation and…
  • 2005

Maloney , Systematic Mistake Analysis of Digital Computer Programs

  • C. J. J. C. Miller
  • Design & Test of Computers
  • 2001