【摘 要】
：
随着计算机的应用日益增多,各行业对软件系统的健壮性和稳定性提出了更高的要求,使得软件测试在整个软件项目中的地位日益重要。基于FSM模型的系统测试是一致性测试的重要研
论文部分内容阅读
随着计算机的应用日益增多,各行业对软件系统的健壮性和稳定性提出了更高的要求,使得软件测试在整个软件项目中的地位日益重要。基于FSM模型的系统测试是一致性测试的重要研究方向,在实际的测试工作中已被普遍的推广。但由于实际应用场景的多样性和软件设计的复杂性,在某些工作中软件系统的建模描述困难,为实际测试工作带来极大的不便。同时某些经典的测试方法生成的测试用例集规模较大,影响整个一致性测试过程的效率,加重了实际中测试的工作量。由此可见,基于FSM模型的一致性测试在实际应用中存在着若干缺陷,对该技术的研究具有较大的应用价值。针对上述问题,本文中首先介绍了基于FSM模型一致性测试理论,引出了FSM模型的相关概念,详细论述了基于FSM模型测试的经典方法。其次,本文介绍了研究中开发的基于FSM模型的测试方案生成原型系统的总体框架。总体框架主要包括FSM模型绘制模块、测试用例生成及优化模块、FSM模型特殊转换处理模块以及管理模块等主要功能模块。然后,本文分别针对测试用例生成及优化模块和FSM模型特殊转换处理模块进行详细论述。在测试用例生成及优化模块中,提出了一种测试集压缩方法,该方法分别对原始测试用例集进行前缀冗余约简和子串冗余约简,实现了对两种经典测试方法生成的测试集的压缩优化,其结果表明,优化后的测试集能够保证原有错误检测能力不受影响,同时取得了显著的压缩效果。在FSM模型特殊转换处理模块中,本文列举并定义了实际测试中几种特殊场景下的特殊转换形式,分别提出了对其处理的方法,增强了FSM模型的描述能力。最后,基于本课题的应用背景,开发了基于FSM模型的测试方案生成原型系统,该系统包含了各模块的全部功能,利用本系统进行了大量的实例测试,其结果充分验证了研究工作的有效性。
其他文献
蛋白质科学是生物科学的重要组成部分,蛋白质分类是蛋白质科学的热点研究领域。如今,模式识别与机器学习的广泛研究,快速的推动了蛋白质分类的发展。在模式识别领域,大部分数
隔行视频(Interlaced Video)信号在电视广播领域内得到广泛应用.然而,随着计算机和多媒体技术的发展,逐行视频(Progressive Video)在互联网上应用非常普及.在电视广播、通信
网格从最开始的理论设想发展到现在的具体应用，它的内涵经历了不断的演化和变迁。最早是“电网”比喻，像用电一样来使用网格资源，不管是火电还是水电，不管生产经过了什么样的工序
模态逻辑是逻辑学中的一个重要的分支,它是自然语言中有关模态部分的数理模型.目前,模态逻辑已经被广泛用于人工智能的知识表示以及计算机科学的其他领域. 信念逻辑是一类
交换结构和调度算法的性能分析是交换机研究中的核心问题.在理论分析和仿真实验这两种分析方法中,仿真实验因具有良好的可操作性而被广泛使用.传统仿真方法基于个别流量负载
随着2D图像通信系统应用越来越广泛,具有立体感和可交互性的自由视点视频系统(FVV,Free Viewpoint Video)逐渐成为下一代多媒体系统的研究目标.本文探讨的自由视点视频系统采
由于并行传输电路在高速传输方面的不足,串行传输技术得到了迅猛发展,中科院计算所曙光5000高性能计算机的交换芯片就采用了这一技术以满足芯片间的高速通信需求.对于高速串
机群系统以良好的可扩展性、可用性、可靠性和性能价格比占据着高性能计算机领域的主导地位.大规模的机群系统由于节点量大存在诸多问题,如管理的复杂程度高、可靠性降低、整
目前,数据挖掘的理论和技术蓬勃发展,以缓解由数据库技术的普及带来的"数据过剩而知识匮乏"的问题.数据挖掘不仅已成为生物信息、计算化学、地理信息等科学领域的重要研究手
随着互联网的普及和发展,各种新兴的Internet业务不断涌现,占用越来越多的网络资源,致使网络流量激增,网络常常表现出容量不足.因此,网络管理和维护人员有必要及时了解网络容