时序扩展的UML状态图的测试用例生成研究

【摘要】软件测试在软件开发周期中发挥着越来越重要的作用,人们对软件测试技术的研究随之更加深入。面向结构的软件测试技术已经比较成熟,然而对于面向需求规格说明的软件测试的研究相对滞后。在软件测试中测试用例的选择是尤为重要的,好的测试用例可以达到事半功倍的效果,差的测试用例可能会浪费更多的资源和时间。UML状态图模型在面向需求规格说明的软件测试用例生成方面发挥着重要的作用,然而,UML状态图缺乏精确的形式化语义,仅能对表示静态领域的系统进行描述,而无法对具有动态特征的实时系统进行准确的描述。本文在对UML状态图生成测试用例的方法进行研究的基础上,提出了时序扩展的UML状态图生成测试用例的完整方法。本文的主要工作内容如下：1、深入分析了软件测试充分性问题的相关理论和技术,包括测试充分性的重要性和面向结构的软件测试技术在测试充分性方面的研究进展,为面向需求规格说明的实时系统软件测试充分性的研究提供了参考。本文在基于UML状态图的测试充分性准则选择方面主要介绍了状态覆盖准则、迁移覆盖准则、状态转移对覆盖准则和完全判定覆盖准则。2、深入分析了当前基于UML状态图生成测试用例方法在处理实时系统方面存在的不足,在对UML状态图进行时序扩展的基础上,提出了完整的时序扩展的UML状态图生成测试用例方法,并详细介绍了时序扩展的处理方案,测试充分性覆盖准则的处理和测试序列生成的算法。3、研究了测试用例序列优化的作用和重要性,对时序扩展的UML状态图生成的测试用例序列进行了遗传算法优化,并详细介绍了遗传算法优化的过程。4、完成了实验系统的设计,对时序扩展的UML状态图生成测试用例方法进行了系统实现,并通过对实例系统的处理,详细介绍了系统的功能和操作方法,通过实验系统生成实例系统的测试用例,说明了本文中方法的有效性。
【作者】李小亮；
【导师】丁晓明；
【作者基本信息】西南大学，计算机软件与理论，2014，硕士
【关键词】时序扩展；UML状态图；测试用例；需求规格说明；模型；

【参考文献】
[1]孙志.基于OpenCV的人脸识别算法实验平台研究与实现[D].吉林大学,软件工程,2014,硕士.
[2]张晗.SAR图像质量评估方法研究[D].国防科学技术大学,信息与通信工程,2012,硕士.
[3]戚雯欣.顺序注射化学发光联用技术测定活性氧自由基的研究[D].东北大学,分析化学,2010,硕士.
[4]涂盛辉.光催化—催化湿式氧化处理有机染料废水的研究[D].南昌大学,2014.
[5]李伟,潘劲松.防止货物超载保证运输安全[J].中国铁路.2005(12)
[6]杨德亮,谢旭东,牛小铁.交叉口入口路段车流量及车辆换道率检测研究[J].计算机应用研究,2015,8:.
[7]江文.旅游消费金融模式研究[D].华东师范大学,旅游管理,2013,硕士.
[8]牛杰.沙曲煤矿井上下钻孔对接预抽煤层瓦斯技术效果分析与评价[D].中国矿业大学,安全技术及工程,2014,硕士.
[9]何殿.基于CreditMetrics模型的中国信贷资产证券化信用风险研究[D].上海交通大学,工商管理,2013,硕士.
[10]赵宗寒.D型人格对住院冠心病患者焦虑抑郁及生活质量的影响[D].山东大学,内科学,2013,硕士.
[11]程艳红,陈金媛,李何荣,赵美蓉.纳米材料的水生毒性研究进展[J].环境与健康杂志,2014,04:371-376.
[12]李燕.电磁热对金属焊接接头强化技术的研究[D].燕山大学,机械设计及理论,2014,硕士.
[13]陈军.基于Gabor的人脸图像疲劳检测系统的研究与实现[D].湖南大学,软件工程,2012,硕士.
[14]李雪飞.聚类分析在中式卷烟品类构建中的应用[D].云南财经大学,应用统计,2013,硕士.
[15]周俊利.近年来抗战时期募捐研究述评[J].高校社科动态,2013,05:24-30.
[16]熊坂万智子.日本现行农产品贸易政策对中日农产品贸易的影响研究[D].黑龙江大学,国际贸易学,2013,硕士.
[17]韦卫.陕西省烟草公司卷烟营销渠道研究[D].西安理工大学,工商管理,2004,硕士.
[18]周晓雪.高压下ZnTe和ZnSe的电输运性质研究[D].吉林大学,凝聚态物理,2013,硕士.
[19]李楠.从《快乐汉语》看对外汉语电视教学节目的发展和推广[D].华中师范大学,汉语国际教育,2013,硕士.
[20]王天凝.基于新农村建设的五常市东升林场乡村旅游发展研究[D].黑龙江八一农垦大学,农村与区域发展,2014,硕士.
[21]李程瑶.地下水源热泵热源井的水泵节能优化分析[D].哈尔滨工业大学,供热、供燃气、通风及空调工程,2013,硕士.
[22]朱敬华.数字图书馆中查询结果处理和参考文献超链接方法的研究[D].黑龙江大学,2002.
[23]于海淼.天津北疆发电厂循环经济项目可行性研究[D].天津大学,管理科学与工程,2013,硕士.
[24]邓氏秋波.广义省人力资源开发策略研究[D].东北师范大学,社会保障,2012,硕士.
[25]孟焕平.锂离子电池用三元正极材料LiNi_(1/3)Co_(1/3)Mn_(1/3)O_2的制备与改性研究[D].宁波大学,凝聚态物理,2014,硕士.
[26]高信刚.北京A环保公司业务发展战略研究[D].浙江工业大学,2012.
[27]张慧.《新安晚报》本地新闻消息来源研究（1997-2012）[D].安徽大学,出版,2014,硕士.
[28]郎慧.企业质量信誉评价指标体系的研究与实证分析[D].新疆大学,企业管理,2013,硕士.
[29]甄向南.房地产项目风险管理研究与应用[D].大连海事大学,工商管理,2012,硕士.
[30]徐晓丽.指数分布在非平衡状态RSS下的无偏估计[D].华中师范大学,概率论与数理统计,2013,硕士.
[31]李晶.国际油价冲击对中国的通胀效应研究[D].复旦大学,数量经济,2012,硕士.
[32]段超.C企业采购部门绩效管理研究[D].云南大学,工商管理,2012,硕士.
[33]陈小莉.3GPPLTE系统中下行控制信道多用户资源分配的研究[D].北京交通大学,通信与信息系统,2013,硕士.
[34]刘猛.H型垂直轴风力机气动性能的研究[D].武汉理工大学,机械工程,2013,硕士.
[35]许荣漫.城市青年集体相亲行为研究[D].南京大学,社会学,2013,硕士.
[36]魏国昌.机动车交通事故责任若干问题研究[D].吉林大学,法律,2012,硕士.
[37]孟昭燃.智能优化算法在转子故障诊断中的应用方法研究[D].兰州理工大学,机械制造及其自动化,2014,硕士.
[38]代颖颖.汉语数字吉祥语研究[D].扬州大学,语言学及应用语言学,2011,硕士.
[39]尹英.纪念性景观的地域表达[D].湖南大学,建筑学,2012,硕士.
[40]江全元,邹振宇,曹一家.基于极大极小值原理的UPFC控制器设计[J].电力系统自动化,2005,14:23-28+82.
[41]栾一刚.轴流旋风分离器数值模拟与实验研究[D].哈尔滨工程大学,2011.
[42]杜鑫.手势动作自适应识别算法的研究[D].燕山大学,电路与系统,2014,硕士.
[43]夏科.IODP316航次C08A岩心环境磁学研究[D].中国地质大学（北京）,地质工程,2013,硕士.
[44]汤阳.基于Windows CE的开放式数控系统关键技术研究[D].合肥工业大学,机械制造及其自动化,2003,硕士.
[45]徐泽.双龙煤矿2~#煤采煤工作面矿压显现规律及支架适应性研究[D].西安科技大学,采矿工程,2013,硕士.
[46]韩文根.研究性学习课程试探[D].华中师范大学,教育经济与管理,2003,硕士.
[47]郭永近.多边形截面高耸钢塔结构静力及动力特性分析方法的研究[D].广西大学,结构工程,2004,硕士.
[48]王媛.α-咔啉类糖原合成酶激酶3β抑制剂的合成和活性研究[D].浙江大学,化学,2013,硕士.
[49]王亚彬.稀土正铁氧体NdFeO_3晶体生长及磁性研究[D].上海大学,无线电物理,2013,博士.
[50]陈艳琴.焊缝缺陷边缘检测实验平台设计与实现[D].北京邮电大学,计算机科学与技术,2013,硕士.