基于形式化方法的软件测试技术研究

被引量 : 0次 | 上传用户:xsybt007
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前,软件开发的技术和规模都达到了一定高度,随之而来的软件质量问题也成为研究的重点。因为软件测试是提高软件质量的关键,其地位在软件开发过程中越来越重要。合理并且有效地选择测试用例进行测试是软件测试的关键,因此如何自动生成合理有效地测试用例成为研究软件测试的一个重要分支。并且,如何优化软件测试用例集成为了另一个研究方向。在此前提下,本文应用蚁群算法和UML模型研究软件测试用例生成和软件测试用例集优化。本文首先介绍了有关软件测试技术的基本理论。根据本文的研究内容,主要介绍了软件测试的概念、分类、规则以及一些测试用例生成方法和测试用例集优化方法。接下来,本文对蚁群算法和UML模型的基本理论做了介绍。简单的介绍了UML模型的发展过程和各种模型图,在本文中主要应用的UML状态模型。同时,对蚁群算法的基本理论和模型做了简要的介绍。其次,本文介绍了应用蚁群算法和UML模型生成测试用例的基本原理、过程以及算法的描述以及应用蚁群算法和UML模型优化测试用例集的原理、过程以及算法的流程,并且通过仿真模拟对本文提出的方法做了验证。仿真实验结果显示,将蚁群算法和UML状态图模型生成的测试用例具有明显的优势。不仅生成的测试用例数量合理,而且可以满足测试需求。同样利用蚁群算法和UML状态模型优化的测试用例集可以达到完全优化测试用例集的目的。
其他文献
国家公务员作为国家权力的执行者,政府的形象代表者,其能力素质的高低直接关系到政府的治理能力,关系到政府部门与人民群众之间的关系。加强国家公务员队伍的建设,对提高政府
世界文化丰富多样,人类发展历史悠久,留给后人诸多物质文化遗产的同时,也遗存了许多丰富可考的非物质文化遗产资源。非物质文化遗产是指各族人民世代相承的、与群众生活密切
情感教育是指教育者满腔热情地进行教育活动,在教育过程中不仅注意诱发、激励受教育者的情感,使之处于最佳状态,而且把情感培养视为教育的目标之一。高校思想政治理论课教学中情
置身分众传播与媒介融合的大时代,电视剧产业的嬗变正在进行中,呈现出内容创作类型化、制播方式差异化、盈利渠道多样化、新旧媒体互动化的大趋势。但在产业变革的道路上尚存
概念隐喻不但是一种普遍的语言现象,也人类不可缺少的认知工具。它在我们的生活中无处不在。做为人类的认知工具,概念隐喻理论为语言的学习提供了很好的理论依据。在英语写作
随着我国社会和经济发展水平的不断提高、城市化进程的快速推进、城市大规模的开发活动日益增多,城市综合体具有用地集约性、功能复合性、空间多样性的特点,顺应了我国城市发
为实现木薯秆的有效利用,以苯酚为液化剂,硫酸为催化剂,对木薯秆进行液化和树脂化工艺研究。结果表明,木薯秆适宜的液化工艺为:液固比3.5∶1,液化温度160℃,硫酸用量7%,液化
针对2种类型的基础油与2种生产工艺的磺酸钡调配的轴承防锈油,测试分析了其防锈性、抗氧化及结胶性能。结果表明:轴承防锈油膜发生结胶与基础油的抗氧化性有关,与磺酸钡的生产