| 基于扩展CHAM模型的软件集成测试方法 |
| |
| 引用本文： | 叶俊民,罗景,朱凯,赵良,赵恒,王振宇.基于扩展CHAM模型的软件集成测试方法[J].计算机科学,2005,32(6):199-201. |
| |
| 作者姓名： | 叶俊民 罗景 朱凯 赵良 赵恒 王振宇 |
| |
| 作者单位： | 华中师范大学计算机科学系,武汉,430079;哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001;武汉大学软件工程国家重点实验室,武汉,430072;华中师范大学计算机科学系,武汉,430079;武汉大学软件工程国家重点实验室,武汉,430072;哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001 |
| |
| 基金项目： | 国防预研基金资助项目(413150601);武汉大学软件工程国家重点实验室基金资助项目(SKLSE04-20). |
| |
| 摘 要： | 基于构件的软件工程(Component-Based Software Engineering,CBSE)正逐渐成为软件开发的一种新趋势。目前构件提供者所交付的构件仅仅包括其功能描述和接口描述,而代码通常是不可见的,这给软件系统的集成测试带来较大困难。本文针对软件体系结构(Software Architecture,SA)层中的构件规格说明,提出一种集成测试方法。首先使用扩展的化学抽象自动机(Extend Chemical Abstract Machine,E-CHAM)模型描述软件系统的体系结构;接着使用LTS状态树生成算法,生成标号迁移系统(Labeled Transition System,LTS)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试。
|
| 关 键 词： | 集成测试 软件体系结构 化学抽象自动机 标号迁移系统 覆盖准则 |
Software Integration Testing Method Based on E-CHAM Model |
| |
| YE Jun-min,LUO Jing,ZHU Kai,ZHAO Liang,ZHAO Heng,WANG Zhen-Yu.Software Integration Testing Method Based on E-CHAM Model[J].Computer Science,2005,32(6):199-201. |
| |
| Authors: | YE Jun-min LUO Jing ZHU Kai ZHAO Liang ZHAO Heng WANG Zhen-Yu |
| |
| Affiliation: | YE Jun-Min,LUO Jing,ZHU Kai,ZHAO Liang,ZHAO Heng,WANG Zhen-Yu Department of Computer Science,Central China Normal University,Wuhan 430079 College of Computer and Technology,Harbin Engineering University,Harbin 150001 State Key Laboratory of Software Engineering,Wuhan University,Wuhan 430072 |
| |
| Abstract: | CBSE (Component-Based Software Engineering) is increasingly being adopted for software development. Currently, components delivered by component provider ouly include specifications of functions and interfaces, which source code may not be available to component user. This imposes sigulficant diffculties on the testing of an integrat- ed component-based system. The paper proposes an approach to derive test plan for integration testing of component- based software system. Firstly, this method describes software architecture using E-CHAM (Extend Chemical Ab- stract Machine) model, and then models dynamical behavior of single component using LTS state tree generation al- gorithm. Finally, we adopt bottom-up incremental testing strategy performing the whole integration testing process. |
| |
| Keywords: | Integration testing Software architecture CHAM LTS Coverage criteria |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
