您的位置: 专家智库 > >

郑学军

作品数:3 被引量:5H指数:2
供职机构:复旦大学计算机科学技术学院更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 2篇面向对象
  • 1篇代码
  • 1篇对象数据库
  • 1篇有限状态机
  • 1篇有限状态机模...
  • 1篇数据库
  • 1篇通信
  • 1篇通信协议
  • 1篇状态机
  • 1篇状态机模型
  • 1篇面向对象数据...
  • 1篇类测试
  • 1篇类层次
  • 1篇测试用例
  • 1篇测试用例选择
  • 1篇程序代码

机构

  • 3篇复旦大学

作者

  • 3篇郑学军
  • 3篇王春森

传媒

  • 1篇计算机应用与...
  • 1篇计算机工程与...
  • 1篇计算机科学

年份

  • 1篇1997
  • 2篇1996
3 条 记 录,以下是 1-3
排序方式:
基于非确定有限状态机模型的测试用例选择
1996年
在异构型系统中相互作用的正确性是通过一致性测试来保证的,自从协议工程领域出现以来,通信协议的一致性测试一直是人们研究的一个课题。
郑学军王春森
关键词:通信协议有限状态机模型
基于面向对象程序代码的类测试技术被引量:3
1996年
面向对象软件的基本测试单元是类,文中提出了用一种基于代码的测试技术——数据流测试来全面地测试类。对类测试分为3级:单个成员函数的测试;公有成员函数的测试;公有成员函数间接口的测试。大多数现有的数据流测试可以对前两级进行测试,作者利用改进的数据流测试来测试第3级,通过构造类控制流图来计算数据流信息。这种技术即使在无规格说明的情况下也可以决定类中成员函数间消息传递的次序,根据这种次序来测试类。
郑学军王春森
关键词:程序代码类测试面向对象
面向对象数据库中的模糊类层次建模被引量:2
1997年
本文提出了一种建立面向对象数据库中模糊类层次模型的方法。利用属性与类的相关和对象与类间的语义距离来建立对象与类的关系;利用属性与类的相关和类与子类间的语义距离来建立类与子类的关系。同时,讨论了模糊类层次中多重继承的问题。这种模型扩充了现有的面向对象数据模型,并与其兼容。
郑学军王春森
关键词:面向对象数据库类层次
共1页<1>
聚类工具0