Jump to content

Automated coverage feedback

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by DanCherek (talk | contribs) at 21:18, 17 June 2021 (Attribution: text was copied from Intelligent verification on June 17, 2021. Please see the history of that page for full attribution.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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

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