论文部分内容阅读
ATLAS是一种高级测试语言,它对测试需求的描述不局限于任何特殊测试系统.文中对ATLAS的语言元素、数据类型、语句结构、测试需求结构等进行了简要介绍.
高级测试语言ATLAS
【摘 要】
：
ATLAS是一种高级测试语言,它对测试需求的描述不局限于任何特殊测试系统.文中对ATLAS的语言元素、数据类型、语句结构、测试需求结构等进行了简要介绍.
【机 构】
：
海军航空工程学院科研部
【出 处】
：
海军航空工程学院学报
【发表日期】
：
2002年4期
其他文献
在有限域GF（2^m）引进了开平方运算，描述了有限域GF（2^m）上利用开平方求幂的一种新方法。与经典的平方一乘求幂算法相比，在只增加少量预计算的情况下，新的方法所需GF（2^m）上的乘法运算
绿色防控与农产品贸易的融合是可持续发展的重要组成部分。绿色防控是我国农产品贸易可持续发展的重要保障。同时,农产品贸易的可持续发展是促进绿色防控的有效途径,二者之间
目的评价Ceramage聚合瓷贴面在前牙美容修复中的临床效果。方法选择2008—2011年来我院就诊并能完成随访的20例（男6例，女14例）前牙美容修复患者，总计116颗Ceramage聚合瓷贴面修复
介绍一种利用虚拟仪器软件开发环境LabWindows/CVI开发的位置伺服实验系统,在其上面可以方便地试验各种控制算法,为控制工程师提供了一个简单的控制器实验平台.采用软硬件结
目的探讨脊柱多曲段病变的病因、形成机制、各段之间的内在联系、诊治及预后等问题。方法采用回顾性研究方法统计1996.1—2002.4收治的1077例涉及脊柱各曲段的椎间盘病或/和
ORB算法图像匹配效果很大程度上依赖于特征点描述子的质量,针对传统ORB特征描述子稳定性差、抗噪性弱等不足,提出一种改进的ORB特征描述子图像匹配算法。通过改进的动态自适
为了进一步了解1型鸭甲型肝炎病毒(DHAV-1)的致病性,分析其近年来基因序列的变化,本实验对2018年取自山东某鸭场疑似发病鸭脏器进行病毒分离,RT-PCR鉴定,基因组序列测定和进
阐明了可靠性指标的提高虽使研制费用和购置费用增加,但由于高可靠性可以降低战斗机发生故障的概率,使维修工作量和备品备件减少,从而使得战斗机维修费用下降;进而介绍了可靠
目的了解艾滋病病毒/艾滋病(HIV/AIDS)合并深部真菌感染的临床状况、病原菌分类及耐药现状.方法总结近年来收治的131例HIV/AIDS患者的临床资料,分析深部真菌感染的发生情况及