白赣洪 郑国梁 金凌紫 徐家福 张朝良 朱鸿

活动序列描述 模型自动综合 情形实例驱动 测试充分性准则 任务分析 需求模型 软件需求分析 测试用例

南京大学计 南京大学计算机软件研究所 南京大学计算机软件研究所软件新技术国家重...