基于体系结构描述的软件测试技术

• 作者: 何坚 虞凡 覃征 贾晓琳
• 来源期刊: 西安交通大学学报
• 关键词: 软件结构描述语言 体系结构 软件测试
• 年，卷（期）: 2005,（8）
• 页码范围: 808-811,884
• 页数: 5页
• 分类号: TP302
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2005.08.006

摘要

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	覃征	西安交通大学电子与信息工程学院	158	2651	25.0	46.0
2	贾晓琳	西安交通大学电子与信息工程学院	23	240	8.0	15.0
3	虞凡	西安交通大学电子与信息工程学院	8	59	4.0	7.0
4	何坚	西安交通大学电子与信息工程学院	12	128	7.0	11.0