【摘 要】
：
在面向服务的架构中,软件功能通常被封装为服务,并以开放可编程接口的方式提供应用.因此,服务接口的正确性和可靠性对于服务理解、重用和集成至关重要.随着软件即服务的思想
【机 构】
：
清华大学计算机科学与技术系,南开大学计算机与控制工程学院
【基金项目】
：
国家重点研发计划项目(2016YFB1000504);国家自然科学基金项目(61472197)~~
论文部分内容阅读
在面向服务的架构中,软件功能通常被封装为服务,并以开放可编程接口的方式提供应用.因此,服务接口的正确性和可靠性对于服务理解、重用和集成至关重要.随着软件即服务的思想被广为认可,互联网上越来越多的软件应用以服务接口方式提供开放式访问.面对众多的服务接口,如何进行高效且有效的测试是一个亟待解决的问题.为此,提出了一种基于模型驱动的自动化测试方法,首先采用接口语义契约模型对被测服务接口建模,然后基于接口模型和测试覆盖率需求为单个服务和组合服务生成测试数据和测试用例.在此基础上,设计并实现了AutoTest自动化
其他文献
目的:比较耳压法配合毫针静留针法与毫针静留针法治疗面肌痉挛的疗效差异。方法:将126例面肌痉挛患者分为两组,治疗组76例采用耳压法配合毫针静留针法治疗,取穴:耳穴取面颊、
介绍了顶管施工技术的历史与现状、基本原理、分类及推进方法,给出了摩擦阻力、总顶力的计算公式。
目的:建立一种经济有效、快速简便、稳定的提取酵母质粒的方法。方法:用葡糖苷酸酶消化酵母细胞壁以获取原生质体,然后采用碱裂解法裂解原生质体以获得质粒。结果:与采用商品
针对目前服装专业教育中民族服饰文化的学习较为薄弱这一现状,提出以培养创新设计能力和自主学习能力为核心的研究型教学模式。从原有课程体系出发,以教师的科研活动为先导,
中医药是具有中国原创优势的医学科学体系,也是中华民族优秀文化的重要组成部分。中医药知识是世代传承的医药知识，中医的继承、发展和创新工作是一项关系到中医药命运的长期
当前我国的新闻内容大多是时政性的,内容呈现出条例化趋势,并且随着视觉传达技术的发展需要优化新闻网站页面设计,使新闻内容更加丰富,也使新闻信息的传达效果得到提升。本文
本文剖析了支路网规划设计在城市空间形态塑造中的重要作用,认为要想塑造宜人的住区环境,必须重视支路形态对街区、开发单元乃至居住建筑形态的影响。在归纳了支路网设计的四
<正>抚松县紧密结合发展目标和工作实际,在全县114个单位和部门的领导班子中全面推行科学合理、公正透明的目标管理绩效考核,取得了较好成果。明确发展目标,制定全面的考核内
处于青春期的中职女生的生理、心理的变化和中职学校教育的特殊性,在生活、学习的各方面所产生了困扰,班主任要重视工作艺术,增加对中职女生的指导,才能使女生摆脱心理障碍,