一种面向对象类级状态测试的形式化方法研究

• 作者: 叶俊民 罗景 赵良 陈利
• 来源期刊: 海军工程大学学报
• 学科: 工学
• 关键词: 面向对象 类级测试 状态测试 黑盒
• 年，卷（期）: 2004,（5）
• 页码范围: 77-81
• 页数: 5页
• 分类号: TK124
• 字数: 3662字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-3486.2004.05.020

摘要

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈利	华中师范大学计算机系	30	156	7.0	10.0
3	叶俊民	华中师范大学计算机系	10	79	6.0	8.0
12	罗景	华中师范大学计算机系	5	28	2.0	5.0
16	赵良	华中师范大学计算机系	3	25	2.0	3.0