南京理工大学硕士研究生学位论文开题报告：基于代数规约的Web服务自动化描述技术研究

发布时间：2017-07-17 16:40

Web服务已经成为面向服务体系结构的主流实现技术，随着其应用越来越广泛，保证Web服务质量的测试也受到越来越多的关注。由于Web服务具有只对外公开其调用接口、隐藏其内部实现、在调用时动态绑定等特点，因此其测试不同于以往的集成测试。
基于形式规约的测试方法通常采用随机策略生成测试数据，具有测试自动化的特点。基于代数规约的测试技术已经成功应用于过程语言表示的抽象数据类型、面向对象程序的类以及EJB组件等程序的测试。在Web服务蓬勃发展的今天，对Web服务的描述方法也多种多样，但绝大多数方法都是为更准确地发现、组合Web服务而服务的，并不适合进行测试。实践表明，应用代数规约语言描述软件系统时，其规约具有规约简短、精确且独立于实现语言的特点，能够在不暴露对象实现细节的前提下描述软件实体的可观察行为，，更重要的是，它能够应用代数规约中的公理等式充当判定测试是否通过的测试神谕(Test Oracle)，测试自动化程度较高。
因此，若能准确高效地用代数规约描述Web服务，将大大降低Web服务测试的难度，加快测试用例的生成速度，提高测试的准确程度。用户能参照测试结果，更方便快捷地选择所需的Web服务。因此，本课题将对Web服务的测试，乃至Web服务的发展产生重要的影响。

三、 背景科研项目情况简介
四、学位论文主要研究内容
五、 预期解决的主要问题
六、开题条件（包括学术条件、设备条件、经费概算及其落实情况）
七、文献综述
1 Web服务简介
2 Web服务描述语言WSDL
3 语义Web服务描述
3.1 OWL-S
3.2 WSMO
3.3 SWSO
3.4 WSDL-S



本文编号：554481