一种验证Web应用设计的方法

提出一种表示Web应用的请求/响应导航关系的形式化行为模型,给出一种基于模型检查的Web应用设计的验证方法并描述了用时态逻辑CTL表示Web应用性质的方法.设计了一个检验方法可行性的原型框架,该原型嵌入自动化模型检查工具NuSMV,提供从UML设计模型到形式化模型的自动转换,在将用户输入的性质和形式化模型合并为NuSMV程序后,运行NuSMV进行自动化验证.     

一种Web应用测试生成与约简方法

软件测试是保证软件质量的一种重要手段,而复杂的Web应用对测试提出了新的要求.提出一种Web应用测试生成与约简方法,该方法对Web应用导航进行形式建模,使用模型检验导航安全性质所输出的反例分化模型,然后根据分化模型产生测试序列,依据Web应用的特性对测试序列集进行约简.实例演示表明该方法的有效性.     

一种组合的Web应用测试建模方法

应用Web建立一个清晰的测试模型能够帮助指导测试工作,为下一步形成测试用例,执行测试奠定基础。在分析Web应用现有测试模型的基础上,提出了一种从对象、导航行为、系统结构3个方面进行分析的建模方法,分别介绍了3种模型的建模方法及相应的测试用例生成办法,扩充了以往对象模型的关系结构,将浏览器行为的影响加入到导航行为模型中,根据控制流和数据流来反映系统结构。这种组合模型充分考虑了Web应用的特性,直观全面地反映了Web应用的各方面关系,能够有效指导测试工作。     

分布异构网络环境下数据访问设计

在现有Web数据库访问技术的基础上 ,引入了分布式对象技术 :CORBA(CommonObjectRequestBrokerArchitecture) ,来构建基于CORBA的Web数据库系统的体系结构。本文论述了基于分布对象技术的Web数据库访问的对象表述、访问方法和设计过程 ,并应用公司职员档案管理系统实例进行分析和论述。     

开源Web自动化测试框架的改进研究

目前,Web应用“捕捉/回放”式测试复用率不高,而编写测试脚本的测试方法对测试人员的程序设计能力又有较高要求。针对这个问题,根据Web应用的特性提出了一套自动化测试框架的设计,并基于开源Web自动化测试工具Selenium为此框架设计了一套“私有语言”,即基于XML的数据驱动文件的解析规则,最后实现了基于此数据驱动文件的Web自动化测试框架。数据驱动文件描述了Web应用行为的多请求/响应的模型,清晰地定义了外部测试数据以避免数据“硬编码”的缺陷。利用此框架,测试人员仅仅通过编写XML数据驱动文件就能进行测试工程的开发,有效降低测试门槛,提高测试效率。     

中间应用服务器中分布对象事务服务管理技术研究

以“八六三”课题“基于Web的应用服务器集成框架研究”中的对象事务管理系统为基础,提出了基于CORBA分布式应用体系结构的对象事务服务管理系统模型。该模型由传统的事务处理技术结合分布对象技术发展而来,并且在中间应用服务器中实现了对象事务管理子系统。由于它本身是作为基于Web的中间应用服务器的一部分,因此能够很好地满足Web环境下的分布式应用需求。     

基于互联网的个性化制造系统总体构架研究

文章分析了 CIMS环境下柔性制造核心技术群的体系结构 ,提出了一种基于互联网的个性化制造系统新概念 ,个性化制造系统就是在互联网环境下 ,能够使个体用户参与企业的产品设计与制造过程 ,从而实现产品的个性化 ,提高产品创新能力。同时提出了面向对象并适合个体用户使用的产品设计构架——基于 Web的产品驱动模式 ,并对其实施方法及特点进行了分析。     

Abstract model checking for Web services

Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.     

新一代Web三维图形标准X3D及其应用

随着Web应用的发展,基于Web的虚拟现实技术得到广泛的应用.在Web三维图形技术领域,原有的技术标准VRML(Virtual Reality Modeling Language)由于自身的缺点难以适应Web3D的应用发展,为此Web3D联盟提出了新一代Web三维图形标准X3D(Extensible 3D Specification).X3D采用模块化的结构,使用多种文件编码形式,有统一的应用程序模型界面以及可扩展的规格结构,是开放的、可扩展的标准.笔者分析了X3D的技术特点,并对它的产生背景、发展现状及支持工具作了介绍.然后在此基础上给出了一个应用的实例.     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

分布式对象及主流技术比较研究

分布式对象技术已经成为建立服务应用框架和软构件的核心技术,在开发大型分布式应用系统中表现出强大的生命力.本文在介绍了分布对象技术产生与发展的基础上,重点论述了分布对象计算技术的核心概念,三种主流技术及发展趋势,最后就分布对象技术与Internet的融合从而形成的ObjectWeb技术的产生、定义及应用内涵和技术内涵进行了介绍.     

基于UML的CASE平台的代码自动生成

为进一步推广UML这一主流面向对象方法的建模标准的实际应用,研究基于UML软件开发过程的可视化CASE平台的体系结构,探讨面向对象的通用代码生成机制.设计了目标语言C++的代码生成结构,分析了模型中各种建模元素与生成的源代码之间的映射关系,提出了代码生成器由模型检查子系统、模型属性设置子系统和代码生成子系统3部分构成.最终实现了基于UML可视化CASE平台的C++源代码的自动生成.     

Web应用测试框架研究

建立一个适应Web应用特性的测试框架,以便于指导、组织测试过程中的各项工作.在分析Web应用特点和传统软件测试流程的基础上,对测试需求分析、测试用例生成选择、测试执行和测试结果分析度量等一系列测试过程加以描述和表示,形成一套规范化、易操作和可扩展的测试流程;研究Web应用测试框架实现技术,分层次表示Web应用模型,采用组合测试等策略生成测试用例,通过Agent自动执行测试并实现测试结果的比较、度量和反馈;有机集成并有效实现各个测试步骤,使之适应Internet环境并积极有效地发挥其指导作用.     

基于Web services构建动态电子商务

Web services是新一代电子商务和企业应用集成(EAI)解决方案的核心和关键。刻划了Web services的层次结构,阐述了它的运作机制和模式,对基于Web services的动态电子商务的概念和特点对其模型做了较为深入的研究,并给出了面向应用的动态电子商务的体系结构框架,通过具体的例子说明了Web services在电子商务中的应用。     

异构Web对象共指冲突识别与消解研究

针对现有的语义Web 中对象共指的消解工作研究不足,提出了一种异构Web数据流对象共指消解的技术.首先,定义了Web数据流对象的对象共指冲突识别与消解框架;然后,提出了一种基于描述逻辑的对象共指识别技术,归纳给出了描述逻辑的层次依赖关系并提出了基于依赖图的冲突遍历识别算法;并且,在冲突消解方面,定义了冲突的三种类型、冲突消解匹配模式与仲裁消解算法;最后,分别用测试集检验了本文提出的异构Web数据流冲突识别与消解技术的应用效果.     

超媒体数据库三层数据模型

提出了超媒体数据库应用的三层数据模型,并给出了使用ＤＢＨＭ方法设计的一个实例。ＤＢＨＭ模型由上至下包括表现层、逻辑层,存储层等三个层次,各自对应于导航模型,对象模型以及关系模型。     

重写技术在面向对象程序维护中的应用

在面向对象程序的系统中,如何有效地实现程序的测试和维护是软件工程研究所关注的和比较难以解决的问题．结合面向对象程序设计的思想和重写技术的应用,提出了程序重写技术的基本思想及其框架结构,该模型在借鉴了抽象的重写系统和重写逻辑的基础上,构造了面向对象程序的重写理论,并定义了重写系统的模型．在该模型中,通过研究并定义对象行为的三种状态（即初态,中态,终态）变换,结合实际可能使用的重写规则,可将对程序行为的描述重写成所包含对象状态变换的描述,进而实现用对象运行状态的范式形式来描述程序行为的目的．在严格地定义了相关概念后,给出了该模型的语义解释及其在程序测试和维护中的应用．     

Behavior Model Construction for Client Side of Modern Web Applications

Most of the behavior models with respect to Web applications focus on sequencing of events,without regard for the changes of parameters or elements and the relationship between trigger conditions of events and Web pages.As a result,these models are not sufficient to effectively represent the dynamic behavior of the Web2.0 application.Therefore,in this paper,to appropriately describe the dynamic behavior of the client side of Web applications,we define a novel Client-side Behavior Model(CBM) for Web applications and present a user behavior trace-based modeling method to automatically generate and optimize CBMs.To verify the effectiveness of our method,we conduct a series of experiments on six Web applications according to three types of user behavior traces.The experimental results show that our modeling method can construct CBMs automatically and effectively,and the CBMs built are more precise to represent the dynamic behavior of Web applications.     

一种高效的分布式数据库完整性技术

研究高效的分布式数据库完整性技术以准确评估完整性检查的预期代价,现在仍是一个难以解决的问题.为此,文中提出了一个新的完整性检查策略,设计了分别采取局部预测试策略和支持测试策略的两种完整性测试生成算法,并使用人工智能的降维技术建立代价评估模型,为完整性检查代价估算提供一个量化比对的依据.文中还通过分布式数据库实验对完整性测试、数据获取量、网络数据传送量和参与计算的网络站点数进行了验证,结果表明,文中提出的策略、算法有效降低了分布式数据库的完整性检查代价,所建立的代价评估模型能对代价进行准确评估.