%0 Journal Article
%T 基于扩展cham模型的软件集成测试方法
%A 叶俊民 罗景 朱凯 赵良 赵恒 王振宇？
%J 计算机科学
%D 2005
%X 基于构件的软件工程(component-basedsoftwareengineering，cbse)正逐渐成为软件开发的一种新趋势。目前构件提供者所交付的构件仅仅包括其功能描述和接口描述，而代码通常是不可见的，这给软件系统的集成测试带来较大困难。本文针对软件体系结构(softwarearchitecture，sa)层中的构件规格说明，提出一种集成测试方法。首先使用扩展的化学抽象自动机(extendchemicalabstractmachine，e-cham)模型描述软件系统的体系结构；接着使用
%K 测试方法软件集成扩展software软件体系结构system集成测试策略软件系统软件工程软件开发功能描述规格说明模型描述生成算法动态行为自底向上构件提供者测试带自动机状态树lts接口代码
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=16191212&flag=1