自动测试模式生成 计算机科学 算法 启发式 补语（音乐） 启发式 测试压缩 时序逻辑 可满足性 布尔可满足性问题 钥匙（锁） 解算器 可满足模理论 传递闭包 并行计算 理论计算机科学 计算机工程 缩小 测试用例 代码覆盖率 瓶颈 逻辑综合 考试（生物学） 测试设计 一般化 电子设计自动化 随机测试 布尔电路 组合逻辑 集成电路 电路复杂度 水准点（测量） 故障覆盖率 部分评估