基于扩展CHAM模型的软件集成测试方法

摘要：

基于构件的软件工程(Component-Based Software Engineering,CBSE)正逐渐成为软件开发的一种新趋势.目前构件提供者所交付的构件仅仅包括其功能描述和接口描述,而代码通常是不可见的,这给软件系统的集成测试带来较大困难.本文针对软件体系结构(Software Architecture,SA)层中的构件规格说明,提出一种集成测试方法.首先使用扩展的化学抽象自动机(Extend Chemical Abstract Machine,E-CHAM)模型描述软件系统的体系结构;接着使用LTS状态树生成算法,生成标号迁移系统(Labeled Transition System,LTS)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试.

关键词：集成测试、软件体系结构、化学抽象自动机、标号迁移系统、覆盖准则

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：国防预研基金413150601;国家重点实验室基金SKLSE04-20

在线出版日期：2005-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：199-201,205