Jump to content

Automated coverage feedback

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Mechachleopteryx (talk | contribs) at 02:42, 17 June 2021 (Created page with '{{Short description|electronic design automation verification technique}} '''Automated coverage feedback''' is feature that the first generation of intelligen...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Automated coverage feedback is feature that the first generation of intelligent verification tools used to optimize the regression testing process.[1]

With automated coverage feedback, the test description is [[Hyperparameter optimization|automatically adjusted] to target design functionality that has not been previously verified (or "covered") by other tests existing tests.

A key property of automated coverage feedback is that, given the same test environment, the software will automatically change the tests to improve functional design coverage in response to changes in the design.

See also

External resources

Machine Learning Techniques for Improving the Performance Metrics of Functional Verification https://www.romjist.ro/full-texts/paper682.pdf

References

  1. ^ Automating Regression Verification https://formal.iti.kit.edu/~klebanov/pubs/ase2014.pdf