首页> 中文期刊> 《计算机技术与发展》 >用于测试的SA动态模型生成方法

用于测试的SA动态模型生成方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步.许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列.通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程.

著录项

来源
《计算机技术与发展》 |2006年第8期|100-102|共3页
作者
顾燕萍; 高建华;
展开▼
作者单位

上海师范大学;

数理信息学院;

计算机科学与工程系;

上海;

200234;

上海师范大学;

数理信息学院;

计算机科学与工程系;

上海;

200234;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机软件;
关键词
带标号的转换系统; 有限状态过程; 化学抽象机; 软件体系结构动态性描述; 测试序列;

相似文献

中文文献
外文文献
专利

1. 基于Wright的SA级测试路径生成方法 [J] . 徐士华 ,赵磊 ,吕莉媛 . 微型机与应用 . 2011,第008期
2. 基于SA-PSO的多态路径测试数据生成方法 [J] . 曾一 ,蔡森虎 ,覃钊璇 . 计算机应用研究 . 2011,第008期
3. 一种用于机载双天线InSAR系统的实时DEM生成方法及实现 [J] . 陈立福 ,林月冠 ,彭曙蓉 . 中国科学院大学学报 . 2014,第005期
4. 一种用于机载双天线InSAR系统的实时DEM生成方法及实现 [J] . 陈立福 ,林月冠 ,彭曙蓉 . 中国科学院研究生院学报 . 2014,第005期
5. 一种适用于流式大数据系统测试的数据生成方法 [J] . 曹旭峰 ,江国华 . 计算技术与自动化 . 2017,第003期
6. 基于Wright的SA级测试路径生成方法 [C] . 赵磊 ,徐士华 ,赵国生 . 第六届中国测试学术会议 . 2010
7. 基于UML动态模型的测试用例生成方法研究与实现 [A] . 王继超 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号