基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
面向对象的软件开发给测试带来了新的挑战.类级测试是面向对象测试过程中的一个重要阶段.本文研究了基于代数规格说明的面向对象类测试方法,构造了一个半自动化的测试框架.公理系统是代数规格说明中的最重要部分,该框架主要基于CLA算法来完成代数规格说明中公理系统的设计和实现,采用GNF方案实现面向对象类级测试中范式半自动化辅助生成工具的设计和实现,最后在此基础上,将GFT算法实现为半自动化辅助工具.
推荐文章
面向对象的类的状态测试技术研究
类的状态测试
状态模式
状态转移图
EFSM
UML
一种基于状态的面向对象类测试策略
统一建模语言状态图
扩展有限状态机
验证和确认
类测试
面向对象软件的回归测试策略研究
面向对象
软件测试
测试策略
回归测试
基于面向对象的软件测试技术研究
面向对象
软件测试
类测试
测试用例
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 面向对象类测试方法研究
来源期刊 华东交通大学学报 学科 工学
关键词 面向对象测试 代数规格说明 测试用例 公理系统
年,卷(期) 2009,(4) 所属期刊栏目 电子电气与计算机科学
研究方向 页码范围 82-86,99
页数 6页 分类号 TP311.5
字数 4178字 语种 中文
DOI 10.3969/j.issn.1005-0523.2009.04.017
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 汤文亮 华东交通大学软件学院 48 248 9.0 13.0
2 赵丽萍 华东交通大学软件学院 11 38 4.0 6.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (4)
共引文献  (2)
参考文献  (4)
节点文献
引证文献  (15)
同被引文献  (0)
二级引证文献  (0)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(2)
  • 参考文献(0)
  • 二级参考文献(2)
2001(2)
  • 参考文献(1)
  • 二级参考文献(1)
2004(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(11)
  • 引证文献(11)
  • 二级引证文献(0)
2015(2)
  • 引证文献(2)
  • 二级引证文献(0)
研究主题发展历程
节点文献
面向对象测试
代数规格说明
测试用例
公理系统
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
华东交通大学学报
双月刊
1005-0523
36-1035/U
大16开
中国南昌
1984
chi
出版文献量(篇)
3963
总下载数(次)
12
论文1v1指导