论文部分内容阅读
针对自动测试Web服务，提出基于代数规约测试Web服务的方法，包括描述Web服务的代数规约语言ASOWS。基于Web服务的代数规约，采用方法覆盖准则以及等式覆盖准则自动生成测试用例，在此基础上，设计并实现一个原型工具。结果表明该方法能够自动测试部署在Web应用服务器上的Web服务。
基于代数规约的Web服务测试
【摘 要】
：
针对自动测试Web服务，提出基于代数规约测试Web服务的方法，包括描述Web服务的代数规约语言ASOWS。基于Web服务的代数规约，采用方法覆盖准则以及等式覆盖准则自动生成测试用例，在
【机 构】
：
中南林业科技大学涉外学院,国防科学技术大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2009年21期
【基金项目】
：
湖南省自然科学基金资助项目（06JJ5116）,湖南省普通高等学校教学改革研究项目（2008-248）
其他文献
针对多元时间序列的相似性查询问题,给出参数重要度的定义,提出一种基于参数重要度的候选集查询方法。通过对多元时间序列的SVD分解,将奇异值向量和特征矩阵作为多元序列的特征,基于线性空间中的坐标变换原理构造2个多元时间序列的相似性度量模型,实现在候选集上的精确匹配并获得最终的结果集。对飞行数据的相似性查询实验验证了该方法的有效性。
<正>根据WHO的标准,凡婚后未避孕,有正常性生活、夫妇同居1年而未受孕者,称为不孕症（infertility）[1]。其中,从未妊娠者称为原发不孕（primary infertility）,对女性而言指从未妊娠
对上市公司的财务行为的研究不能离开具体的证券市场，股权分置及其改革是目前我国证券市场最显著的特征之一，本文重点研究股权分置对我国上市公司股权融资行为的扭曲以及改革之
在现实股票市场中,投资者往往难以如经典金融理论所假设的那样做出理性的投资决策。本文从行为金融学的角度研究我国投资者情绪对股票收益的影响。传统的噪声交易模型DSSW模
文章分析疫情中南通保障房小区、商品房小区与老旧小区的实例,探讨智慧管控在小区防控应急管理中的应用,接着分析了生鲜电商、生活易耗用品等物资的智能化供给、配送的建议,
针对Linux驱动设计,提出Linux下RapidIO总线驱动的分层结构,其中包括全局层、总线层和设备层,并对每层进行阐述。实现Linux下RapidIO端设备驱动和基于RapidIO总线的全局共享
借助关系型数据库（RDBMS）在数据存储、管理和访问控制方面的优势，采用RDBMS作为大规模人造目标解译本体底层的存储模式。利用RDBMS存储机制需解决本体同RDBMS映射的模式问题。通
提出一种基于决策树SLIQ算法的软件分类方法，在利用现有测试工具的条件下，编写应用接口，获取软件的外部属性和内部属性数据。对异构数据源进行清理转换，从中提取软件分类的规则，对
2011年11月18日，阿克苏诺贝尔宣布计划向中国宁波多元化基地投资4500万欧元设立一家过氧化二异丙苯（DCP）新厂，以满足本地乃至全球日益增长的市场需要。DCP作为交联剂广泛用于多种
提出一种基于卫星数据的暴雨云团追踪预警方法,采用聚类法在卫星红外云图上识别出有效的暴雨云团,利用组合最优化方法实现暴雨云团的追踪,通过线性拟合法给出30min、60min、9