用于测试的SA动态模型生成方法 |
| |
引用本文: | 顾燕萍,高建华.用于测试的SA动态模型生成方法[J].微机发展,2006,16(8):100-102. |
| |
作者姓名: | 顾燕萍 高建华 |
| |
作者单位: | 上海师范大学数理信息学院计算机科学与工程系 上海200234 |
| |
摘 要: | SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。
|
关 键 词: | 带标号的转换系统 有限状态过程 化学抽象机 软件体系结构动态性描述 测试序列 |
文章编号: | 1673-629X(2006)08-0100-03 |
修稿时间: | 2005年12月5日 |
本文献已被 CNKI 等数据库收录! |
|