一种基于UML活动图的测试用例生成方法

来源 :江苏科技大学学报(自然科学版) | 被引量 : 0次 | 上传用户:ckforme
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试作为软件开发过程的核心环节,是保证软件质量的重要手段.近年来基于可视化面向对象建模技术的软件测试方法逐渐成为学术界的研究热点.文中基于UML活动图模型,给出活动图的形式化定义及测试覆盖准则;结合基本路径思想,采用改进的压缩实例化方法处理并发模块,有效避免了路径爆炸问题,减少无效测试场景的输出.案例分析表明:文中方法具有较高的准确性和用例生成效率,增强了测试用例自动化生成的可行性和完备性.
其他文献
通过对物流服务软实力的内涵的界定,从已有理论中找到物流服务软实力的评价依据,然后建立物流服务软实力的评价体系及建立综合评价模型,最后是对一家典型物流企业进行了实证
研究了硫含量测定的影响因素,探讨了提高汽油中硫含量分析准确度的主要措施.试验结果表明:通过选取适宜的取样量,合适的灯芯疏密、粗细程度和灯芯位置高度及灯芯管内径,调节
在对细节疲劳额定值(DFR)方法深入研究的基础上,对MA700飞机机身蒙皮典型对接结构进行了疲劳寿命分析,确定了该结构的载荷传递及一系列修正系数,得到了结构疲劳寿命分析结果
目的:探讨microRNA-494(miR-494)对转化生长因子β1(TGF-β1)刺激后大鼠肾间质成纤维细胞(NRK-49F)细胞外基质分泌的调控作用。方法:体外培养NRK-49F细胞株,并分为以下6组:TGF-β1(3ng/
巴雷特食管(Barrett's esophagus,BE)是胃食管反流病(Gastroesophageal reflux disease)的并发症,内镜下可见食管鳞状上皮与胃柱状上皮的交界线相对于胃食管结合部上移≥
农业发展过程中,科技投入对农业经济增长起着重要作用。从宏观角度来看,农业科技投入与农业产量以及农业经济增长呈正相关。研究农业科技投入与农业经济增长的动态关联性,提
<正> 这是个前面无须加任何修饰限定成分的名字。 这个出生于1853年,相貌并不英俊的男人,是个病人,患有自闭症、精神分裂症和肺炎,瘦骨嶙峋;也是位画家,笔下有星空,有麦田,有
期刊
分析77例胰腺癌患者,其中男女之比为2.1:1,平均年龄62.6岁,症状出现至确诊平均病程2.9个月。31例患者在确诊前曾按其他疾病治疗。入院时主要症状为上腹部疼痛,仅1例为健康体检时发现
为研制适合国内青少年体质健康型人居实体环境评估指标体系,在借鉴国内外城市青少年体质健康型人居实体环境研究现状制定评估指标体系初稿的基础上,应用标准Delphi法进行指标