一种新的边界测试数据自动生成方法研究

来源 :北京化工大学 | 被引量 : 5次 | 上传用户:lxlhenhao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是对软件功能、设计和实现的最终审定,是保证软件质量,提高软件可靠性的主要技术手段。测试数据生成是软件测试的核心与关键。 边界是特别容易出现故障的地方。针对边界附近的处理,设计专门的测试用例,常常可以取得良好的测试效果。边界值测试是一种常用的功能测试方法。 软件容错通过软件冗余,来屏蔽软件故障,改善软件系统的可靠性。N版本程序设计是一种通用的软件容错方法。冗余捆绑式惯性测量单元-RSDIMU(Redundant Strapped-Down Inertial Measurement Unit)是采用N版本程序设计方法开发的容错软件。 本文提出了一种新的边界测试数据生成方法,并开发了一个相应的测试数据自动生成工具。针对RSDIMU容错软件的需求规范,开发了52个测试用例,对CUHK开发的34个版本的RSDIMU程序和429个变异体进行了测试。在经过验收测试的34个版本的RSDIMU程序中,又发现了7个软件故障,并且这52个测试用例可以检测到所有429个变异体中的故障。同时和采用边界值分析、健壮性测试、最坏情况测试和健壮最坏情况测试等边界值测试方法设计的4组测试用例进行了分析比较。实验表明:本文提出的方法是一种非常有效的边界测试数据生成方法,不仅可以
其他文献
本文通过研究在一个实时系统中会有多类型任务的出现,将实时任务按照到达模式和截止时间类型两个纬度进行分类。并且在分析了诸多的调度算法中,对截止时间单调调度算法进行了
在计算机三维仿真应用中,数字地形模型系统占据了相当重要的地位,对整个应用的用户感官感受起到了非常大的影响,利用数字地形模型,三维仿真系统能实现整个场景的漫游,能更好的使用
随着Internet上的多媒体信息的日渐丰富,人们需要传输大量的视频、音频等二进制数据。传统的多媒体资源传输方式是客户端/服务器模式——客户端获取资源,服务器端发布资源。
随着先进制造技术研究与应用的不断深入,产品数据管理(PDM)和计算机辅助工艺设计(CAPP)己成为制造业实施生产自动化和企业信息化的重要组成部分。为了解决传统CAPP系统存在的
图形处理单元(GPU)具有价格低廉和计算能力强大等特点,这使其近年来在高性能计算领域日益风靡。新的编程语言CUDA和OpenCL的出现使得GPU编程变得广为接受,但是GPU编程仍然是很复
Web服务作为新一代的开放分布式处理技术,具有高度的互操作特征,易于将一些现有应用集成为新系统。但随着Web服务广泛使用,如何动态地进行Web服务的交互及集成成为软件技术研
近年来,数据挖掘己经引起了信息产业界的极大关注,这是快速增长的数据量和日益贫乏的信息量之间矛盾运动的必然结果,对数据挖掘技术进行系统、深入、全面、详尽地研究是全球
Internet的飞速发展使得人们能够更加方便地通过网络进行协同工作、发布各种形式的多媒体产品,如文本、图像、音频、视频以及三维模型等。然而,便捷的网络环境也使得非法占有、
在全面介绍了基于内容的图象检索的底层视觉特征——颜色、形状和纹理特征的提取方法、相似性度量方法及检索算法评价指标后,论文着重研究了颜色直方图及包含图象空间信息的
手语是聋哑人和外界交流的主要途径,对手语识别的研究有助于听障群体与其他人进行交流,并无障碍的享受社会提供的服务。  在对手语识别进行研究的基础上,我们也对手语识别相关