期刊文章详细信息
用于测试的SA动态模型生成方法
SA Dynamics Description and Its Application in Testing
文献类型：期刊文章
机构地区：[1]上海师范大学数理信息学院计算机科学与工程系,上海200234
年 份：2006
卷 号：16
期 号：8
起止页码：100-102
语 种：中文
收录情况：JST、RCCSE、ZGKJHX、普通刊
摘 要：SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。
关 键 词：带标号的转换系统 有限状态过程 化学抽象机 软件体系结构动态性描述 测试序列
分 类 号：TP31]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
