|
|||||
|
|
| 软件体系结构测试覆盖准则研究 | |
| 引用本文： | 叶俊民,赵良,罗景,王振宇,赵恒.软件体系结构测试覆盖准则研究[J].计算机工程,2005,31(22):107-109. |
| 作者姓名： | 叶俊民 赵良 罗景 王振宇 赵恒 |
| 作者单位： | 1. 哈尔滨工程大学计算机学院,哈尔滨,150001;华中师范大学计算机系,武汉,430079;武汉大学计算机软件工程国家重点实验室,武汉,430072 2. 华中师范大学计算机系,武汉,430079;武汉大学计算机软件工程国家重点实验室,武汉,430072 3. 哈尔滨工程大学计算机学院,哈尔滨,150001;武汉大学计算机软件工程国家重点实验室,武汉,430072 |
| 基金项目： | 国防科技预研基金资助项目;武汉大学软件工程国家重点实验室开放基金资助项目（SKL（4）020） |
| 摘 要： | 基于软件体系结构的形式化测试提高了软件产品的质量，是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上，文章研究了SA测试中的被测系统的质量特征要求，定义了覆盖准则，设计了一套针对这些测试覆盖准则的计算规则，并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。 |
| 关 键 词： | 软件体系结构 测试覆盖准则 形式化测试 |
| 文章编号： | 1000-428（2005）22-0107-03 |
| 收稿时间： | 2004-10-05 |
| 修稿时间： | 2004-10-05 |
Research on Testing Criteria of Software Architecture |
|
| YE Junmin,ZHAO Liang,LUO Jing,WANG Zhenyu,ZHAO Heng.Research on Testing Criteria of Software Architecture[J].Computer Engineering,2005,31(22):107-109. | |
| Authors: | YE Junmin ZHAO Liang LUO Jing WANG Zhenyu ZHAO Heng |
| Affiliation: | 1. College of Computer and Technology, Harbin Engineering University, Harbin 150001; 2. Department of Computer Science, Central China Normal University, Wuhan 430079; 3. State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072 |
| 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. |
| Keywords: | Software architecture Testing criteria Formalization testing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |