基于规约说明语言的面向对象软件测试

• 作者: 卢炎生 杨峰 王澎
• 来源期刊: 华中科技大学学报(自然科学版)
• 学科: 工学
• 关键词: 软件测试 面向对象 形式化规约说明语言
• 年，卷（期）: 2003,（8）
• 页码范围: 99-101
• 页数: 3页
• 分类号: TP311.5
• 字数: 2308字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2003.08.035

摘要

提出了一种测试面向对象程序的框架模型.用Object-Z语言描述面向对象程序的形式化规约.从形式化规约说明中可以推导出的面向对象程序的状态转换图,状态图可以表示面向对象程序的动态行为,并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集.最后给出了验证一个方法调用序列正确性的方法测试结果显示这一框架模型对于测试面向对象程序是可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢炎生	华中科技大学计算机科学与技术学院	216	1989	20.0	34.0
2	杨峰	华中科技大学计算机科学与技术学院	38	590	9.0	23.0
3	王澎	华中科技大学计算机科学与技术学院	3	14	3.0	3.0