Abstract
Although there are quite a few approaches to Coverage Directed test Generation aided by Machine Learning which have been applied successfully to small and medium size digital designs, it is not clear how they would scale on more elaborate industrial-level designs. This paper evaluates one of these techniques, called MicroGP, on a fully fledged industrial design. The results indicate relative success evidenced by a good level of code coverage achieved with reasonably compact tests when compared to traditional test generation approaches. However, there is scope for improvement especially with respect to the diversity of the tests evolved.
Translated title of the contribution | Feedback-based Coverage Directed Test Generation: An industrial evaluation |
---|---|
Original language | English |
Title of host publication | Hardware and Software: Verification and Testing |
Subtitle of host publication | 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers |
Editors | Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz |
Publisher | Springer |
Pages | 112-128 |
Number of pages | 27 |
ISBN (Electronic) | 9783642195839 |
ISBN (Print) | 9783642195822 |
DOIs | |
Publication status | Published - 2011 |
Event | 6th Haifa Verification Conference (HVC) - Haifa, Israel Duration: 1 Oct 2010 → … |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Berlin Heidelberg |
Volume | 6504 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 6th Haifa Verification Conference (HVC) |
---|---|
Country/Territory | Israel |
City | Haifa |
Period | 1/10/10 → … |
Bibliographical note
Other page information: tbc-Conference Proceedings/Title of Journal: HVC 2010
Other identifier: 2001285
Rose publication type: Conference contribution
Additional information: Author's own version of a paper published by Springer. The original publication is available at www.springerlink.com
Sponsorship: EPSRC
Contributor (Other): IBM Research Labs, Israel
ISSN: 03029743 (print), 16113349 (online)
Keywords
- microprocessor verification
- MicroGP
- genetic programming
- Coverage Directed test Generation