程进军 王磊 汪东升 王琳 夏锐 卢炎生 陈伟明 姚文斌 濮方琍 肖明清 朱小平 郭松柳 谢化勇

层次化验证 测试程序 并行调度策略 并行程序 蚁群算法 自动测试系统 测试策略 Concolic测试 存储系统测试 任务优先级 可重构测试接口适配器 最优调度 动态切片 软件测试 并行Java程序 可达性测试 实现方式 顺序测试 多核 资源配置 片上多处理器 测试成本 系统架构