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

Techniques for Testing Software Based on Architectural Description

作　　者：贾晓琳[1] 覃征[1] 何坚[1] 虞凡[1] 

机构地区：[1]西安交通大学电子与信息工程学院,西安710049

出　　处：《西安交通大学学报》2005年第8期808-811,884,共5页Journal of Xi'an Jiaotong University

基　　金：国家高技术研究发展计划资助项目(2003AA41202020);陕西省科技发展计划"十五"攻关资助项目(2000K08-G12).

摘　　要：在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.Based on the software architecture description language, the techniques of testing the errors caused by the interaction of components were researched. A static analysis and dynamic test model were proposed. The static model constrained the component＇s interaction through checking the component port and the type of admitted messages, and the dynamic model depicted dynamic behaviors in the component performing process using Petri net, and then the dynamic behavior graph was created. With which, the test sufficient criteria and the test requirements were proposed. The test cases were generated by the coverage level of different path according to the different architecture abstract level, and then the relation among budget, schedule and the quality requirements were balanced. Regarding client/server architecture as an example, the proposed method was shown feasible.

关 键 词：软件结构描述语言 体系结构 软件测试 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]