【摘 要】
：
针对现有的测试用例描述方法不够严谨,容易产生二义性的问题,在研究目前已有测试用例描述方法的基础上,提出了用Z语言描述测试用例,并根据工程领域的应用需要确定了Z语言描述
论文部分内容阅读
针对现有的测试用例描述方法不够严谨,容易产生二义性的问题,在研究目前已有测试用例描述方法的基础上,提出了用Z语言描述测试用例,并根据工程领域的应用需要确定了Z语言描述测试用例的属性范围、符号用法、描述形式和流程,最后用Z语言描述了飞行器外测数据处理软件中时标修正功能的测试用例;结果表明,Z语言描述能够完备地描述测试用例的属性,并将数理逻辑应用于描述中,使测试用例的表述逻辑清晰、重点突出,有效避免模糊性和二义性。
其他文献
针对当前电机控制器使用的控制芯片成本高昂及性能一般的情况，设计使用DSP2808高性能控制芯片研究电压空间矢量控制算法控制交流异步电动机；使用电流传感器和光电编码器采集电
节点定位是无线传感器网络应用中的关键技术，Dv—Hop算法的定位精度不尽人意，因此将三方面改进的蝙蝠算法应用于Dv—Hop平均跳距的计算过程中，在Dv—Hop的第三阶段引入改进后的
针对机器人关节负载变化的特点，建立了机器人关节动力学模型，研究了机器人用自适应变结构滑模控制方法，并设计了机器人用的自适应变结构直接转矩伺服系统；利用Matlab软件将设计的
在移动IP网络中，由于三角路由算法效率不高，导致移动网络性能难以达到最优；文中将遗传算法和免疫算法结合构成免疫遗传算法应用于移动IP路由选择，该方法保留了遗传算法随机全局并
在最短的时间内对有毒气体进行有效检测和及时的预警关系到人们的生命安全。神经性毒气、气体种类和测量痕量浓度不同、分布随机性造成检测与预警的误差,设计一种以ARM-Linux技术为基础的毒气检测平台对有毒有害气体迅速、准确和痕量式测量;对化学传感器阵列多点测量进行分析,根据仪器的测量原理、结构,并设计了图像处理模块和光谱数据分析模块搭建了硬件系统平台;在此基础上利用可见光光谱分析的主成分分析法PCA(
针对模糊K—Means算法随机选择初始数据中心而导致的聚类效果不稳定的问题，提出了一种粒子群优化的模糊K—Means改进聚类算法。首先，定义了一个确定聚类数K和初始数据中心的算
针对广泛区域的气象图像中不同时期的图像数量及其巨大,经典匹配算法需要将气象图像与带检索的气象灰度、梯度等特征逐个进行对比,一旦区域过大使得气象遥感图像形成海量,将造成匹配耗费时间;为此提出了一种基于云计算的广域海量气象遥感图像检索技术;建立云计算图像搜索匹配模型,通过有效的采集特征参数值,运用匹配云转化处理,从而完成广域海量气象遥感图像检索匹配;克服了传统的图像检索过程的弊端;实验证明,这种算法能
针对航天飞行控制系统特点,对比了光纤通道协议的三种拓扑结构的应用,对实际特定应用中功能与需求结合不紧密的方面进行研究,提出了一种适用于航天领域分布式控制的光纤通信
导弹采用传统滑模变结构导引律攻击目标时,能够对参数摄动和外界干扰具有较强的鲁棒性,但当目标进行大机动时,存在目标加速度无法精确测量、视线角速率容易发散及导引律参数不易确定等缺点;针对上述问题,在研究变结构控制理论的基础上,将目标加速度视为干扰,设计一种快速趋近律,并采用模糊控制与神经网络理论分别对导引律比例参数项k与开关参数项ξ进行自适应调节,提出一种改进的攻击机动目标的导弹滑模变结构导引律;仿真
为满足交流用电仪器设备的时序要求，实现多路交流负载的无人值守配电，设计了一种基于MCgS12D64的自诊断型交流智能配电时序器；该时序器采用模块化设计，通过外围电路扩展和软件设