基于序列图和状态图的软件测试用例生成方法

来源 :电子设计工程 | 被引量 : 0次 | 上传用户:chenyanzhao12
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为提高软件特别是复杂软件的测试用例的设计效率和充分性,提出了一种基于序列图和状态图关联关系生成测试用例的方法。与一般的基于单一UML图生成测试用例的方面相比,该方法结合了UML序列图和状态图,首先通过UML序列图对软件系统的不同对象的消息交互序列建模,根据消息序列生成消息迁移路径,然后通过UML状态图对单一对象的状态迁移分别建模,建立对象接收消息时的初始状态和发送消息时的终止状态之间的迁移关系,并连接前后消息,形成包含序列图消息序列和状态图迁移关系的组合路径,最后根据组合路径生成测试用例。实例表明,该方法
其他文献
为对比不同喷管形式的固体火箭发动机热安全性,对潜入式和非潜入式喷管固体火箭发动机采用二维轴对称模型和准定常方法进行两相内流场模拟和分析。采用6种不同粒子直径,分别
对61个白浆土剖面,分层次进行酸碱度测定,各层的pH值所测结果为:腐殖质层(A):6.13±0.38;白浆层(E):6.22±0.37;淀积层(Bt):6.07±0.38;过渡层(BC):6.42±0.
目前学界关于中国古代诗社的研究十分兴盛,成果丰硕。但大多研究集中在文献实证方面,关于诗社的文化及理论性研究尚未引起足够重视。这其中关于诗社起源的探究可以说是一个最
为了验证植物氨基酸液肥对水稻产量的影响效果,于2004年和2005年连续2 a进行了水稻叶面喷施植物氨基酸液肥试验,结果表明,在水稻有效分蘖期、孕穗期和灌浆期各喷施1次植物氨
芭蕾舞剧《白毛女》是上海东方韵舞蹈学校1964年将同名歌剧改编而成的,它是芭蕾舞和民族舞的完美结合。1965年在上海首演非常成功,是文化大革命时期八个样板戏之一,是将中国
目的:探讨联机血液透析滤过联合血液灌流治疗终末期肾病并顽固性贫血的临床疗效。方法:本院从2014年5月~2016年11月收治的终末期肾病并顽固性贫血患者52例作为此次研究对象,随
提出一种直接推导摄动运动方程的方法,也就是以矢量的微分运算为工具直接推导二体问题意义下的瞬时椭圆如何在摄动力三分力的作用下轨道根数发生的变化,推导过程几何图像清晰,力
【目的】研究不同施氮量对土壤微生物群落功能多样性和酶活性的影响。【方法】通过野外大田定位试验,于2009年7月15至2009年9月30采用微生物自动分析系统BIOLOG微平板分析法,
指出了根尖边缘细胞已被证实在外源污染胁迫下具有多种生物学功能,能作为重金属元素对植物毒性的标志物。综述了根尖边缘细胞的定义、特征与功能,并以已有报道文献中的铝、铁、
外贸作为我国经济发展的“三驾马车”之一,对我国经济发展具有稳定器的作用。当前,在产业升级背景下,由于世界贸易保护主义重新抬头,出现了逆全球化的现象。面对这种严峻形势