靳若明 金茂忠 郭斐菁 陈宗岳 刘超

随机测试 逻辑覆盖 最大执行时间 测试工具 软件工程 质量保证 测试策略 程序控制流程图 实时嵌入式软件 程序执行时间预估 失效模式 动态测试 插装技术 数据流分析 实时软件 测试方法 软件测试工具 软件测试 适应性随机测试 场景技术

北京航空航天大学计算机科学与工程系 北京航空航天大学软件工程研究所 计算机科学与技术系 北京航空航天大学