基于WAP协议的网关设计

WAP(Wireless Application Protocol)协议是面向无线上网而制定的一套规范,它主要包括WDP,WTP,WSP和WAE四个协议.WAP网关是整个无线上网系统中的核心结构,完成WAP协议栈和WWW协议栈之间的转换.本文根据WAP协议具体设计一个实用的WAP网关,共分为5个模块,WDP&Adapter模块,事务模块,对话模块,管理模块和HTTP模块.在事务和对话模块设计中,引入了有限自动机的概念,同时为了提高网关的整体效率,将散列技术,缓冲技术进行合理应用.     

什么是手机上网

WAP（Wireless Application Protocol）无线应用协议是一个开放式的标准协议,可以把网络上的信息传送到移动电话或其它无线通讯终端上。WAP是南爱立信（Ericsson）、诺基亚（Nokia）、摩托罗拉（Motorola）等通信业巨头在1997年成立的无线应用协议论坛（WAPForum）中所制定的。     

基于WAP的RWPQS系统的设计与探讨

文章简要介绍了何为WAP(Wireless Application Protocol)技术，阐述了基于GPRS的WAP应用的协议栈模型和网络结构，对RWPQS系统中监控模块的两个重要子模块做了流程图分析。     

无线Internet浅析

WAP由来 WAP是Wireless Application Protocol(无线应用协议)的缩写。WAP是一个通信协议和应用环境,它为CDMA(码分多路访问)、GSM(无线蜂窝网络)等移动系统而设计,利用WAP,数字无线电话以及其它无线设备的用户将能快速、安全地访问Internet和Intranet,获得     

小常识

<正> 何谓WAP? 无线应用协议WAP(Wireless Application Protocol)是制定在无线通讯设备(例如移动电话、PDA等)中执行Internet网络存取服务的开放标准。WAP所使用的协议类似HTTP的Internet协议,但主要是针对无线通讯设备所开发的,因为无线设备频宽有限,屏幕也较小,因此需要制定专门的协议来支持。只要手机能支持WAP,就可以经由无线通讯网路存取网际网络资源。(WAP论坛:http://www.wapforum.org)     

基于WAP的校园无线门户网站设计与实现

WAP(Wireless Application Protocol)是Internet与移动网络有机结合的技术,为无线数据应用提供了平台.通过详细介绍WAP技术的原理与编程开发模型,根据校园门户网站的新需求,将JSP(Java Server Pages)技术与WAP技术相结合,设计和开发了校园无线门户网站,提出了在开发过程中出现的关键技术问题,并给出相应的解决方案.     

网络时空

什么是WAP WAP(Wireless Application Protocol)就是“无线应用协议”之意。它是由一系列协议组成,用来标准化无线通信设备,例如蜂窝电话,移动终端,可用于Internel访问,包括收发电子邮件,访问WWW页面等等。 WAP将移动网络和Intemet以及公司的局域网紧密地联系起来,提供一种与网络种类、承运商和终端设备都独立的无地     

发展中的无线互联网

无线互联网正与WAP、GPRS、W-CDMA这些概念联系在一起,成为人们议论和关注的焦点;在WAP、GPRS、W-CD-MA三种技术的基础上,我们正迈向第三代移动通信时代。 技术探密 WAP概述 WAP是Wireless Application Protocol的缩写,即无线应用协议。WAP是一个通信协议和应用环境,它为CDMA、GSM、PHS、DECT等移动系统而设计;利用它,数字无线电话及其它无线设备用户将能快速、安全地存取和即时交互访问互联网和公司内部网,获得信息和先进的电话服务。WAP协议为现有无线通信网和Internet之间的通信架起了桥梁。     

一种新的J2ME平台下的战棋类游戏设计与实现

为了提高手机游戏的类型和丰富度,将游戏的世界设定在电路板之上,设计并实现了基于J2ME平台的战棋类游戏。介绍了战棋游戏设计方案、游戏世界的素材设计与实现以及游戏程序的设计流程,在J2ME Wireless Toolkit 2.2的手机模拟器中进行仿真,将游戏打包下载到手机上进行实机测试。实验结果表明,设计的游戏功能完整、运行流畅,同时整个游戏在PC机上进行设计和仿真,从而使其开发、测试和发布变得容易和廉价。     

像素艺术狂想曲——有感手机网络游戏开发

WAP是Wireless Application Protocol的缩写，即无线应用协议。它的出现把互联网和手机连接在一起，形成规模巨大的无线Internet市场。GPRS是在GSM基础上发展起来的成果，是介于第二代数字通信和第三代分组型移动业务之间的一种技术，上网速度是以前WAP手机的10倍。     

基于MSC的网络游戏软件测试方法研究*

针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体的网络游戏软件测试案例,给出上述测试方法和技术的解释。从理论角度验证了基于模型测试方法在网络游戏软件测试上的可行性;从技术角度表明了TTCN对网络游戏软件测试的有效性。     

IPv6邻居发现协议的一致性测试

Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。     

A Formal Approach to Protocol Interoperability Testing

Porotocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products.In this paper,we proposed a formal approach to protocol interoperability testing based on the operational semantics of Concurrent TTCN.We define Concurrent TTCN‘s operational semantics by using Labeled Transition System,and describe the interoperability test execution and test verdict based on Concurrent TTCN.This approach is very helpful for the formation of formal interoperability testing theory and construction of general interoperability testing system.     

A Formal Approach to Protocol Performance Testing

1IntroductionProtocoltestingisanimportantmeanstoensuretheinterconnectionandinteroperationbetweenprotocolproductsfromdifferentvendors.Currenttestactivitiesforprotocolscanbeclassifiedintothreeclassesaccordingtotheirtestpurpose:conformancetesting,inter-operabilitytestingandperformancetesting[1].Conformancetestingandinteroperabilitytestingarefunctionaltest,andperformancetesting,however,isdifferentfromthem.Itspurposeistotestthecharacteristicparametersofprotocolimplementation,suchaspackettransferdel…     

基于形式化方法的因特网路由协议的一致性测试

并发数表组合表述法(并发TTCN)是可以描述并发测试行为的测试表述法.该文提出一种基于并发TTCN的分布式路由协议的测试方法.首先讨论路由协议实体的测试结构,然后给出基于并发TTCN测试系统的设计.最后介绍了测试集的设计.     

基于TTCN的ICMPv6的一致性测试

基于TTCN的协议的一致性测试是保证协议实现正确的重要方法.在介绍ICMPv6协议和TTCN标准的基础上,构建了一种基于TTCN标准的一致性测试系统.介绍了该测试系统的架构与工作原理,同时给出了ICMPv6一致性测试的方法和步骤,并在测试平台上执行了测试套.     

WAP协议栈在Elastos平台上的设计与实现研究

Elastos是基于构件的嵌入式操作系统,应用于手机等数字移动设备中。WAP协议代表了主流的基于移动通信的互联网服务无线访问技术的发展方向。为了满足数字设备的无线应用需求,分析了现有的WAP协议规范及其应用模型,讨论了WAP中WSP和WTP两个部分的结构与技术细节,以Elastos系统平台为基础设计了构件化的WAP协议栈。并结合具体的CAR构件编程模型,依托Elastos的构件技术优势实现了具备基本功能的WAP协议栈。目前,WAP构件模块已稳定运行在实际手机应用项目中。     

A formal approach to protocol performance testing

This paper proposes a formal approach to protocol performance testing based on the extended concurrent TTCN,To meet the needs of protocol performance testing,concurrent TTCN is extended,and the extended concurrent TTCN‘s operational semantics is defined in terms of Input-Output Labeled Transition System.An architecture design of protocol performance test system is described,and an example of test cases and its test result are given.     

Testing communication protocols

The authors describe a unifying, common intermediate model that lets Lotos specifications and TTCN test suites be translated into extended finite-state machines, providing a single medium for conformance testing. The paper covers specifying a protocol in Lotos, specifying test suites in TTCN, translating specifications to CIM, and the generation, verification, selection, parametrization, and execution of tests     

一种形式化的基于TTCN的测试执行方法

探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了这一方法的整个执行过程，同时讨论了这个方法的一个具体实现．这种形式化的基于ＴＴＣＮ的测试执行方法非常适合于构造通用的协议测试系统，同时也是进行测试集的自动验证的有效手段.