【摘 要】
：
测试是Web服务质量保证的主要手段之一,测试自动化是降低测试代价的有效途径,测试数据生成是测试自动化研究的一个重要内容.提出采用本体及规则的知识描述语言,建立服务接口
【机 构】
：
清华大学计算机科学与技术系,清华信息科学与技术国家实验室筹,南京陆军指挥学院作战实验中心,中国酒泉卫星发射中心
论文部分内容阅读
测试是Web服务质量保证的主要手段之一,测试自动化是降低测试代价的有效途径,测试数据生成是测试自动化研究的一个重要内容.提出采用本体及规则的知识描述语言,建立服务接口的语义契约模型(interface semantic contract,简称ISC),并探讨了基于ISC的测试数据生成技术,给出了分区生成算法以及测试数据生成的模拟退火算法.实验结果表明,与随机测试相比,该方法能够采用10%的测试用例数量达到同样的测试覆盖率;在同样的测试用例数量上,最高可提高50%的测试覆盖率.
其他文献
目的 观察兰茵凤扬化浊解毒方对溃疡性结肠炎（UC）大鼠结肠组织中δ阿片受体（DOR）、β-arrestin1、Bcl-2 mRNA表达的影响。方法 60只Wistar大鼠随机分为正常组10只与造模组50只。
核电厂安全壳结构在大型商用飞机撞击下的动力响应是目前核安全领域关注的热点。基于LS-DYNA程序对大型商用飞机撞击安全壳全过程进行了数值模拟。以大型商用飞机A380为基础
阐述了国内外橡胶熔体齿轮泵挤出机的研究现状和发展趋势,剖析了橡胶熔体齿轮泵的特点和用途,结合研究的实践,介绍了XCP150/100型橡胶熔体齿轮泵的技术特性和结构特点,并对其
我国是世界领先的农业大国,农业的兴旺对我国经济的整体发展至关重要。发展农业经济不仅能够推动我国社会整体经济体系的完善和革新,也是我国社会走可持续发展道路的重要前提
采用无土栽培技术进行碰碰香温室栽培,可解决黑龙江地区冬季不能室外种植的问题。文中综述了碰碰香的无土栽培过程和技术,并介绍了碰碰香相关产品的开发用途,为碰碰香的栽培
农民在失去土地的过程中其经济发展权益得不到有效保护,在城乡融合进程中也会面临很多后续的问题,包括生活压力、教育压力、就业困难和养老问题等,而造成农民经济发展权损害
从群体理论视角分析,旁观者易使欺凌事件恶化发展,而校园欺凌事件存在旁观群体行为易受环境传染、对欺凌观念不明确、受暗示引导等特点,旁观者可能扮演欺凌行为的强化者、协
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
轴系是船舶推进系统的重要组成部分,轴承是轴系的核心部件。尾轴承故障,将影响整个船舶的运行,同时也增加了船舶的安全隐患。因此,在船舶设计、建造和营运的各个阶段应给予轴
目的：探讨健康教育对慢性肝病患者心理健康状况的影响,为临床治疗、健康教育提供相应的借鉴。方法：选择住院的慢性肝病患者108例为研究对象,对住院患者发放症状自评量表（SCL-90）