【摘 要】
：
作为保障设备质量的一项主要手段，测试工作是非常重要的，但这项工作并不轻松。如何快速地生成高质量的测试方案，并且保证该方案能够覆盖设备所有的运行状态，一直是该领域重点研究
论文部分内容阅读
作为保障设备质量的一项主要手段，测试工作是非常重要的，但这项工作并不轻松。如何快速地生成高质量的测试方案，并且保证该方案能够覆盖设备所有的运行状态，一直是该领域重点研究的问题，同样也是长期困扰系统测试人员的一个难题。当前，测试人员主要利用人工的方式来设计测试方案，这就直接导致了系统测试阶段较大的开销，从而也使系统开发总成本增高。另外，测试方案的质量取决于测试方案编写人员的素质，所以信息处理系统的质量和可靠性也不能得到保证。因此，为了提高系统测试的效率和测试工作的可靠性，迫切需要找到一种方法，以便能够快捷生成高质量的测试方案。针对以上问题，本文研究了基于分层有限状态机模型的测试方案生成方法、集合覆盖问题在约简基于有限状态机模型生成的测试方案中的应用。通过将这两个研究应用到测试方案生成系统中，有效的处理了状态爆炸问题和测试方案的冗余问题。在本文中，首先介绍了基于分层有限状态机模型的测试方案生成系统的整体架构，对其中各个模块的功能与联系进行了概要介绍，并概述了基于有限状态机模型的测试方案生成方法；然后详细介绍了详细介绍了测试方案生成模块的结构和基于集合覆盖的测试序列约简方法及其在Wp方法、UIO方法中的应用，并详细描述了测试方案生成模块的实现方法和流程设计；最后，本文还对使用集合覆盖问题进行约简的效果进行了分析。
其他文献
我们针对当前武警部队执勤中勤务组织不严密，查勤制度不落实，执勤实施不正规，执勤中“常见病”和“多发病”屡禁不止的实际，结合武警部队特点，研究开发了多媒体哨位查勤监控系统。
本文探讨在没有QoSs保证的IP网络中，如何根据反向信道反馈的网络状态信息，自适应调整视频编码器的输出码率，实现既合理利用网络资源又不会促使网络拥塞的基于信源的实时视频传输
J2EE应用服务器作为现今一种分布式计算平台,已成为基于Web的企业应用的核心部分,它帮助应用程序处理事务、安全等非业务逻辑,提供应用程序的运行环境.为了加强和完善企业对
动态心电图(DCG Dynamic Electrcardiograph)是心电信息学的重要组成部分,也是心血管疾病诊断领域中的重要监测手段,广泛应用于临床诊断及科研.在计算机分析大量动态心电信号
该文主要研究主动轮廓线跟踪的模型及算法.基于物理学的主动轮廓线模型从哈密顿原理和拉格朗日方程出发,假定在序列图像中运动的目标轮廓线具有质量,通过建模它的动能、来自
随着计算机的计算速度、存储容量的不断提高,基于实例的机器翻译(Example-Based Machine Translation,EBMT)技术研究越来越受到研究者的青睐.基于实例的机器翻译充分利用原有
论文首先从分析国内外目前对虚拟实验室领域的研究现状入手,结合考虑国内外对虚拟实验室的研究的侧重点和虚拟实验室的主旨所在,引入了论文的研究重点与主要内容,把虚拟实验
java语言是是一种基于解释的高级面向对象语言,java编程平台与硬件平台无关,只要在具体硬件平台上部署了相应的java虚拟机,就可以在存储量、存储方式、通讯方式、计算能力等
该文首先分析了当前网络管理中存在的缺乏有效的告警管理手段、自动化处理能力不足、忽略对局域网管理等问题,指出造成这些问题的一个重要原因是缺乏网络拓扑自动发现能力.该
随着计算机及通信技术的发展,互联网上的信息量急剧增长.为了解决普通用户所面临的"信息迷航"和"信息过载"问题,智能信息检索和个性化信息服务成为目前信息服务研究的重点.该