基于CSM面向对象程序测试用例的自动生成

• 作者: 古天龙 廖伟志 董荣胜 蔡国永
• 来源期刊: 桂林电子工业学院学报
• 学科: 工学
• 关键词: 面向对象 测试 CSM 动态域归约
• 年，卷（期）: 2001,（3）
• 所属期刊栏目: 技术报告
• 页码范围: 49-53
• 页数: 4页
• 分类号: TP311.5
• 字数: 3485字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2001.03.012

摘要

为了保证程序测试的质量和降低测试费用,基于规格的测试方法越来越受到重视.在利用有限状态机描述面向对象程序基础上给出了状态覆盖测试算法,同时引入动态域归约原理实现测试用例的自动生成.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子工业学院计算机系	207	1546	18.0	30.0
2	蔡国永	桂林电子工业学院计算机系	98	400	12.0	15.0
3	董荣胜	桂林电子工业学院计算机系	115	1521	13.0	37.0
4	廖伟志	桂林电子工业学院计算机系	2	1	1.0	1.0