论文部分内容阅读
采用基于形式规范的测试模板框架(TTF)可使测试规范通用化.测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息.并使用结构法建立测试模板的层次,简化测试数据的导出,确定测试功能单元的有效输入空间,再细分为要求的子集或域,以得到最终测试数据模板.
形式化规范测试模板框架的研究
【摘 要】
：
采用基于形式规范的测试模板框架(TTF)可使测试规范通用化.测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息.并使用结构法建立
【机 构】
：
国防科技大学
【出 处】
：
兵工自动化
【发表日期】
：
2005年4期
其他文献
本文结合笔者多年工作的实践经验，对目前在高等级公路桥梁总体方案设计时应遵循的一些设计原则及设计要点进行了比较与分析，谨供大家作参考之用。
In order to evaluate the nutritional quality of Lota lota(Linnaeus) muscle,the common nutrient components,amino acid composition and fatty acid composition in m
针对摩托车减震器贮液筒和前叉立管的弧焊机器人自动化焊接，就摩托车减震器弧焊机器人工作站的组成，整体化技术、中央控制器和变位器的研制、焊接工艺进行论述。该摩托车减震器
介绍了一种能测试α-Fe2O3气敏元件参数的测试系统。该系统由上位机（PC）、下位机和测试箱3部分组成。下位机以80C552单片机为核心，以RAM62256（32K）作为数据存储器，MAX232芯片完成上下位机的串行通讯，实现对多个测试箱的监控。并给出了测试系统的硬件结构和工作原理，以及上位机软件系统框图。同时对该测试系统的优点进行了讨论。
书名：宅在故宫边：九方宅建造手记作者：张清帆张波出版：同济大学出版社出版日期：2013年07月文字：405千字开本：889 mm×1194 mm 1/24册数：2定价：￥69.00元本书的作者张清帆,建筑师、画
基于C／S的企业预算管理系统分为预算编制、预算执行和预算分析三部份。数据库系统由前端、应用程序和后台服务器组成。系统软件由预算编制与调整、请购与领料管理、合同与财务
办公室，这个一待就是八个钟头或者更久时间的地方，通常被日光灯、白墙以及格子间“装点”的如同坐牢，拘束了身体，也拘禁了思维，若是“智慧”公司，靠灵感吃饭，那这样的工作环境岂不被
摘 要：体育社团是国家发展体育运动的主要组织形式，是高校社团组织的重要组成部分，它可以促进高校体育工作的深入开展，促进终身体育发展，体育社团的规范化管理可以加速体育社团进步，促进校园精神文明建设，使体育社团实现可持续发展。 关键词：体育社团；规范化管理；体育延伸；研究 中图分类号：G812.45 文献标识码：A DOI：10.3969/j.issn.1006-1487.2014.04.025
介绍一种新型的微机数控线切割系统的软件、硬件的功能和特色。该系统将平面分为８个区，采用单步单方向和单步双方向两种进给插补方法，插补精度、加工效率和表面粗糙度等级都明显
针对某破甲弹试验用聚苯乙烯隋板的发泡工艺温度测控，采用数字温度传感器LM74和单片机89C51组成自优化规则模糊温度测控系统。其LM74实时记录温度，89C51监测和控制调温电热套内