基于UML模型的组件集成测试方法

来源 :四川大学学报(自然科学版) | 被引量 : 2次 | 上传用户:wangzuyuan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
统一建模语言(UML)已经广泛应用于基于组件的软件开发过程中.许多UML模型,如交互图、状态图和组件图等从不同的角度刻画了组件的行为,可将其用于基于组件的软件系统的测试.本文首先提出了一个基于UML模型的测试框架,并对基于UML模型的组件集成测试方法进行了比较,然后将基于协作图的组件测试技术应用于ATC系统的集成测试,取得较好效果.
其他文献
研究了两类平面多项式映射的迭代,讨论了它们在迭代运算下次数不增的条件.对其中一类映射给出了一个充要条件,对另一类映射给出了一个充分条件.
摘 要:建湖县位于里下河地区腹部,属亚热带湿润季风气候,由于受海洋季风影响,迁飞性害虫白背飞虱对建湖水稻安全生产影响大。白背飞虱迁入峰次多、迁入量大是造成建湖地区白背飞虱大发生的基础,适宜的气候条件利于白背飞虱的存活和繁殖,只有增加白背飞虱预测预报的准确性,准确把握防治最适时间,及早宣传发动防治,才能有效控制白背飞虱的危害,增加农民收益。  关键词:水稻;白背飞虱;发生特点;防治对策  中图分类号
【目的】实现牛口蹄疫病毒AsiaⅠ型江苏分离株VP1基因在大肠杆菌中的表达,为VP1蛋白的深入研究奠定基础。【方法】根据GenBank公布的AsiaⅠ型口蹄疫病毒(Foot-and—MouthDiseas
提出一种改进型的多脉冲激励线性预测语音编码算法,并将变阶线性预测技术应用于此算法.改进后的算法与原算法相比,降低了计算复杂度,且对激励脉冲位置的估计更加准确.仿真结果表明
信息系统的权限管理对于系统安全是非常重要的.该研究的主要贡献包括:(a)对角色与权限的关系进行了分析;(b)对权限进行了分类;(c)提出的三种角色继承机制将RBAC模型角色数量减少了将
作者首先建立了关于有限群的不可约特征标的限制和零元的某些基本结果,然后,作为所建立的基本理论的一个应用,改进了一些相关结果.
该文对铜陵市1960-2011年人工逐日雷暴观测资料和LD-LL型闪电定位仪的2005-2011年探测资料进行数理统计,分析了雷暴活动的变化特征,为铜陵地区雷电研究及科学防雷提供参考。
介绍了当前基于Winsock 2 SPI技术的木马特点,在阐述这类木马的技术背景的基础上,重点论述了其实现原理和设计流程及全新的木马激活方式,并提出对这类木马有效的防范措施及建议.
原子间及分子间的范德瓦尔斯相互作用在分子结构和固体结构起着非常重要的作用.在本文中,我们通过基于密度泛函理论的CPMD代码研究了氮气与氧气的分子间相互作用势,所得结果与实
对Sobolev方程采用混合有限元法进行数值模拟,给出了相应的半离散格式及其误差估计,构造了几组简单的低阶元.与已有文献中的有限元方法相比,该方法所采用的变分形式较简单,计