王泉 余金山 王洪亚 王轶辰 黄晖 徐虹 黎定军 张丽凤

控制理论 故障模型 完整性 鲁棒性 边界值测试 软件体系结构描述语言 运行剖面 oracle问题

软件质量 面向对象 软件可靠性 软件工程 嵌入式软件

静态分析 测试覆盖率 测试用例 测试用例生成 测试策略 事件约束 测试环境 测试数据