Generating Tests by Exploiting Designed Behavior
Abstract
One of the hardest problems in digital circuit design is test pattern generation for a complex device. This is difficult in part because it requires reasoning about how to control a device whose behavior can be extremely complex. Knowledge of the specific operations that the device was designed to perform can help solve this problem. The key observation is that a device's designed behavior is often far more limited than the device's potential behavior. This limitation translates into a reduction of the search necessary to achieve planning goals. We describe an implemented program based on this idea.
Cite
Text
Shirley. "Generating Tests by Exploiting Designed Behavior." AAAI Conference on Artificial Intelligence, 1986.Markdown
[Shirley. "Generating Tests by Exploiting Designed Behavior." AAAI Conference on Artificial Intelligence, 1986.](https://mlanthology.org/aaai/1986/shirley1986aaai-generating/)BibTeX
@inproceedings{shirley1986aaai-generating,
title = {{Generating Tests by Exploiting Designed Behavior}},
author = {Shirley, Mark Harper},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1986},
pages = {884-890},
url = {https://mlanthology.org/aaai/1986/shirley1986aaai-generating/}
}