陈怡海 许庆国 童頫 刘静 刘玲 曹晓夏 唐新香 文志诚 王娜 邵书滨 费立志 高晓雷 岳香芬 刘辉 李刚 马发俊 陈中育 方明科 胡芸 朱彬 朱义毅 曾红卫 占学德 冯学勇 沈俊 王毅俊 朱江 沈毅

模型检查 软件体系结构 语法制导 模型抽取 场景规约 求精 不变式 ZSL 遗传算法 有限状态机 验证 集成测试 一致性测试 构件模型 信息咨询 形式方法 测试规格说明 数据抽取 构件行为 构建组装 MaDUM矩阵 WWW 证明责任 程序性质 可达性分析 FREE模型 链接提取 协议 基于规格说明的测试 形式化规格说明

上海大学计算机工程与科学学院 上海市计算机软件评测重点实验室 信阳师范学院计算机与信息技术学院