传感器信号接口标准符合性测试研究

传感器信号接口标准是我国物联网标准体系的重要组成部分,专注于研究实现传感器互换性、互操作性功能所涉及的接口问题;标准定义了数据描述文件作为接口信息的载体,并规定了两种表述格式:XML格式和二进制格式。而标准符合性测试是标准顺利实施和产业化的重要手段;围绕数据描述文件的内容与格式,对信号接口标准的符合性测试方法进行了系统研究:XML格式的测试包括形式测试与有效性测试;二进制格式的测试包括结构测试与枚举测试;在此基础上,设计并实现了相应的测试平台,实验表明,平台可以实现错误查找、错误提示功能,满足符合性测试需求。     

基于XML的标准符合性测试方案

为了更好地提高标准符合性测试效率,对信息化标准的共性进行了研究,提出一个基于XML的标准符合性测试方案。给出了方案各阶段的具体测试策略,包括测试前的准备工作、测试用例的生成方法、测试用例的运行以及运行结果的符合性分析。该方案通过XML技术来格式化标准中的数据类型,对测试用例的生成采用边界值法和等价类划分法,并应用提出的测试结果分析法分析测试用例的运行结果。实验结果说明该方案可以有效提高标准符合性测试效率。     

基于ASP.NET平台对XML文件的深度遍历

XML作为网络中跨平台的数据交换的标准格式,在制作符合SCORM(Shared content object reference model)标准的共享课件中有着重要应用,其中,对imsmanifest.xml文件的遍历是一个关键性问题.通过分析ASP.NET平台上深度遍历imsmanifest.xml文件的过程,由此获得遍历任意XML文档的可行性方法.     

基于XML的数据安全交换

随着XML技术的发展与应用,XML文件成为了数据交换的标准,它为各个应用之间建立一个公共应用平台,解决了数据格式的相互转换问题。数据交换过程中,XML信息的安全性也是要考虑的一个重要因素。该文介绍了XML安全服务的标准,通过实例分析论证如何运用XML技术确保数据交换的安全性。     

基于XML的GIDO描述和入侵检测规则描述

本文在CIDF框架的基础上,针对通用入侵检测规范语言(CISL)描述通用入侵检测对象(GIDO)难以被人们所理解,提出采用具有易于数据描述和理解等优势的XML语言来对GIDO进行描述。同时,针对Snort入侵检测系统在入侵检测规则的描述上过于粗略、不易扩充等不足,利用XML语言易于理解、扩充和完整描述数据等优点,对Snort的入侵检测规则定义进行了修改和完善,并给出了基于XML的入侵检测规则描述。最后列举了一个完整的应用实例。     

基于XML Schema的XML弱函数依赖及其推理规则

为了解决不完全信息环境下可扩展标记语言(XML)弱函数依赖的逻辑蕴涵问题,基于XML Schema研究了XML弱函数依赖及其推理规则。给出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价、子树信息相容的概念提出了XML弱函数依赖的定义和性质;提出了相应的推理规则集,并对其正确性和完备性进行了证明。为不完全信息环境下存在XML弱函数依赖的XML Schema规范化的研究奠定了基础。     

基于XML Schema的XML强多值依赖的推理规则集

XML强多值依赖的推理规则集问题是解决不完全信息环境下XML数据依赖蕴涵问题的基础,是不完全信息环境下XML模式设计理论的关键问题之一。提出了XML Schema、符合XML Schema的不完全XML文档树等概念;基于子树信息等价和子树信息相容的概念提出了XML强多值依赖的定义及性质;给出了相应的推理规则集,并对其正确性和完备性进行了证明。研究成果为不完全信息环境下存在XSMVD的XML Schema设计奠定了基础。     

基于ATML标准的测试信息描述研究

当前测试领域缺乏一个广为接受的测试信息交换标准,这已成为自动测试系统向前发展的一个瓶颈,为了解决此问题,IEEE发布了ATML标准,该标准使用XML语言进行ATS的测试信息的标准化交换;文章首先介绍了ATML标准的目标与具体组成,然后以测试结果为例,实现了基于ATML标准的测试结果信息的标准化描述;为了方便测试软件的开发,本文开发了测试结果组件,测试软件中直接调用测试结果组件以生成符合ATML标准的测试结果文件。     

面向细粒度XML文档的BIBA严格完整性策略扩展

本文对细粒度XML文档上的BIBA严格完整性策略进行了研究。通过对XML文档的结构约束进行分析,建立了XML文档上的完整性约束规则,从而将BIBA严格完整性策略扩展到了XML文档上;建立一个包含完整性属性的XML文档模型,对XML文档的结构特点进行了分析;提出了完整性标签传播规则,以支持部分标记完整性的XML文档;最后对完整性策略的实现机制进行了讨论。     

利用XML实现“我的同学录”

一、XML简介 XML在问世的时候就被赋予电子商务世界语的美称,原因在于XML不仅简单,而且还是结构化的ASCⅡ文本语言,任何人都能读懂它。与HTML语言需要预先定义语法集不同,XML文件虽然要遵循通用的语法规则,但真正的关键词则是由作者决定的。其含义可由DTD文件或者Schema来定义。使用DTD或Schema的XML文件可以说是一个自我解释的文件,在数据集成化和出错调整时都很有用。XML的结构化模式使得数据和信息可以在应用程序之间相互传递,包括在多层应用的中间层之间。它提供一个标     

用XML文件保存应用程序的配置信息

随着XML在跨平台数据交换技术中的广泛应用,越来越多的软件采用XML文件作为配置文件的形式。本文通过一个实例讲述在C Builder中用XML文件保存应用程序的配置信息的实现过程。     

用XML文件保存应用程序的配置信息

随着XML在跨平台数据交换技术中的广泛应用。越来越多的软件采用XML文件作为配置文件的形式。本文通过一个实例讲述在C＋＋Builder中用XML文件保存应用程序的配置信息的实现过程。     

基于Schema的XML文档到关系数据库的转换

XML已成为Internet数据表示和数据交换的标准,XML在不同的领域得到了广泛的应用,越来越多的数据采用XML格式表示,因此如何有效存储和查询XML数据已成为研究的热点问题。对基于XML Schema的XML文档在关系数据库中的存储进行了说明,提出了相应的存储方法,并实现了XML文档到关系数据库的转换。     

一种支持XML的文件系统构建模型

XML作为数据存储和传输的标准,已经广泛应用于网络和数据库等数据处理系统中.针对大量出现的XML数据,传统的基于字节流的文件系统因其不具备存储和管理语义结构的能力,只能将XML数据视为普通的文本文档进行存储和管理,因而不能充分利用XML的半结构化等优点进行高效的细粒度的信息管理.本文在研究基于XML的数据库系统和语义文件系统的基础上,提出一种新型的基于XML的文件系统模型,并在传统文件系统上利用目录和文件分别存储XML文件的元素和属性实现一种语义结构的存储,使文件系统具备对信息的细粒度控制.     

基于LDRA Testbed的民用机载软件静态测试方法

静态测试作为软件测试的重要方法,是保证民用机载软件中安全关键软件质量的关键步骤。介绍静态测试的概念和方法,采用自动化分析方法,基于软件分析工具LDRA Testbed从主要静态分析、复杂度分析、静态数据流、交叉索引、信息流和数据对象分析六大部分完成软件的静态测试过程,探究其测试原理和关键标准文件的配置,生成相应的代码审查和测试度量报告,以有效提高民用机载软件质量。     

基于SilkTest和XML的通用高效的用户界面测试方法

在软件测试中,用户界面(UI)测试是保证软件质量、提高软件可靠性的不可或缺的一部分。针对句柄识别UI的测试方法缺乏稳定性和通用性,通过引入可扩展标记语言(XML),提出了一种基于XML对UI控件识别并测试的改进方法。利用XML处理数据便捷的特点,结合自动化测试工具SilkTest,对传统UI测试进行了改进。并且根据所提方法,针对AutoCAD产品多语言多版本的特点,设计了对其系列产品对话框的自动化测试方案。实验结果表明,改进后的方法能够缩短控件的识别时间,减少了测试脚本的冗余量,提高了测试的效率,也提高了UI识别的稳定性。     

基于XML的产品信息模型网络转换技术研究

针对当前网络化设计和制造中存在的异构问题,分析了将XML语言和STEP标准结合来表达产品和发布产品数据的技术方法,并基于对STEP物理文件的数据分析,设计出XML与STEP格式文档相互转化的转化器,并结合弹丸制造例子给以说明。     

Flexible XML‐based configuration of physical simulations

The extensible markup language XML can be used to support the integration of several component programming environments to create a flexible physical simulation system. Data exchange via open‐standard‐based plain text files allows system components to be loosely‐coupled, rather than combined into an integrated development environment, so that the most appropriate tools can be used for each component and the system can be extended with minimal disruption. This paper details an example application using this technology to configure a simulation of robotic manipulation. Those parts of the system that require real‐time data exchange use simple UNIX socket‐based interactions, which are configured using shared XML setup files. The approach provides a reusable template for other, similar projects. Copyright © 2004 John Wiley & Sons, Ltd.     

基于ATML标准的空空导弹ATS标准化描述

ATML标准是现今测试领域的一个信息存储和传递的标准,已日益受到各国测试行业人士的关注.它以XML文件形式组织测试过程全寿命周期信息,这种不需要任何编译环境及特定运行平台要求的信息中间载体为实现仪器可互换性和TPS重用性、可移植性提供了很好的基础,是下一代自动测试系统关键技术的重要组成部分.空空导弹的测试具有一定的特殊性,ATML标准需要进行适当的裁剪和扩充.