基于Pi演算的Web服务建模与WSDL转换

为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证,运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型,通过形式化的方法验证,基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的.wsdl文件。     

基于并行化粒子群算法的组合测试用例生成

针对粒子群算法生成组合测试用例消耗时间过长的问题,提出一种并行化粒子群算法生成两两组合测试用例的方法。基于大数据平台Spark,将全部需要被覆盖的两两组合进行分组,并下发到集群中各个节点上进行寻优操作;采用one-test-at-a-time策略与自适应粒子群算法相结合的方式进行寻优;待各个节点寻优结束后,利用Spark进行结果收集,并对收集后的用例集进行约简操作。实验结果表明,该方法有效地减少了生成两两组合测试用例集的消耗时间。     

基于模型的车载设备测试用例自动生成研究

针对人工生成测试序列的不足,提出基于模型的车载设备测试用例自动生成方法。首先按照系统需求规范,在UPPAAL环境下运用时间自动机对车载设备进行建模及验证,然后将建立的模型导入到基于覆盖度算法的模型辅助工具Cover中自动生成测试用例,最后分析了自动生成的测试用例的正确性。       

Web服务的体系结构和应用

论述了正在迅速发展的Web服务的基本体系结构，深入探讨了使用XML封装Web服务的数据，服务请求和应答的形式，UDDI的作用和组成，SOAP的工作机制，如何使用WSDL描述Web服务以及Web服务的发布过程及服务请求，应答过程，最后分析了Web服务的发展现状和应用领域。     

一种基于模型检测Web 应用生成测试用例的方法

提出了一种从用户角度以重构Kripke结构建模并测试Web应用的方法。Web应用中的网页、构件及其关系被看成是原子命题,测试覆盖准则被转换为用计算树逻辑(Computing Tree Logic,CTL)表示的陷阱性质(Trap Property),生成的反例可以实例化来构造测试用例。但是一个陷阱性质生成一个反例将导致生成太多的冗余的测试用例,因此给出了一个测试约简规则来减少冗余的测试用例。最终生成的测试序列将满足给定的覆盖准则并没有冗余。     

类型化Pi演算在Web服务组合中的应用

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.     

Web服务技术的研究与应用

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

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

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

基于SOAP和Axis2的网络教育资源共享平台设计与实现

为解决网络教育资源共享问题。采用Web服务的WSDL、SOAP、Axis2和JUDDI等相关理论知识,实现了Web服务创建、发布、查找和调用整个过程,设计和实现了网络教育资源共享平台。     

基于组合覆盖的文档转换器集成测试用例生成

通过对中文文档格式标准"标文通"(UOF)和XML实例文档进行形式化定义,统一了文档转换器测试功能点粒度划分标准,实现了测试用例覆盖率的度量;设计基于两两组合覆盖算法的文档转换器集成测试数据集构造方法,得到最小化的测试用例集,解决了文档转换器的人工集成测试用例设计简单、增量策略不合理、用例数量随着输入参数的增加呈指数增长等问题。在此基础上开发了文档转换器测试用例生成原型系统。实验表明:该系统可以生成文档转换器集成测试用例,在保证测试用例覆盖率的基础上,有效降低集成测试用例数量,减少测试用例设计时间,提高测试效率。     

基于JDart的测试用例自动生成与优化

基于符号执行的测试用例生成方法,以其高可靠性得到了学术界和工业界广泛关注。然而,已有工具大都面向C或者C++程序,面向Java的符号执行工具发展相对较慢。JDart是表现较好的一款开源的面向Java的符号执行工具,但是对复杂数据类型比较数组却支持很弱,因此,在对JDart工具以及动态符号技术进行分析的基础上,通过对JDart测试用例生成能力和存在问题的深入剖析,针对数组处理进行改进,以提高生成测试用例的代码覆盖率,保证测试质量。最后,通过用三角形程序实例进行验证,结果表明,改进后的JDart工具能够完全探索函数中关于数组处理的所有路径。     

基于Web Services和OWL-S的GIS互操作

互操作是地理信息系统领域研究的一个热点。文章通过利用Web Services技术将地理功能单元封装成语义地理Web服务，使用WSDL来描述如何与之交互的语法信息，使用OWL-S来描述该服务具有怎样的地理功能的语义信息，从而在语法和语义两个层次上实现GIS互操作，并给出了利用语义地理Web服务进行互操作的模式。     

基于搜索引擎Web API的应用与研究

搜索引擎的Web API服务为用户提供了一条网上搜索的便捷途径．通过自己编写的程序即可完成搜索任务。国内搜索引擎Web API的研究尚处于起步阶段。提出了一种基于SOAP和WSDL标准的搜索引擎的Web API框架设计方案。文章系统地介绍了框架的构造、功能，并对接口方法以及参数定义进行了详细的描述，并给出了搜索引擎应用程序接口的实例。     

软件确保智能测试用例生成PSO算法进展研究

测试用例生成是软件测试的重要环节,是软件确保的重要组成部分,其中启发性算法是近年来测试用例自动生成研究领域的热点。对启发性测试用例生成的新方法PSO进行了介绍和分析,详细讨论了PSO算法适应度函数、PSO算法早熟与局部最优、种群规模对PSO算法的影响以及PSO参数优化问题,并将PSO与GA算法进行了对比分析。展望了PSO测试用例生成算法的未来研究方向,指出PSO测试用例生成算法目前应重点解决测试用例规模优化、早熟抑制和参数优选等问题。     

WSDL-IO可扩展的无线传感网服务匹配机制

传统的Web服务描述语言(WSDL)无法合理刻画数量不断增加且动态改变的传感网服务,导致具备相似输入输出接口的传感网服务不能被区分且服务存储与搜索负担日益加重,对此,提出在WSDL语法框架上扩展基于逻辑表达式的服务输入输出关系,融合Google语义距离和Levenshtein编辑距离计算服务相似度,并在此基础上定义服务输入输出匹配等级.实验结果表明,通过对服务输入输出关系的语义扩展,能有效地提高传感网服务的检索和选取效率.     

可持续性运行软件组合测试用例的自动生成

为了提高软件组合测试和兼容控制能力,提出可持续性运行软件组合测试用例自动生成方法。根据可持续性运行软件的正确性、兼容性、运行效率进行软件输出稳定性分析,结合产品的通用性特征进行软件组合测试用例自动生成过程中的模块分割,构建约束参量指标分布模型与嵌入式多任务调度模型,实现软件可靠性特征提取。采用智能分析与多层次的模糊控制方法进行可持续性运行软件组合测试用例自动生成。仿真结果表明,采用该方法进行软件组合测试用例自动生成的稳定性较好,可靠性较高,降低了时间和内存消耗。     

组合测试用例集的动态生成算法

在逐因素扩展算法的基础上,提出了一种有效的组合测试用例生成算法IPOT.该算法根据已被扩展的测试用例覆盖t(t≥2)参数值组合的情况确定水平扩展方法,并依据新的被覆盖的t参数值组合修改已被扩展的部分测试用例,从而达到对测试用例集的优化.设计实现了基于该方法的测试用例生成工具.通过和部分现有的支持t维组合测试工具比较,I...     

程序不变量驱动的组合测试用例约简方法

针对组合测试用例约简问题,提出一种基于程序不变量的两两覆盖组合测试用例约简方法。首先用组合测试用例生成算法对被测程序一次生成一个组合测试用例,然后根据该组合测试用例提取被测程序的程序不变量来决定该测试用例的取舍。典型案例实验表明该方法能有效地对组合测试用例集进行约简,可降低测试用例的数量,提高测试用例的质量。