一种基于UML与SDL融合建模的组件系统测试方法

来源 :计算机应用与软件 | 被引量 : 5次 | 上传用户:JK0803_shijiwu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模的针对组件化软件系统的黑盒测试方法,生成了MSC序列图和TTCN测试用例集,并结合一个游戏系统的例子实现了该方法。
其他文献
吴洋、吴桥生平及其学术特点童光东,吴华强,指导,王乐(科研处合肥230038)关键词吴洋,吴桥,新安医家吴洋、吴桥为明朝著名的新安医家,生平至今不详。但其医案频繁见于《论医汇粹》、《医述》
通过对日常一些"小事"的观察,我们可以发现,宗教对日常生活进行了一定程度的"渗入".如此的"渗入"是人类为解决生存问题而衍生的,是人们创造性活动之一,它具有一定的逻辑性与
激光针治疗小儿病证举隅212003江苏省镇江市中医院王小平212001江苏省镇江市卫生局倪晓琴10余年来,我们运用激光针治疗小儿疾患,收到满意效果,现将验案四则,介绍如下:1咳嗽患儿,男,10岁,半月前开始感冒
知识管理是一种全新的管理概念与管理方法,高校图书馆作为知识密集收藏的单位,在新形势下必然也要面临这一新挑战.文章介绍了知识管理的概念、图书馆实行知识管理的可行性,论
基于DSPN模型描述离散动态事件系统的优越性。对WLAN通信协议的RTS/CTS机制进行建模,计算出了WLAN的两个重要性能指标,并利用熵权双基法对其进行了可靠性评估。
提出一种基于概要数据结构(sketch)的网络异常检测方法。采用金字塔时间模型对高速网络数据流进行分析,并基于奇异熵提取sketch。统计一定周期内该数据结构的特征值变化趋势,计算出均值和梯度值,以及相应的报警区间。当告警出现时,该方法能分析出现异常的IP地址。实验证明,该方法能有效地对网络进行异常检测。
慢性盆腔炎为妇女常见病之一,病情顽固,迁延难愈。抗生素及口服中药治疗,效果多不明显,且因大多是苦寒药而戕伤胃气。近年来,笔者采用中药清盆活血汤保留灌肠治疗慢性盆腔炎48例,疗效
我国国有银行股份制改革进程中,在对三个观点加以澄清的基础上,提出产权结构不合理是国有银行效率低下的症结所在,实现银行和企业的良性互动是改革的最终目的,从而二者构成国
近年来,随着科学技术的发展,越来越广泛地采用激光、微波、电离、红外线凝固及外用腐蚀性药物来治疗肛管及肛周疾病,给患者带来福音,但同时作为医源性的肛管及肛门周围溃疡却显著