[发明专利]标准一致性测试方法及系统有效
申请号: | 201510079504.1 | 申请日: | 2015-02-13 |
公开(公告)号: | CN104699960B | 公开(公告)日: | 2019-01-15 |
发明(设计)人: | 高昂;万波;徐世武;于旭;朱虹;王淑敏;吴亮;张发勇;范晓翔 | 申请(专利权)人: | 中国标准化研究院;武汉中地数码科技有限公司;中国标准科技集团有限公司 |
主分类号: | G06F16/909 | 分类号: | G06F16/909;G06F17/27 |
代理公司: | 北京三聚阳光知识产权代理有限公司 11250 | 代理人: | 穆瑞丹 |
地址: | 100191*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 标准 一致性 测试 方法 系统 | ||
1.一种地理信息标准的一致性测试方法,其特征在于,包括:
接收测试问题及其赋值,所述测试问题是用于判断被测地理信息标准和可测地理信息标准间是否具有一致性的测试问题;
判断所述测试问题是否具有二义性;
当所述测试问题具有二义性时,对所述赋值进行二义性语义分析而获得所述赋值包含的语义间的函数依赖;
判断所述函数依赖是否是最小函数依赖;
根据所述函数依赖是否是最小函数依赖,判断所述被测地理信息标准和所述可测地理信息标准间是否具有一致性;
当所述测试问题不具有二义性时,根据所述赋值直接判断所述被测地理信息标准和所述可测地理信息标准间在所述测试问题涉及部分是否具有一致性。
2.根据权利要求1所述的方法,其特征在于,所述根据所述函数依赖是否是最小函数依赖,判断所述被测地理信息标准和所述可测地理信息标准间是否具有一致性,包括:
当所述函数依赖是最小函数依赖时,判断所述被测地理信息标准和所述可测地理信息标准间具有一致性;
当所述函数依赖不是最小函数依赖时,判断需要人工干预。
3.一种地理信息标准的一致性测试系统,其特征在于,包括:
接收单元,用于接收测试问题的赋值,所述测试问题是用于判断被测地理信息标准和可测地理信息标准间是否具有一致性的测试问题;
二义性判断单元,用于判断所述测试问题是否具有二义性;
语义分析单元,用于当所述测试问题具有二义性时,对所述赋值进行二义性语义分析而获得所述赋值包含的语义间的函数依赖;
函数依赖判断单元,用于判断所述函数依赖是否是最小函数依赖;
第一一致性判断单元,用于根据所述函数依赖是否是最小函数依赖,判断所述被测地理信息标准和所述可测地理信息标准间是否具有一致性;
第二一致性判断单元,用于当所述测试问题不具有二义性时,根据所述赋值直接判断所述被测地理信息标准和所述可测地理信息标准间在所述测试问题涉及部分是否具有一致性。
4.根据权利要求3所述的系统,其特征在于,所述第一一致性判断单元还用于:
当所述函数依赖是最小函数依赖时,判断所述被测地理信息标准和所述可测地理信息标准间具有一致性;
当所述函数依赖不是最小函数依赖时,判断需要人工干预。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国标准化研究院;武汉中地数码科技有限公司;中国标准科技集团有限公司,未经中国标准化研究院;武汉中地数码科技有限公司;中国标准科技集团有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201510079504.1/1.html,转载请声明来源钻瓜专利网。