可测标准中抽象测试套件(ATS)的构造方法

来源 :信息技术与标准化 | 被引量 : 1次 | 上传用户:zhumengen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
阐述了一致性测试的概念、方法、形式和实施过程,在此基础上对可测标准与被测标准作了划分和理解,结合国际地理信息标准一致性与测试中所给出的构造抽象测试套件的框架,并以"自然资源和地理空间基础信息库(信息库)"项目中一些可测标准的ATS典型实例为研究对象,从中总结了抽象测试套件的构造规律和方法。该方法对可测标准的一致性条款中构造一组层级清晰、目标明确、高质高效的抽象测试套件具有重要的意义。
其他文献
从数理逻辑及表的自身连接出发解析基于逻辑蕴涵的sql语言,融汇数据库原理及相关领域特别是数理逻辑中的知识,使数据库原理不仅仅是纯粹的逻辑关系的演绎,或几个理论点的汇集
教育腐败在现实中的表现是多种多样的,它可以分为“教育行政腐败、学校管理腐败、学术腐败”等几种。本文主要是指学校管理方面的腐败,指的是学校管理人员非正当使用学校管理权
为了了解和掌握城市和郊区浅部地温场的变化规律,在南京市城区和郊区分别建设了长期观测站,并选择了多个随机观测点,获得了一批地温场资料,通过分析发现:(1)城市地温场年平均温
信息时代的战场是数字化战场,而数字化地图是决策者指挥作战的重要依据,在未来信息化作战中发挥着极为重要的作用。本文简要回顾了数字化地图的发展,重点介绍了国内外在数字化地
施工管理是建筑工程项目从施工准备开始到竣工验收全过程的组织管理。工程项目的施工管理对于企业的经济效益和社会效益都至关重要。在房屋建筑工程施工中,质量关系着整个工程
采用基于PFC(2D)接触黏结模型的离散元数值模型,探讨含石量变化对土石混合体剪切特性的影响。利用室内大型直剪试验对表征土石混合体细观力学性质的模型参数进行标定,模拟分析
近年来,随着财政改革的不断深入,行政事业单位财务管理改革不断加强,通过审计监督和单位自身不断的强化管理,逐步建立起了比较完善的预算管理体制和收入、支出管理方式,使行政事业
泸江河上最著名的就是双龙桥了,当地人称十七孔桥。当年著名桥梁专家茅以升来双龙桥做实地考察后,在自己《仪态万千的我国古代桥梁》专著中,把建水双龙桥列入全国最著名的10