徐家福 白赣洪 火清宁 金凌紫 朱鸿 郑国梁

测试用例 软件需求测试 一致性和完备性的自动检查 情形实例驱动 测试充分性准则 活动序列描述 任务分析 需求模型

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