[1]顾燕萍 高建华.用于测试的SA动态模型生成方法[J].计算机技术与发展,2006,(08):100-102.
GU Yah-ping,GAO Jian-hua.SA Dynamics Description and Its Application in Testing[J].,2006,(08):100-102.
点击复制
用于测试的SA动态模型生成方法(
)
《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]
- 卷:
-
- 期数:
-
2006年08期
- 页码:
-
100-102
- 栏目:
-
智能、算法、系统工程
- 出版日期:
-
1900-01-01
文章信息/Info
- Title:
-
SA Dynamics Description and Its Application in Testing
- 文章编号:
-
1673-629X（2006）08-0100-03
- 作者:
-
顾燕萍 高建华
-
上海师范大学数理信息学院计算机科学与工程系
- Author(s):
-
GU Yah-ping; GAO Jian-hua
-
Dept. of Computer Sci. and Eng., Sch. of Math., Physics and Info., Shanghai Normal Univ
-
- 关键词:
-
带标号的转换系统; 有限状态过程; 化学抽象机; 软件体系结构动态性描述; 测试序列
- Keywords:
-
LTS; FSP; CHAM; SA dynamics description; test sequences
- 分类号:
-
TP31
- 文献标志码:
-
A
- 摘要:
-
SA（软件体系结构）的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统（LTS）来模拟软件体系结构动态性的，利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程
- Abstract:
-
The SA （software architecture） dynamics description is a critical step in the confomance testing based on SA. Many architectural description languages （ADLS） rely on labelled transition systems （LTS） to model the SA dynamics,and LTS graph could be used as the reference model for deriving the test sequences. This article introduces two ADLS which can derive LTS by a case study
备注/Memo
- 备注/Memo:
-
顾燕萍（1982-），女，上海人，硕士研究生，主要研究方向为软件可靠性设计 高建华，博士，教授，主要从事软件可靠性设计研究
更新日期/Last Update:
1900-01-01