软件体系结构测试覆盖准则研究  

Research on Testing Criteria of Software Architecture

作　　者：叶俊民[1] 赵良[2] 罗景[2] 王振宇[1] 赵恒 

机构地区：[1]哈尔滨工程大学计算机学院,哈尔滨150001 [2]华中师范大学计算机系

出　　处：《计算机工程》2005年第22期107-109,共3页Computer Engineering

基　　金：国防科技预研基金资助项目;武汉大学软件工程国家重点实验室开放基金资助项目(SKL(4)020)

摘　　要：基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。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.

关 键 词：软件体系结构 测试覆盖准则 形式化测试 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论]