Web应用的自动测试方法

介绍基于Internet的Web应用程序的自动测试方法,分别给出Web应用程序功能测试和性能测试的实现方法,对Web服务的快速开发提供了通用解决办法.     

Web服务技术的研究与应用

Web服务是一种新的Web应用程序分支,是自包含、自描述、模块化的应用,可以发布、定位、通过web调用.Web服务可执行从简单的请求到复杂商务处理的任何功能.一旦部署之后,其他Web服务应用程序可以发现并调用它部署的服务.提出了基于Web服务的教学管理系统模型,并详细阐述了该教学管理系统中成绩管理服务的实现,给出了该服务的WSDL描述.     

基于Web服务的SOA原型系统架构

基于SOA生命周期的建模、组装、部署和管理四个阶段,提出了一个基于Web服务标准的SOA原型系统架构。在组装阶段的服务选择引入基于本体的服务匹配器,并引入了服务质量（QoS）管理器;在管理阶段保证组合服务的正确执行提供了监控器、异常处理器和事务适配器和基于多值背景值依赖的方法的组合服务QoS管理器。提出了在组装阶段和管理阶段的双层QoS管理,为Web服务组合和SOA架构的研究提供了参考。     

一种面向终端用户的Web服务测试方法

面向终端用户的Web服务(Web Service)测试,是保证Web服务软件系统质量的重要技术手段。文章提出了一种Web服务应用环境下的测试模型和测试覆盖指标,旨在针对Web服务与应用环境进行交互的方式,测试Web服务的操作调用序列,为终端用户提供一种高效验证Web服务行为的方法,以提高基于Web服务软件系统的可靠性;并给出了测试覆盖分析支持工具WSCoverageAnalyzer的设计结构;最后基于一个Web服务Seller的应用案例,说明了所提出的方法。     

ASP.NET安全模型探究

安全是Web应用程序的重要组成部分.文章通过剖析ASP.NET安全模型,提出创建基于ASP.NET Web应用程序的安全编程原则,使开发者能够创建更为安全的Web应用程序.     

ASP环境下提供信息服务的安全技术研究与实现

在研究ASP工作机制的基础上,指出了ASP开发环境下提供Web服务存在的操作系统、数据库、IIS（Internet信息服务）、数据库、ASP应用程序4个方面的安全隐患,并提出了相应的解决方案.实践证明,这些方法在很大程度上能够提高Web系统的安全性.     

基于扩展π演算的长事务处理形式化描述

为了形式化描述复杂的长事务处理过程,在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上,提出了一种扩展的π演算模型,该模型不仅刻画出长事务的处理机制,而且解析了长事务的出错及补偿机制,使长事务处理过程更加清晰和直接.     

ASP.NET应用程序安全缺陷及预防策略

安全是Web应用程序的核心.许多Web应用程序是基于Windows的IIS服务,然而IIS机制过于简单,ASP.NET应用程序必须引入更多的安全机制.着重分析应用程序的一些安全缺陷,并通过实例提出一些预防策略.     

一种基于协作频度聚类的Web服务信任评估方法

在Web服务协作环境中选择可信赖的Web服务是分布式软件需要解决的一个关键问题,为此,提出了一种基于协作频度聚类的Web服务信任评估方法.该方法借鉴社会学信任模型,通过Web服务节点间的协作频度对Web服务进行聚类,提出个体信任度、群体信任度和综合信任度的概念,给出了一个Web服务信任度评估模型.还设计了一种基于全局信任管理和本地信任管理的Web服务信任度评估框架.通过构建Web服务库,对评估模型进行了模拟实验,证明了所提出的Web服务信任评估方法的可行性和有效性.     

基于Web服务的Agent模型研究

提出了兼容FIPA Agent的基于Web服务的WS-Agent模型.该模型将Agent分为通讯层、中间消息层和本体层.通讯层为双通道结构,一个用于ACL通讯,另一个用于Web服务通讯.中间消息层将ACL或SOAP消息格式转换为本体处理的统一消息格式.本体层是Agent的逻辑单元.UDDI-DF是兼容Agent DF和Web服务UDDI的目录服务模型,它以Agent DF为中心,利用服务描述翻译器和UDDI代理实现Web服务描述的操作.最后给出了WS-A-gent的通讯机制.     

基于模型的Web Service性能测试方法

为提高web service性能测试的效率和自动化程度,提出了一种基于模型的web service性能测试方法．web service性能测试模型分层建立,测试步骤模型、测试事务模型、测试调度模型从下至上可实现不同层间测试模型的重用．基于该模型编制了web service性能测试工具软件,并进行了实际应用,为基于模型的自动化性能测试提供了可行的解决方案．     

Web服务编排的并发事务逻辑模型

为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性.     

基于Web服务的多式联运流程

论述了Web服务下的多式联运的流程和信息整合,对其业务流程进行了分析,用BPEL4WS(Business Process Execution Language for Web Service)语言进行了Web服务下的多式联运流程建模描述。     

数据库防攻击的合法事务时序图自动生成方法

数据库受恶意事务入侵是危害数据库系统的重要根源,在数据库管理系统(DataBase Management System,DBMS)中提高对恶意事务的检测能力尤为重要.在一种基于事务时序图的DBMS恶意事务入侵检测机制的基础上,提出了一种基于数据库审计机制的合法事务时序图自动生成方法及其算法.方法首先引入自动化测试工具生成完备审计信息,然后规则化审计表并对其按用户名及事务号进行索引,最后利用产生算法和合并算法生成合法事务时序图.实验表明该方法具有较好的性能及较高的准确率,生成的事务时序图直观有效.     

基于关联规则挖掘的Web用户分类研究

对Web日志数据进行收集、预处理、划分事务并产生具备分类关联规则挖掘条件事务集,然后采用矩阵算法挖掘事务集中的关联规则,并利用关联规则构造分类器来对Web用户进行分类,同时对矩阵算法进行了改进.实验表明此方法是有效的.     

Web服务在重磁数据处理中的应用

介绍了Web服务涉及到的基础技术(XML、SOAP、WSDL和LIDDI)、Web服务的体系结构以及服务提供者、服务请求者和服务注册中心之间的关系．针对重磁数据处理方法，使用C#语言，利用Visual Studio．NET平台，详述了Web服务的创建、部署方法和引用过程，开发了重磁数据处理Web服务和网络重磁数据处理系统．其是地球物理数据处理方法在现代信息技术条件下应用的新探索。     

一种Web事务识别的新模型及其频繁路径挖掘

针对已有Web事务识别模型的缺点,提出一种识别Web事务的新模型———IPRC模型.该模型根据主索引页上的引用以及文档目录结构将网页分类,并以此作为识别Web事务的依据.在此基础上提出了一种挖掘频繁访问模式的算法WDHP,该算法继承了DHP算法使用hash树过滤候选集以及裁剪数据库的基本方法,并以访问路径树的方式将数据库存储于内存,在内存中完成后继的挖掘,不仅减少了扫描数据库的次数,而且大大降低了算法的时间复杂性.实验表明WDHP算法不仅优于DHP算法,而且也优于典型的基于内存的WAP算法.     

流程模板驱动的Web服务组合方法

通过将业务流程表达为流程模板,利用服务选取代理SAS使BPEL4WS与语义Web服务相集成,提出了流程模板驱动的Web服务组合方法。该方法可以根据任务的搜索模板动态地发现、选择和绑定相应的Web服务,将抽象的流程模板实例化为可执行的流程实例。与同类方法相比,该方法考虑了现有的BPEL4WS规范的技术能力。     

Collaborative Problem in Multi-agent System

In the MAS, system goal task can be decomposed into many transactions, which will be achieved by special agents distributed in different physical space. Due to complex coupling relations among transactions,transactions may form Waiting-Circle resulting in deadlock. Concerning the problem, this paper proposes two theorems developed for Waiting-Circle detection in transaction set and ensures the implement of goal task decomposition result. Furthermore, Circle-First Search is put forward to search all of the Waiting-Circle, which provide the basic guideline for decomposing goal task again and eliminate Waiting-Circle.     

企业交易均衡和经济交易的一般均衡（下）：兼论企业性质的二重性

在本文的前两部分中（见《淮海工学院学报》１９９９年第２期）,我们集中评价了企业交易模型的各种主要观点,并在此基础上建立了市场经济条件下关于企业的市场交易与内部交易的一般均衡模型（８）。尽管该模型比以前的任一模型都更完善,但该模型仍存在种种问题,因此,对其进行具体分析,并在分析的前提下进一步就市场经济条件下企业交易均衡的一般模型作以评价、对一般企业经济形态中的交易均衡和经济资源总量的扩张机制作以分析性论述,并于最终尝试性地提出和建立经济交易的一般均衡模型,这乃是本文后两部分所要解决的主要问题。３　…