文献类型：期刊文章

作　　者：顾燕萍[1] 高建华[1]

机构地区：[1]上海师范大学数理信息学院计算机科学与工程系,上海200234

出　　处：《计算机工程与设计》

年　　份：2007

卷　　号：28

期　　号：4

起止页码：982-984

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD_E2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊

摘　　要：软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。为了较为方便恰当地描述软件体系结构的动态性,通过对软件体系结构描述语言研究,利用带标号的转换系统来模拟软件体系结构的动态性,把带标号的转换系统作为软件体系结构动态性模型并从中选取测试序列进行测试,并通过具体实例给出了带标号转换系统这一动态模型的导出过程及利用此动态模型进行一致性测试的方法。

关 键 词：一致性测试  带标号转换系统  有限状态过程  软件体系结构动态性描述  测试序列  

分 类 号：TP31]