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

随机测试 逻辑覆盖 最大执行时间 测试工具 软件工程 质量保证 测试策略 程序控制流程图

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