摘要： 基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。
关键词:
软件体系结构,
测试覆盖准则,
形式化测试
Abstract: Formalization testing based on software architecture(SA) has improved the quality of the software products.It is an important research topic in the area of software engineering.The testing at SA level is a hotspot and difficulty in the field of software testing.After reviewing the development of the related research work,this paper discusses the quality characteristics requirement of implementation under testing(IUT) of SA,defines the testing criteria and develops a set of calculating rules of the testing criteria,then a CASE tool is built.All these works will lead to further research in this field.
中图分类号:
叶俊民,赵良,罗景,王振宇,赵恒. 软件体系结构测试覆盖准则研究[J]. , 2005, 31(22): 117-119.
YE Junmin1,2,3,ZHAO Liang2,3,LUO Jing2,3,WANG Zhenyu1,3,ZHAO Heng1,3. Research on Testing Criteria of Software Architecture[J]. , 2005, 31(22): 117-119.