基于OWL-S文档的Web服务测试用例生成

若从使用者的角度测试Web服务,只能从服务的接口文档中提取信息进行测试工作.现有工作提出通过分析文档中的输入或输出参数获取测试数据的方法.利用OWL-S文档中的输入输出参数信息生成初始的测试数据,同时充分利用文档中的服务过程信息,提取出服务的控制流程图,据此约简测试数据,生成最终的测试用例,从而提高测试用例的生成效率,降低测试成本.     

一种改进的参考文献搜索模型及相关性技术研究

基于Web的参考文献检索越来越受到欢迎，但是现有的参考文献相关性计算方法不能准确地给出参考文献的相关性，从而影响了用户文献检索的质量。首先给出了一个参考文献结构模型，在该模型中提出了虚节点的概念，从而大大拓展了文献检索的范围；其次在参考文献结构模型的基础上，通过充分挖掘参考文献之间的引用关系来计算参考文献在参考文献信息库中的重要性。通用组合位置／频率法与参考文献引用相关性技术的结合应用大大提高了文献检索的精度和质量。     

持久性程序设计语言及其现状

1.引言许多计算机系统如MIS系统、CAD/CAM系统、CASE系统、OA系统、地理信息系统、医疗保健系统都遵循一个共同的模式,就是围绕持久性的数据进行计算(处理),这类应用称为持久应用(persistent application)。在这类系统中,被处理数据分为瞬态数据和持久性数据。传统程序设计语言一般只提供了定义和操纵瞬态数据的设施,却不支持对持久性的抽象。传统的数据库系统可以定义和操纵持久数据,但却存在着计算不完备、数据建模能力差等问题。因此,在开发持久应用时,人们往往不得不同时使用数据库系统和传统程序设计语言:用数据库系统对持久性数据进行定义和存储,用传统语言进行其它辅助处理。但混合使用传统语言和数据库系统并不     

三边支承一边自由矩形板自由振动分析

板自由振动振形必须具有正交性，采用主振方向排序法建立三边支承一边自由矩形板振形函数表达式可以满足振动微分方程和全部边界条件，又具有振形的正交性。该振形曲线中的振动波形数在主振方向上是唯一的，在另一方向上是不唯一的，振形曲线形状符合板边界是条件所能限定的变形形态，通过证明振形正交性的存在，分析振形函数表达式的结构形式，推导不同边界条件矩形板的频率方程，计算板的自振频率及相应振形，并与前人的结果进行了比较，从理论上说明了该方法的正确性。     

基于模式迁移策略的并行遗传算法

通过分析影响并行遗传算法性能的诸多因素，以降低通信代价为问题的突破口，提出一种基于模式定量的迁移策略SMS．SMS迁移策略借鉴网络信息传输机制，通过模式识别压缩提取出子种群中的优质遗传信息，再将一遗传信息在另一子种群中按比例传播，文中首先依据模式定理对模式迁移策略的算法有效性进行了探讨，然后从理论角度给出了采用模式迁移策略后通信量降低的形式化度量，最后分析了由此带来的算法可扩展性的提高。     

Web测试综述

1 引言 Web以其广泛性、交互性和易用性等特点迅速风靡世界,网页数量正以指数级飞速增长。能够吸引尽可能多的用户并对其长时间关注是网站追求的主要目标,也是衡量一个网站是否成功的主要指标,这就对网页功能的正确性、有效性和完善性提出了较高的要求,从而Web测试就成为Web应用开发过程中的一个重要环节。通过Web测试尽可能多地发现浏览器端和服务器端程序中的错误并及时加以修正,以保证Web应用的质量。由于Web具有分布、异构、并发和平台     

TPython：一种扩充的Python语言

Python是一种流行的动态语言,但是由于完全的动态性影响了其执行效率和使用。因此,在Python基础上进行了静态化扩充,研制了TPython语言。该语言在注释中引入了可选的类型声明,并提供了包括类型检查在内的静态检查。相对于动态语言而言,TPython能够提高程序的可读性和可靠性,降低调试成本,相对于静态语言而言,TPython又具有语法简单,易于开发的优势。     

一种基于消解的变量极小不可满足子公式的提取方法

变量极小不可满足(VMU)问题是极小不可满足(MU)问题的一个扩充和延伸.着重研究VMU子公式的提取算法.首先从理论上比较MU和VMU的基本性质,并分析了目前流行的MU子公式提取算法.研究Davis-Putman-消解的基本性质,给出一个判定变量极小不可满足公式的充分必要条件,进而提出一个基于消解的VMU子公式提取算法.此算法可以使用ZBDDs压缩存储消解式,并实现单步多重消解.     

一般术语公理下的模糊描述逻辑FALCN推理

分析了一般术语公理下推理的主要难点:在模糊解释中的隶属度不是离散值,而是区间[0,1]上的连续值.为解决该难点,提出了模糊描述逻辑FALCN下的模糊解释离散化方法,从而使解释中的隶属度都属于一个特殊的有限离散集合.基于该离散化方法,给出一般术语公理下FALCN推理问题的离散Tableau推理技术,包括离散Tableau的定义以及离散Tableau的构造算法,并证明了算法的正确性、完备性和复杂度.     

一个异常传播分析工具的设计与实现

异常处理是一种用来检测异常并对其进行处理的技术,异常传播改变程序原来的执行路线,从而可能改变程序中的数据流、控制流和各种成分的依赖关系.在进行程序分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.本文设计并实现了一个分析C 程序中异常传播分析工具CETool.该工具可以有效地分析C 程序的异常传播,它既可以获得异常处理结构的局部信息,也可以获得异常处理结构的全局信息,这对于有效地分析异常的传播,分析异常传播路径,以及改进异常处理结构都有很大的帮助.