计算机科学 正确性 可靠性工程 可扩展性 软件工程 测试用例 自动化 测试管理方法 过程（计算） 基于模型的测试 一致性（知识库） 测试线束 验证和确认 手动测试 公制（单位） 实施 代码覆盖率 白盒测试 航空电子设备 钥匙（锁） 软件 迭代和增量开发 关键字驱动测试 可靠性（半导体） 非回归检验 场景测试 系统工程 形式验证 集成测试 验证器 文档 正式规范 模型检查 测试系统 数据挖掘 测试策略 软件验证 软件系统 样品（材料） 模型转换