用于测试的SA动态模型生成方法
SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步.许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列.通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程.
带标号的转换系统、有限状态过程、化学抽象机、软件体系结构动态性描述、测试序列
16
TP31(计算技术、计算机技术)
2006-08-30(万方平台首次上网日期,不代表论文的发表时间)
共3页
100-102