【摘 要】
：
该文以Z测试规格说明作为推导测试用例的依据,探讨了从Z测试规格说明推导出测试用例的过程、方法和技术.所谓测试规格说明,是指从规格说明中的输入变量前置条件表达式、输入
论文部分内容阅读
该文以Z测试规格说明作为推导测试用例的依据,探讨了从Z测试规格说明推导出测试用例的过程、方法和技术.所谓测试规格说明,是指从规格说明中的输入变量前置条件表达式、输入输出变量基本约束条件以及输出函数抽取得到的以析取范式形式存在的谓词序列.使用域测试策略生成测试用例的过程如下:将测试规格说明变换成不等式组,然后对每一个不等式组利用1×1域测试策略生成域测试矩阵,最终得到测试用例包.该文提出了一种应用1×1域测试策略和线性不等式值转换器来构成一个从测试规格说明生成测试用例的方法.针对复杂谓词和非线性谓词难以产生测试用例的难点,该文在Akos Hajnal工作基础上改进了现有的域测试策略,将原来属于白盒测试范围内的路径测试策略运用于寻找谓词的上点-离点上,较好的解决了上述难点.该文通过给出几个实例研究(case study),说明如何使用1×域测试策略以及改进的域测试策略来实现从测试规格说明到测试用例的自动生成.
其他文献
本文研究了开发组件式地理信息系统平台的相关技术，给出了一个组件式地理信息系统平台的架构。 本文首先介绍了地理信息系统的组成、功能及其标准化等方面的内容，分析了组件
该文提出一个基于嵌入式Internet技术的UPS监控系统的实现,在RISC技术的8位单片机(ATmega161)加上以大网接口控制器和一些外扩芯片的硬件平台上,并选择以大网为其运行的网络
随着计算机技术的迅速发展，特别是网络技术的发展，计算机的应用越来越广泛和深入。各种旧有应用不断扩充，新的应用不断增加，各IT部门面临的问题也越来越多。诸如不同的硬件平台、
数据仓库已被成功的应用到辅助决策中.对于地理上分布的应用和移动应用,可以由中心数据仓库来处理,但是这样可能造成中心数据仓库的过量负载.随着网络的发展,可以在数据仓库
为了获取高效的BP网络学习系统,我们对于BP网络的结构以及影响网络学习性能的其它相关因素进行了探讨.特别的是,我们对于BP网络训练技术作出了进一步的分析与设计.BP算法引入
信度网推理是信度网研究的主要任务之一.目前应用较广的是联合树算法和桶消元算法.联合树算法的主要缺点是空间复杂性高、计算效率低.该论文对其进行了改进,提出了一个新的信
目前，如何简化应用程序开发流程、降低开发成本、提高效率并开发出可伸缩性、可用性、安全性好的应用程序变得尤其重要。Windows DNA是微软的多层分布式应用程序开发平台。它
在Web迅猛发展和半结构化信息急剧膨胀的今天,Web上的半结构化数据查询日益成为信息技术领域一个重要的研究发展方向.现有的一些Web查询语言在数据模型、查询方式、路径匹配