周航 顾逸东 祝庚 庄国强 聂长海 黄志球 朱义毅 易云辉 梁陈良 张峻 朱彬 汪闰六 张广泉 文俊浩 杨厚群 尚景亮 曾劲涛 童頫 张涛 杨振华 韩峰岩 王昕 朱关铭 陈建明 覃征 段振华 金义富 马海云 黄亮 王晓华

软件测试 评价函数 组件 线性规划 统一建模语言 安全策略模型 信息安全产品测评 谓词 操作剖面 聚类 事件迁移图 失效追踪 公理化评估 多态性 Z 软件测试 对象约束语言 参数约束 类型划分 复合执行剖面 测试集 时序图 形式规格说明 UML协作图 测试 全对偶算法 UML状态图 QTP 集成测试 被测系统

软件测试