【摘 要】
：
通过对中文文档格式标准＂标文通＂（UOF）和XML实例文档进行形式化定义,统一了文档转换器测试功能点粒度划分标准,实现了测试用例覆盖率的度量;设计基于两两组合覆盖算法的文档转换
【基金项目】
：
北京市学科与研究生教育基金资助项目（PXM2012-014224-000038）, 北京信息科技大学基金资助项目（5028223400）
论文部分内容阅读
通过对中文文档格式标准＂标文通＂（UOF）和XML实例文档进行形式化定义,统一了文档转换器测试功能点粒度划分标准,实现了测试用例覆盖率的度量;设计基于两两组合覆盖算法的文档转换器集成测试数据集构造方法,得到最小化的测试用例集,解决了文档转换器的人工集成测试用例设计简单、增量策略不合理、用例数量随着输入参数的增加呈指数增长等问题。在此基础上开发了文档转换器测试用例生成原型系统。实验表明：该系统可以生成文档转换器集成测试用例,在保证测试用例覆盖率的基础上,有效降低集成测试用例数量,减少测试用例设计时间,提高测
其他文献
针对军事技术情报机构的效率评价问题，提出了含偏序约束锥的数据包络分析的方法；在对决策单元进行排序的基础上进一步分析了低效率决策单元的冗余率和产出不足率。实际案例计算
研究了一类随机多值周期问题解的存在性,在非常一般的假定下建立了凸和非凸问题解的存在性定理,给出了在随机周期反馈控制系统中的应用。
针对文档互操作性测试目的，在分析互操作种类和需求的基础上，系统地定义了相关概念，提出了互操作度量模型。并实际度量了ODF、OOXML和UOF三种文档格式的互操作性。互操作性测试
针对分组交换网性能评价问题，首先运用确定网络演算理论与方法，分析了航空全双工交换以太网（AFDX，Avionics Full DupleX Switched Ethemet）中数据传输的性能，证明了AFDX数据传输的
对第三代移动通信技术（3G）增值业务的快速发展所带来的运营商和服务提供商的分成博弈问题，深入分析了3G增值业务市场的特殊性；利用埃奇沃斯盒式图原理建立电信运营商和3G业务服务
提出开放的复合文档OpenCDF模型来解决文档的信息集成和处理问题。OpenCDF被定义为一个文档容器,其中包含若干个微文档对象和一个文档框架。容器内各个微文档对象可符合不同
针对输液泵故障、输液速度失控的情况，设计了一种基于背景差分法和Laplace边缘检测算子的液滴检测与体积计量方法。该方法利用运动目标检测和边缘检测方法，消除了外部噪声造成
自2005年以来,我科应用强脉冲光子治疗仪(皇后光嫩肤仪)治疗局部色素性皮损68例,获得满意疗效,现报道如下。1资料与方法1.1一般资料本组接受治疗的病例68例,男性2例,女性66例
将苝四甲酸二酐（3,4,9,10-perlenetetracrboxylic dianhydride,PTCDA）真空蒸发到无机半导体p-Si衬底上,研制的p-Si/PTCDA异质结光电探测器,对光照非常敏感,是一种响应度很高的
对网络系统中的时延等性能指标问题，利用随机网络演算对单节点服务器建立ON／OFF到达模型和常速率服务器模型，建立了单节点服务器的时延分析框架，求解得到时延的边界，并通过NS2仿真