【摘 要】
：
软件测试是保证软件质量的一种重要手段,测试数据的数量和质量决定着测试的成本和效率.在基于范畴划分的XPath测试中,存在着测试数据集规模过大、测试开销过高的问题.为此,提
【机 构】
：
华侨大学计算机科学与技术学院,福建厦门,361021中国科学院计算机网络信息中心,北京100190;中国科学院大学,北京100190;
论文部分内容阅读
软件测试是保证软件质量的一种重要手段,测试数据的数量和质量决定着测试的成本和效率.在基于范畴划分的XPath测试中,存在着测试数据集规模过大、测试开销过高的问题.为此,提出一种利用XML模式信息有效约简XPath测试集的方法.该方法首先计算XML模式中的结构约束信息,例如元素允许出现的次数、元素之间的父子关系、兄弟关系等;然后利用这些信息去除范畴划分时产生的无效选择和选择的无效组合,从而减少最终测试集中的无效XML文档.理论分析和实验表明,在揭错能力较强的两种范畴划分覆盖准则下,该方法能有效减小测试集规模,从而降低测试成本、提高测试效率.
其他文献
根据新近出台的《宁德市海上水产养殖综合整治工作方案》，至2015年需清退三沙湾和沙埕港内养殖网箱15万口，相当于两港湾养殖网箱量的1/4。
地测信息系统(CGIS)的研制开发主要包括数据库的建立,图形的生成与编辑,三维模型的建立与应用等内容。其中,数据库的建立涉及煤矿地质、测量、水文、储量数据的采集、计算、查询与报表,它是系统的基础;三维模型的建立是煤矿多层实体模型数据对应与分析的前提;图形的生成与编辑涉及煤矿柱状类、剖面类、平面类、采掘工程类图件等常规图件的自动化生成与整饰,它是成果的最终表现形式。
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
网络课程就是通过网络表现的课堂教学、课外学习的内容和目标体系，以及网络教与学的各种活动的总体规划及其进程。网络课程中教学信息的表达较传统教学更活泼、更有效，更容易激
文章以建筑工程项目在施工过程中所开展风险管理工作的结果为主要背景,首先归纳了风险的种类,然后通过将理论与实际相结合的方式,对风险管理工作涵盖的内容进行了详细的分析,
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
随着我国对环境保护的日益重视,极大的促进了我国风景园林事业的发展.风景园林不仅具有美化城市的功能,同时还能为人们提供更加惬意的休闲场所,进而提高城市居民的生活品质.