在带OCL约束的状态图下测试线索的自动生成

• 作者: 丁娜 徐攀登 曾一 柴艳欣 邹明
• 来源期刊: 计算机应用研究
• 关键词: 对象约束语言 可扩展标记语言 类图 状态图 测试线索 约束冲突
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: 软件技术研究
• 页码范围: 988-990,994
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.03.055

摘要

提出一种带OCL约束的状态图测试线索的自动生成方法.该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对一事件约束集合生成带OCL约束的测试线索.实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的.实验结果证明了该方法的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾一	重庆大学计算机学院	76	855	14.0	25.0
2	柴艳欣	重庆大学计算机学院	4	45	4.0	4.0
3	丁娜	重庆大学计算机学院	4	12	3.0	3.0
4	邹明	重庆大学计算机学院	3	11	3.0	3.0
5	徐攀登	重庆大学计算机学院	2	33	2.0	2.0