基于极小碰集求解算法的测试向量集约简 |
| |
引用本文: | 欧阳丹彤,陈晓艳,叶靖,邓召勇,张立明.基于极小碰集求解算法的测试向量集约简[J].计算机研究与发展,2019,56(11). |
| |
作者姓名: | 欧阳丹彤 陈晓艳 叶靖 邓召勇 张立明 |
| |
作者单位: | 吉林大学计算机科学与技术学院 长春130012;符号计算与知识工程教育部重点实验室(吉林大学) 长春130012;吉林大学计算机科学与技术学院 长春130012;计算机体系结构国家重点实验室(中国科学院计算技术研究所) 北京100190;中国科学院计算技术研究所 北京100190 |
| |
基金项目: | 国家自然科学基金;国家自然科学基金;国家自然科学基金;国家自然科学基金;国家自然科学基金 |
| |
摘 要: |
|
关 键 词: | 电路测试 自动测试向量生成 测试向量集 约简 故障覆盖率 极小碰集 固定型故障 |
本文献已被 万方数据 等数据库收录! |
|