基于有限状态机的一致性测试例自动生成方法

一致性测试通俗地讲是测试被测设备（ＩＵＴ）是否符合有关标准。随着被测设备类型的增多，用手工方法产生测试例将是不可能的，所以，迫切需要寻找一种自动生成测试例的方法。本文提出的方法可以自动生成测试例，用这种方法产生的测试例的数目有一确定的上限。     

基于扩展有限状态机的一致性测试例生成研究

本文主要讨论基于扩展有限状态机的一致性测试例的生成方法,研究一种动态选择与自动机相结合的一致性测试集的生成技术,该技术可以对测试集进行有效优化,并能提高生成测试集的覆盖率。     

基于通信扩展有限状态机的测试集生成技术

在协议一致性测试中,选择恰当的测试例至关重要。文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型,重点探讨基于通信扩展有限状态机的测试集生成技术。     

基于有限状态机的健壮性测试研究

健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试。我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试。测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试。     

基于扩展有限状态机测试中测试输入数据自动选取的研究

扩展有限状态机(EFSM)模型是有限状态机(FSM)模型的一个扩展，它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件，通过EFSM我们可以更加精确地刻画软件系统的动态行为．基于EFSM的测试可以应用到许多领域，因此具有重要的研究价值和实际意义．许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法，但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入，增加了构造其测试输入的复杂性．我们认为基于EFSM测试的测试输入应该包含两个部分：即测试输入序列以及该输入序列上包含的输入变量的确定值(测试输入数据)．手工选取这些测试数据的工作十分繁琐，极大地增加了测试的花费，因此自动选取这些测试数据可以大大提高实际测试工作的效率．该文提出一种基于EFSM测试的测试数据自动选取方法，该方法利用两个关键的步骤：①区间削减和②分段梯度最优下降算法来自动选取测试数据．实验表明利用该方法可以自动选取大部分的测试数据，并且收敛速度较快；在某些无法得到确定解的情况下，区间削减也可以为测试人员提供一个较小的输入变量取值区间，方便了测试人员从中手工选择测试数据．     

BACnet应用层协议分析及其设计

BACnet应用层协议不但是BACnet协议四层体系结构中最复杂的一层,也是最能体现BACnet协议设计思想及其特点的一层.本文首先分析了BACnet应用层协议的特点及其功能,然后设计了一套BACnet应用层的实现方案,最后给出了此方案中的核心数据结构.     

基于扩展有限状态机测试序列生成方法研究

扩展有限状态机是对有限状态机的扩展,由于引入了变量、状态迁移的前置条件以及状态迁移所引起的操作,它的测试序列存在可执行性问题。讨论了基于扩展有限状态机的测试序列生成方法的主要特点及局限性,指出了有待进一步研究的若干问题。     

测试序列生成的形式方法

本文深入浅出系统全面的阐述了协议测试序列生成的形式方法。     

基于FSM的协议一致性测试序列生成算法研究

在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率,并且能够缩短测试序列的长度。     

基于通信多端口有限状态机的协议互操作性测试生成研究

协议测试是一种保证网络通信协议实现质量的重要技术,互操作性测试是一类常用的协议测试技术．文章提出了一种基于通信多端口有限状态机模型的协议互操作忡测试生成方法．首先采用已有的基于可达性分析的方法生成集中式测试序列;然后采用单一错误模型对其进行系统的错误覆盖分析,为达到更高的错误覆盖度,进一步提出一种增强的测试生成算法;最后讨论了互操作性测试巾的控制观察问题,选择适当的分布式测试架构,并进而生成分布式同步测试序列．实验结果表明：与原有方法相比,该方法可以有效地提高测试集的错误覆盖,并具备一定的可行性和有效性．     

BACnet应用层服务的编码实现

为了实现基于计算机的楼控子系统在BACnet上面的集成,需要用软件的方法构造BACnet的协议栈。BACnet应用层服务是BACnet中最为核心的内容,而APDU编码的实现是应用层服务实现的基础。阐述了BACnet应用层编码的基本原理,介绍了一种应用面向对象方法构造APDU编码的方法。采用读属性(ReadProperty)服务作为编码的例子,详细说明了应用层服务编码的过程。根据这种构造方法,能够方便地在计算机上面实现BACnet的协议栈。     

基于C++的BACnet协议应用层编解码实现

用抽象语法标注的BACnet网络协议数据单元可读性好，但是用传统过程调用方法实现协议编解码是一件复杂而繁重的工作。采用面向对象的C＋＋语言实现BACnet应用层协议数据单元编解码来达到“直接利用原有的协议数据单元定义完成协议数据单元编解码”的简化目的。     

BACnet网络与Internet互联的研究

BACnet即“楼宇自控网络的数据通讯协议”，是一种使不同厂家生产的楼宇自动控制设备能够互相通信和共享信息的开放协议。本文在论述并分析现有的BACnet网络与Internet互联的两种方式后，提出了一种BACnet/ IP网关互联方法，简化并统一了BACnet网络与Internet互联 。     

BACnet Ethernet与 BACnet IP网关的设计与实现

针对BACnet Ethernet驱动技术的应用局限性,设计了一种BACnet IP和BACnet Ethernet网关。通过基于微处理电路LM3S6911+的核心控制单元完成BACnet IP报文和BACnet Ethernet报文的双向解析与重新封装运算,实现了BACnet和IP通信协议之间的互通信和互操作,为楼宇自动化系统的高效便捷管理和先进优化算法嵌入楼宇自动化系统提供了新的途径。     

BACnet over IP的实现

就BACnet网络互联到Internet中进行了探讨,分析了BACnet与IP之间的主要区别,提出了“BACnetoverIP”的概念和BACnetoverIP网络的拓扑结构,阐述了BACnet报文在Internet网上的单播与广播实现机制和楼宇自动控制系统中采纳BACnet协议的必要性。     

INI文件操作及其在BACnet路由器设计中的应用

详细地介绍如何应用VC++对ini文件进行读写操作,以及其在BACnet路由器中的应用,如设备的初始化,参数的设定和读写,路由表的记录,等等.应用VC++操作ini文件方便灵活,系统在外部就可以进行数据的更新.尤其是在编写程序的过程中,当要访问的数据库路径改变时,只需要在ini文件中直接修改,而省去源代码中多处修改的麻烦.因此在实际的VC++应用程序开发中,适当地利用ini文件,可以很好地改善程序的可维护性.     

基于Java技术的BACnet/IP路由器的软件实现

对BACnet／IP网络体系结构和BACnet／IP互联网拓扑结构进行了分析．描述了BACnet／IP路由器的功能．提出了连接多个BACnet／IP网络的路由器软件要解决的关键技术问题，论证了Java技术用于开发BACnet／IP路由器软件的可行性．完成BACnet／IP路由器软件的实现。     

BACnet／IP基于UDP的技术解析

BACnet标准是用于楼宇自控网络的数据通信协议,其作用是使不同厂商的楼宇自控设备能够实现互操作。BACnet／IP则是基于IP技术的BACDnet标准,它将IP网络作为自己的局域网来构建大型BACnet网络。BACnet／IP技术的体系结构中构架于IP协议之上的是UDP协议,而不是TCP或自定义的IP协议包,这是与IP网络自身特点、BACnet标准的特点以及TCP和自定义IP协议包的特征限制等因素分不开的。本文通过技术分析说明了只有采用UDP协议,BACnet／IP技术才能够成功并高效地实现将BACnet网络构建于IP网络之上。     

BACnet软网关应用框架的设计与实现

楼宇网络中,经常遇到楼控设备使用私有协议的情况,为了使其能访问BACnet网络和方便BACnet工作站控制,通常的解决方法是开发BACnet软网关做协议转换。开发BACnet软网关的过程有很多工作是很繁琐重复的。本文提出了一种BACnet软网关应用框架的实现方案,通过封装BACnet协议和利用VC的应用程序框架,使windows平台上BACnet软网关开发过程得到简化和加速。     

基于TCP/IP的BACnet网络的实现

BACnet协议是楼宇自动和控制网络的开放标准。文章论述了基于TCP/IP的BACnet网络实现的意义,同时给出了BACnet／IP的体系结构和实现方案。并对使用TCP,rip协议实现BACnet网络互联和报文传输的应用进行了重点阐述。