软件体系结构动态模型描述及其测试中的应用

摘要：

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

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

所属期刊栏目：28

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

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

页数：共3页

页码：982-984