您的位置： 专家智库 > >

王澎

作品数：4 被引量：8H指数：2
供职机构：华中科技大学计算机科学与技术学院更多>>
发文基金：国防科技技术预先研究基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 3篇软件测试
  • 3篇面向对象
  • 1篇单调性
  • 1篇语言
  • 1篇软件集成测试
  • 1篇数据挖掘
  • 1篇说明语言
  • 1篇面向对象编程
  • 1篇面向对象测试
  • 1篇面向对象软件
  • 1篇面向对象软件...
  • 1篇规约
  • 1篇编程
  • 1篇测试技术

机构

  • 4篇华中科技大学

作者

  • 4篇王澎
  • 3篇卢炎生
  • 2篇杨峰
  • 2篇张蕊

传媒

  • 3篇华中科技大学...

年份

  • 4篇2003
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于活动对象的面向对象测试策略研究被引量：5
2003年
提出基于活动对象的面向对象测试策略 ,给出三种覆盖标准 ,用以处理由面向对象新特性带来的问题 .其中 ,所有定义 使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例 ;所有绑定覆盖标准主要用于解决继承和多态问题 ,以及执行了哪个绑定 ;
卢炎生王澎杨峰张蕊
关键词：面向对象测试面向对象编程软件测试
一种交互式可约束的最小关联规则集挖掘算法被引量：3
2003年
给出三类约束 ,并讨论了约束的反单调性 ,实现了一种交互式的可约束的最小关联规则集挖掘算法 。
卢炎生张蕊王澎
关键词：数据挖掘
面向对象软件集成测试策略研究
传统的测试技术很少考虑由封装、继承、多态和动态绑定等面向对象新特性所带来的面向对象的错误.面向对象软件测试是在过程式软件测试的基础上引入面向对象程序的新特性而形成的测试技术.面向对象软件的集成测试主要是通过测试发现和接口...
王澎
关键词：软件测试测试技术
文献传递
基于规约说明语言的面向对象软件测试
2003年
提出了一种测试面向对象程序的框架模型 .用Object Z语言描述面向对象程序的形式化规约 .从形式化规约说明中可以推导出的面向对象程序的状态转换图 ,状态图可以表示面向对象程序的动态行为 ,并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集 .最后给出了验证一个方法调用序列正确性的方法 .
卢炎生杨峰王澎
关键词：软件测试面向对象
全选 清除 导出
共1页<1>
聚类工具0