基于体系结构描述的软件测试技术
贾晓琳,覃征,何坚,虞凡
（西安交通大学电子与信息工程学院，710049,西安）
摘要:在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上，又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户／服务器结构为例说明该方法是适用的.
关键词:软件结构描述语言;体系结构;软件测试
中图分类号:TP302文献标识码:A文章编号:0253-987X(2005)08-0808-04